Seeing is believing: And so are hearing and jumping

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 992, Issue , 1995, Pages 402-413

  Van Linder, B ^a   Van Der Hock, W ^a   Meyer, J J Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUDITION; SEMANTICS;

BELIEF REVISION; COMMUNICATION ACTIONS; DEFAULT REASONING; FORMAL FRAMEWORK;

CLASSIFICATION (OF INFORMATION);

EID: 84957642732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60437-5_40     Document Type: Conference Paper

References (16)

1. C. Castelfranchi. Private communication. 1994
2. C. Castelfranchi. Guarantees for autonomy in cognitive agent architecture. In Wooldridge and Jennings, eds., Intelligent Agents, LNCS 890:56-70
3. P. Cohen and H. Levesque. Intention is… AI, 42:213-261, 1990
4. P. Gärdenfors. Knowledge in Flux. MIT Press, 1988
5. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. AI, 54:319-379, 1992
6. W. van der Hoek, B. van Linder, and J.-J. Meyer. A logic of capabilities. In Nerode and Matiyasevich, eds., Procs. of LFCS'94, LNCS 813:366-378
7. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. Unravelling nondeterminism. In Jorrand and Sgurev, eds., Procs. of AIMSA '95:163-172. World Scientific
8. Z. Huang. Logics for belief dependence. In E. BSrger et al., eds., Procs. of CSL '90, LNCS 533:274-288
9. B. van Linder, W. van der Hoek, and J.-J. Meyer. Actions that make you change your mind. To appear in The proceedings of KI-95
10. B. van Linder, W. van der Hoek, and J.-J. Meyer. Communicating rational agents. In Nebel and Dreschler-Fischer, eds., Procs. of KI-94, LNCS 861:202-213
11. B. van Linder, W. van der Hoek, and J.-J. Meyer. The dynamics of default reasoning. To appear in The proceedings of ECSQARU'95
12. B. van Linder, W. van der Hoek, and J.-J. Meyer. Tests as epistemic updates. In Cohn, ed., Procs. of ECAI'94:331-335. John Wiley Lz Sons, 1994
13. B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Seeing is believing. Available at http:/lwww.cs.ruu.nll-~bernd/Publications.html
14. J.-J. Meyer and W. van der Hoek. A modal logic for nonmonotonic reasoning. In van der Hoek et al., eds., Non-Monotonic Reasoning and Partial Semantics:37-77. Ellis Horwood, 1992
15. R. Moore. Reasoning about knowledge and action. TR 191, SRI, 1980
16. G.H. von Wright. Norm and Action. Routledge &Kegan Paul, 1963