Deriving properties of belief update from theories of action

DOI10.1007/BF01110611zbMath0801.03025MaRDI QIDQ1334984

Yoav Shoham, Alvaro del Val

Publication date: 26 September 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicupdate semanticsbelief updatedatabase updatenonmonotonic temporal reasoningtheories of action

Mathematics Subject Classification ID

Database theory (68P15) Other nonclassical logic (03B60) Other applications of logic (03B80)

Related Items (4)

Modal logic for modelling actions and agents ⋮ Propositional belief base update and minimal change ⋮ Actions, Belief Update, and DDL ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the satisfiability of circumscription
• Frames in the space of situations
• On specifying database updates
• On the logic of theory change: Partial meet contraction and revision functions
• A Unified View of Belief Revision and Update

This page was built for publication: Deriving properties of belief update from theories of action