A Logic for Reasoning about Actions and Explicit Observations
| Author: | Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander FerreinORCiD |
|---|---|
| ISBN: | 978-3-642-17431-5 |
| Parent Title (English): | AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings |
| Publisher: | Springer |
| Place of publication: | Berlin |
| Document Type: | Article |
| Language: | English |
| Year of Completion: | 2010 |
| Date of the Publication (Server): | 2012/12/18 |
| Length: | Online-Ressource (XVII, 528 S.) |
| First Page: | 395 |
| Last Page: | 404 |
| Note: | Lecture Notes in Computer Science ; 6464 |
| Link: | http://dx.doi.org/10.1007/978-3-642-17432-2_40 |
| Zugriffsart: | campus |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
