Knowledge-based programs with defaults in a modal situation calculus

DOI10.3233/978-1-61499-672-9-1309MaRDI QIDQ4576249zbMATH OpenOpenAlexFDO

Authors Jens Claßen, Malte Neuss

Publication date 12 July 2018

Full work available at URL http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#ClassenN16

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• On knowledge-based programming with sensing in the situation calculus
• A Semantical Account of Progression in the Presence of Defaults
• Programming rational agents in a modal action logic
• scientific article; zbMATH DE number 1754687
• Planning under uncertainty as G<scp>OLOG</scp>programs

Cited in

(7)

• Knowledge-based programs as succinct policies for partially observable domains
• Asynchronous knowledge with hidden actions in the situation calculus
• A Semantical Account of Progression in the Presence of Defaults
• scientific article; zbMATH DE number 1754687 (Why is no real title available?)
• A note on knowledge-based programs and specifications
• On knowledge-based programming with sensing in the situation calculus
• A tableau system for first-order logic with standard names

This page was built for publication: Knowledge-based programs with defaults in a modal situation calculus

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