Knowledge-based programs with defaults in a modal situation calculus

DOI10.3233/978-1-61499-672-9-1309zbMATH Open1403.68258OpenAlexW2578170406MaRDI QIDQ4576249FDOQ4576249

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• On knowledge-based programming with sensing in the situation calculus
• Knowledge-based programs as succinct policies for partially observable domains
• Title not available (Why is that?)
• A Semantical Account of Progression in the Presence of Defaults
• A note on knowledge-based programs and specifications
• Asynchronous knowledge with hidden actions in the situation calculus

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)