A logic of knowing how with skippable plans

DOI10.1007/978-3-662-60292-8_30OpenAlexW2979353524MaRDI QIDQ2291255FDOQ2291255

Authors: Xun Wang 

Publication date: 30 January 2020

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

Recommendations

• A Logic of Knowing How
• A logic of goal-directed knowing how
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
• Uncertainty-based semantics for multi-agent knowing how logics

zbMATH Keywords

epistemic logicknowing howskippable plans

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (5)

• Neighborhood semantics for logic of knowing how
• Planning-based knowing how: a unified approach
• First steps in updating knowing how
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Uncertainty-based semantics for multi-agent knowing how logics

This page was built for publication: A logic of knowing how with skippable plans

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