Conditional epistemic planning

DOI10.1007/978-3-642-33353-8_8MaRDI QIDQ2915062zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Mikkel Birkegaard Andersen, Thomas Bolander, Martin Holm Jensen

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_8

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• DEL planning and some tractable cases
• A dynamic epistemic framework for conformant planning
• Planning using dynamic epistemic logic: correspondence and complexity
• Epistemic planning for single- and multi-agent systems
• More for free: a dynamic epistemic framework for conformant planning over transition systems

Cites work

• A qualitative theory of dynamic interactive belief revision
• An internal version of epistemic logic
• Conditional epistemic planning
• DEL planning and some tractable cases
• Dynamic epistemic logic
• Epistemic planning for single- and multi-agent systems
• Games in dynamic-epistemic logic
• Handbook of game theory with economic applications. Vol. 1
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Logics for epistemic programs
• Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
• Semantic results for ontic and epistemic change
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(27)

• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Revocable belief revision
• Knowledge-based programs as succinct policies for partially observable domains
• Multi-agent conformant planning with distributed knowledge
• Dynamic term-modal logics for first-order epistemic planning
• DEL-based epistemic planning: decidability and complexity
• Planning-based knowing how: a unified approach
• The dynamic logic of policies and contingent planning
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• Planning using dynamic epistemic logic: correspondence and complexity
• Epistemic planning for single- and multi-agent systems
• Conditional epistemic planning
• Don't plan for the unexpected planning based on plausibility models
• DEL planning and some tractable cases
• Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
• Learning Actions Models: Qualitative Approach
• An epistemic logic for planning with trials
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• Fully observable non-deterministic planning as assumption-based reactive synthesis
• Automata techniques for epistemic protocol synthesis
• A dynamic epistemic framework for conformant planning
• Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis
• Dynamic epistemic logics
• Dynamic epistemic logics for abstract argumentation
• \textsc{delphic}: practical DEL planning via possibilities
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
• Complexity of multi-agent conformant planning with group knowledge

This page was built for publication: Conditional epistemic planning

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