Knowledge, action, and Cartesian situations in the situation calculus

MaRDI QIDQ5740452zbMATH OpenFDO

Authors Ronald P. A. Petrick

Publication date 26 July 2016

zbMATH Keywords

Cartesian situationsituation calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A semantic characterization of a useful fragment of the situation calculus with knowledge
• On the role of possibility in action execution and knowledge in the situation calculus
• The situation calculus: a case for modal logic
• A unifying action calculus
• From Situation Calculus to Dynamic Epistemic Logic

Cited in

(2)

• Bounded situation calculus action theories
• On the role of possibility in action execution and knowledge in the situation calculus

This page was built for publication: Knowledge, action, and Cartesian situations in the situation calculus

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