Epistemic planning for single- and multi-agent systems
From MaRDI portal
Publication:2901205
DOI10.3166/jancl.21.9-34zbMath1242.68285OpenAlexW1998176101WikidataQ57813454 ScholiaQ57813454MaRDI QIDQ2901205
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
Logics of knowledge and belief (including belief change) (03B42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (51)
The undecidability of quantified announcements ⋮ Autonomous agents modelling other agents: a comprehensive survey and open problems ⋮ Computation as social agency: what, how and who ⋮ Learning Actions Models: Qualitative Approach ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Epistemic planning with attention as a bounded resource ⋮ Dynamic coalition logic: granting and revoking dictatorial powers ⋮ Multi-agent conformant planning with distributed knowledge ⋮ Conditional Epistemic Planning ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Finitary S5-Theories ⋮ Knowledge-based programs as building blocks for planning ⋮ Resolving distributed knowledge ⋮ DEL-sequents for regression and epistemic planning ⋮ To be announced ⋮ Epistemic planning: perspectives on the special issue ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ Arbitrary public announcement logic with memory ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parameterized complexity of theory of mind reasoning in dynamic epistemic logic ⋮ Unnamed Item ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ The logic of gossiping ⋮ DEL-based epistemic planning: decidability and complexity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modelling Multi-Agent Epistemic Planning in ASP ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Planning-based knowing how: a unified approach ⋮ Game description language and dynamic epistemic logic compared ⋮ A lightweight epistemic logic and its application to planning ⋮ Implicit, explicit and speculative knowledge ⋮ DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT ⋮ Recursively modeling other agents for decision making: a research perspective ⋮ Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention ⋮ True lies ⋮ Intensional protocols for dynamic epistemic logic ⋮ Knowledge-based programs as succinct policies for partially observable domains ⋮ A computationally grounded logic of graded belief ⋮ Rethinking epistemic logic with belief bases ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ An action language for multi-agent domains ⋮ Efficient multi-agent epistemic planning: teaching planners about nested belief ⋮ DEL Planning and Some Tractable Cases ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ Dynamic Epistemic Logics ⋮ An approach to improve argumentation-based epistemic planning with contextual preferences
Cites Work
This page was built for publication: Epistemic planning for single- and multi-agent systems
