scientific article; zbMATH DE number 6747990

MaRDI QIDQ5283042zbMATH OpenFDO

Authors Christoph Schwering, Gerhard Lakemeyer

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/37040

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Iterated belief change in the situation calculus
• Belief revision and projection in the epistemic situation calculus
• On the logic of iterated belief revision
• Implementing belief change in the situation calculus and an application
• Iterated belief revision and conditional logic
• A study of possible-worlds semantics of relevance-sensitive belief revision
• Iterative belief revision in extended logic programming
• A semantic approach to non-prioritized belief revision
• Belief revision conditionals: basic iterated systems

Cited in

(6)

• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Belief revision and projection in the epistemic situation calculus
• Implementing belief change in the situation calculus and an application
• A Syntax-based Approach to Reasoning about Action and Belief Update
• Iterated belief change in the situation calculus
• Filtered belief revision: syntax and semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283042)