A Semantical Account of Progression in the Presence of Defaults
From MaRDI portal
Publication:3637332
DOI10.1007/978-3-642-02463-4_6zbMath1248.68477OpenAlexW2104384626MaRDI QIDQ3637332
Hector J. Levesque, Gerhard Lakemeyer
Publication date: 9 July 2009
Published in: Conceptual Modeling: Foundations and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02463-4_6
Related Items (7)
A Language for Default Reasoning about Actions ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Semantical considerations on multiagent only knowing ⋮ On the progression of belief ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ Regression and progression in stochastic domains ⋮ A Semantical Account of Progression in the Presence of Defaults
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- Knowledge, action, and the frame problem
- Semantical considerations on nonmonotonic logic
- How to progress a database
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- All I know: A study in autoepistemic logic
- STRIPS: A new approach to the application of theorem proving to problem solving
- A Semantical Account of Progression in the Presence of Defaults
- Regression in Modal Logic
- Belief Change: from Situation Calculus to Modal Logic
- Representing action and change by logic programs
- GOLOG: A logic programming language for dynamic domains
This page was built for publication: A Semantical Account of Progression in the Presence of Defaults