Epistemic planning for single- and multi-agent systems

DOI10.3166/JANCL.21.9-34zbMATH Open1242.68285OpenAlexW1998176101WikidataQ57813454 ScholiaQ57813454MaRDI QIDQ2901205FDOQ2901205

Authors: Thomas Bolander, Mikkel Birkegaard Andersen 

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.9-34

Recommendations

• A simple account of multi-agent epistemic planning
• Conditional epistemic planning
• A lightweight epistemic logic and its application to planning
• A dynamic epistemic framework for conformant planning
• An epistemic logic for planning with trials

Mathematics Subject Classification ID

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

Cites Work

• The undecidability of iterated modal relativization
• Title not available (Why is that?)
• An internal version of epistemic logic
• Modal logic as dialogical logic
• Communication strategies in games

Cited In (66)

• DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
• Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning
• To be announced
• Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
• Learning to act and observe in partially observable domains
• Efficient reasoning about knowledge and common knowledge
• Knowing how to plan
• No finite model property for logics of quantified announcements
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• \textsc{delphic}: practical DEL planning via possibilities
• Base-based model checking for multi-agent only believing
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention
• A dynamic epistemic framework for reasoning about conformant probabilistic plans
• An approach to improve argumentation-based epistemic planning with contextual preferences
• Dynamic coalition logic: granting and revoking dictatorial powers
• Recursively modeling other agents for decision making: a research perspective
• Model transformers for dynamical systems of dynamic epistemic logic
• An epistemic logic for planning with trials
• Implicit, explicit and speculative knowledge
• Title not available (Why is that?)
• A computationally grounded logic of graded belief
• The logic of gossiping
• Dynamic epistemic logics
• The undecidability of quantified announcements
• Coalition and group announcement logic
• Title not available (Why is that?)
• Computation as social agency: what, how and who
• DEL planning and some tractable cases
• DEL-sequents for regression and epistemic planning
• Epistemic planning with attention as a bounded resource
• Multi-agent conformant planning with distributed knowledge
• DEL-based epistemic planning: decidability and complexity
• Intensional protocols for dynamic epistemic logic
• An action language for multi-agent domains
• Knowledge-based strategies for multi-agent teams playing against nature
• Title not available (Why is that?)
• Knowledge-based programs as succinct policies for partially observable domains
• Game description language and dynamic epistemic logic compared
• Learning Actions Models: Qualitative Approach
• Knowledge-based programs as building blocks for planning
• Finitary \(\mathbf {S5}\)-theories
• Resolving distributed knowledge
• A simple account of multi-agent epistemic planning
• Modelling multi-agent epistemic planning in ASP
• Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
• A general multi-agent epistemic planner based on higher-order belief change
• Efficient multi-agent epistemic planning: teaching planners about nested belief
• Planning-based knowing how: a unified approach
• A lightweight epistemic logic and its application to planning
• Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
• Verification of multi-agent systems with public actions against strategy logic
• Epistemic planning: perspectives on the special issue
• Dynamic term-modal logics for first-order epistemic planning
• Arbitrary public announcement logic with memory
• True lies
• Autonomous agents modelling other agents: a comprehensive survey and open problems
• Rethinking epistemic logic with belief bases
• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• Conditional epistemic planning
• Don't plan for the unexpected planning based on plausibility models
• Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
• A dynamic epistemic framework for conformant planning

This page was built for publication: Epistemic planning for single- and multi-agent systems

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