Actions that make you change your mind

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

Volumn 981, Issue , 1995, Pages 185-196

  van Linder, B ^a   van der Hoek, W ^a   Meyer, J J Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EXPANSION; SEMANTICS;

AGENT-ORIENTED; BELIEF CHANGE; BELIEF REVISION; FORMAL FRAMEWORK; LEVI IDENTITY; RATIONAL AGENTS; SELECTION FUNCTION; SEQUENTIAL COMPOSITIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84949988745     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60343-3_36     Document Type: Conference Paper

References (14)

1. C.E. Alchourrón, P. Gărdenfors, and D. Makinson. On the logic of theory change. Journal of Symbolic Logic, 50:510-530, 1985
2. P. Cohen and H. Levesque. Intention is choice .... AI, 42:213-261, 1990
3. P. Gärdenfors. Knowledge in Flux. The MIT Press, 1988
4. J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. A/, 54:319-379, 1992
5. 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, pp. 366-378
6. W van der Hoek, B. van Linder, and J.-J. Meyer. Unravelling nondeterminism. In Procs. of AIMSA '94, pp. 163-172. World Scientific, 1994
7. S. Kraus and D. Lehmann. Knowledge, belief and time. TCS, 58:155-174, 1988
8. B. van Linder, W. van der Hoek, and J.-J. Meyer. Actions that make you change your mind. Technical Report UU-CS-1994-53. Available at http://www.cs.ruu.nl/~bernd/Publications.html
9. B. van Linder, W. van der Hoek, and J.-J. Meyer. Communicating rational agents. In Nebel and Dreschler-Fischer, eds., Procs. of KI-94, LNAI 861, pp. 202-213
10. B. van Linder, W. van der Hoek, and J.-J. Meyer. The dynamics of default reasoning. Extended abstract to appear in the Proceedings of ECSQARU'95
11. B. van Linder, W. van der Hoek, and J.-J. Meyer. Tests as epistemic updates. In A. Cohn, editor, Procs. of ECAI'94, pages 331-335. John Wiley & Sons, 1994
12. B. van Linder, W. van der Hoek, and J.-J. Meyer. Seeing is believing. Extended abstract to appear in the Proceedings of AI*IA 95
13. R.C. Moore. Reasoning about knowledge and action. TR 191, SRI, 1980
14. G.H. von Wright. Norm and Action. Routledge & Kegan Paul, London, 1963.