Epistemic planning is the enrichment of automated planning with epistemic notions such as
knowledge and belief. In general, single-agent epistemic planning considers the following …

We study multiagent epistemic planning with a simple epistemic logic whose language is a
restriction of that of standard epistemic logic. Its formulas are boolean combinations of …

Earlier epistemic planning systems for multi-agent domains generate plans that contain
various types of actions such as ontic, sensing, or announcement actions. However, none of …

We present a generalization of belief base revision to the multi-agent case. In our approach
agents have belief bases containing both propositional beliefs and higher-order beliefs …

In this paper, we propose a dynamic epistemic framework to capture the knowledge
evolution in multi-agent systems where agents are not able to observe. We formalize multi …

Epistemic planning is useful in situations where multiple agents have different knowledge
and beliefs about the world, such as in robot-human interaction. One aspect that has been …

We present a general framework for abstracting agent behavior in multi-agent synchronous
games in the situation calculus, which provides a first-order representation of the state and …

Since the early days of artificial intelligence (AI), many logics have been explored as tools
for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and …

The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely
adopted action formalism that can handle nondeterminism, partial observability and arbitrary …

Automated planning in AI and the logics of knowing how have close connections. In the
recent literature, various planning-based know-how logics have been proposed and studied …