Efficient Open World Reasoning for Planning

DOI10.2168/LMCS-2(3:5)2006MaRDI QIDQ5310664zbMATH OpenFDO

Authors Tamara Babaian, James G. Schmolze

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-2(3:5)2006

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Practical reasoning about knowledge states for open world planning with sensing
• scientific article; zbMATH DE number 1696837
• Sound and efficient closed-world reasoning for planning
• scientific article; zbMATH DE number 52880
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming

Cited in

(3)

• Sound and efficient closed-world reasoning for planning
• Two approaches to efficient open-world reasoning
• Practical reasoning about knowledge states for open world planning with sensing

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Efficient Open World Reasoning for Planning

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