Knowledge Preconditions for Plans

DOI10.1093/LOGCOM/4.5.721MaRDI QIDQ4316301zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 30 June 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/598d065806f73bd8f4fe803310836d9bd083ae29

zbMATH Keywords

feasibilityformal theory of knowledgepreconditionssemantics of plans

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Action Under Uncertainty
• Ability and knowing how in the situation calculus
• An epistemic logic for planning with trials
• On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
• scientific article; zbMATH DE number 2088150

Cited in

(15)

• What robots can do: robot programs and effective achievability
• Ability and knowing how in the situation calculus
• On composition of bounded-recall plans
• A theoretical framework on proactive information exchange in agent teamwork
• Knowledge-based programs as building blocks for planning
• On the nature and role of modal truth criteria in planning
• An epistemic logic for planning with trials
• scientific article; zbMATH DE number 1305377 (Why is no real title available?)
• scientific article; zbMATH DE number 1305379 (Why is no real title available?)
• Action Under Uncertainty
• On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
• Two Logical Theories of Plan Recognition
• scientific article; zbMATH DE number 2088150 (Why is no real title available?)
• Mechanizing Mathematical Reasoning
• Knowing how to plan about planning: higher-order and meta-level epistemic planning

This page was built for publication: Knowledge Preconditions for Plans

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