Epistemic planning: perspectives on the special issue

DOI10.1016/j.artint.2022.103842OpenAlexW4313216180MaRDI QIDQ6098843

Vaishak Belle, Thomas Bolander, Bernhard Nebel, Andreas Herzig

Publication date: 19 June 2023

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

Full work available at URL: https://doi.org/10.1016/j.artint.2022.103842

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items (1)

A separation logic with histories of epistemic actions as resources

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak, strong, and strong cyclic planning via symbolic model checking
• Dynamic update with probabilities
• Merging frameworks for interaction
• Reasoning about noisy sensors and effectors in the situation calculus
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Knowledge-based programs as succinct policies for partially observable domains
• 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
• Analyzing generalized planning under nondeterminism
• Dynamic term-modal logics for first-order epistemic planning
• The logic of gossiping
• DEL-based epistemic planning: decidability and complexity
• Probabilistic reasoning about epistemic action narratives
• Planning-based knowing how: a unified approach
• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Game description language and dynamic epistemic logic compared
• A lightweight epistemic logic and its application to planning
• Knowing-how under uncertainty
• Regression and progression in stochastic domains
• Logics of public communications
• Knowledge-based programs as building blocks for planning
• A Concise Introduction to Models and Methods for Automated Planning
• Epistemic planning for single- and multi-agent systems
• DEL Planning and Some Tractable Cases
• Alternating-time temporal logic
• Interpreting an action from what we perceive and what we expect
• DEL-sequents for regression and epistemic planning
• An Introduction to the Planning Domain Definition Language
• Dynamic Epistemic Logics
• Incorporating Action Models into the Situation Calculus
• Knowledge-based programs
• Multiagent Only Knowing in Dynamic Systems
• Formalizing sensing actions -- a transition function based approach

This page was built for publication: Epistemic planning: perspectives on the special issue