Epistemic planning for single- and multi-agent systems
From MaRDI portal
Publication:2901205
Recommendations
Cites work
Cited in
(66)- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- A dynamic epistemic framework for conformant planning
- 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
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT
- scientific article; zbMATH DE number 7471709 (Why is no real title available?)
- A computationally grounded logic of graded belief
- Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning
- The logic of gossiping
- To be announced
- Planning with Perspectives -- Decomposing Epistemic Planning using Functional STRIPS
- The undecidability of quantified announcements
- Computation as social agency: what, how and who
- Dynamic epistemic logics
- Coalition and group announcement logic
- scientific article; zbMATH DE number 2088150 (Why is no real title available?)
- 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
- Learning to act and observe in partially observable domains
- Intensional protocols for dynamic epistemic logic
- An action language for multi-agent domains
- Knowledge-based strategies for multi-agent teams playing against nature
- Knowledge-based programs as succinct policies for partially observable domains
- Game description language and dynamic epistemic logic compared
- scientific article; zbMATH DE number 7453144 (Why is no real title available?)
- Learning Actions Models: Qualitative Approach
- Efficient reasoning about knowledge and common knowledge
- Knowledge-based programs as building blocks for planning
- Finitary \(\mathbf {S5}\)-theories
- Resolving distributed knowledge
- A simple account of multi-agent epistemic planning
- Seeing is believing: formalising false-belief tasks in dynamic epistemic logic
- Modelling multi-agent epistemic planning in ASP
- Knowing how to plan
- No finite model property for logics of quantified announcements
- 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
- Verification of multi-agent systems with public actions against strategy logic
- Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
- Dynamic term-modal logics for first-order epistemic planning
- Arbitrary public announcement logic with memory
- Epistemic planning: perspectives on the special issue
- True lies
- Autonomous agents modelling other agents: a comprehensive survey and open problems
- Knowing how to plan about planning: higher-order and meta-level epistemic planning
- 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
- Conditional epistemic planning
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
- BISIMULATIONS FOR KNOWING HOW LOGICS
- \textsc{delphic}: practical DEL planning via possibilities
- Base-based model checking for multi-agent only believing
- Don't plan for the unexpected planning based on plausibility models
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)
