Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach

DOI10.1007/978-3-662-60292-8_10MaRDI QIDQ2291232zbMATH OpenOpenAlexFDO

Authors Yanjun Li, Yanjing Wang

Publication date 30 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-60292-8_10

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Uncertainty-based semantics for multi-agent knowing how logics
• Planning-based knowing how: a unified approach
• A Logic of Knowing How
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Knowing how to plan

Cited in

(10)

• Uncertainty-based semantics for multi-agent knowing how logics
• Neighborhood semantics for logic of knowing how
• Multi-agent conformant planning with distributed knowledge
• Knowledge-based strategies for multi-agent teams playing against nature
• Knowing how to plan
• Planning-based knowing how: a unified approach
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• Tableau-based decision procedure for logic of knowing-how via simple plans
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• BISIMULATIONS FOR KNOWING HOW LOGICS

This page was built for publication: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach

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