A Semantical Account of Progression in the Presence of Defaults

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

• GOLOG

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