Deriving properties of belief update from theories of action
- 1 April 1994
- journal article
- research article
- Published by Springer Nature in Journal of Logic, Language and Information
- Vol. 3 (2) , 81-119
- https://doi.org/10.1007/bf01110611
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On formalizing database updates: Preliminary reportPublished by Springer Nature ,2005
- A Unified View of Belief Revision and UpdateJournal of Logic and Computation, 1994
- Frames in the space of situationsArtificial Intelligence, 1990
- Monotonic Solution of The Frame Problem in The Situation CalculusPublished by Springer Nature ,1990
- On the satisfiability of circumscriptionArtificial Intelligence, 1986
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985