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