The typed situation calculus

MaRDI QIDQ5740445zbMATH OpenFDO

Authors Yilan Gu, Mikhail Soutchanski

Publication date 26 July 2016

zbMATH Keywords

order-sorted predicate logicreasoning about actions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Some contributions to the metatheory of the situation calculus
• A description logic based situation calculus
• Provably correct theories of action
• The situation calculus: a case for modal logic
• Probabilistic situation calculus

Cited in

(3)

• scientific article; zbMATH DE number 4166934 (Why is no real title available?)
• scientific article; zbMATH DE number 1863160 (Why is no real title available?)
• A description logic based situation calculus

This page was built for publication: The typed situation calculus

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