Answer set planning: a survey

SC Tran, E Pontelli, M Balduccini… - Theory and Practice of …, 2023 - cambridge.org
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …

Epistemic planning: Perspectives on the special issue

V Belle, T Bolander, A Herzig, B Nebel - Artificial Intelligence, 2023 - Elsevier
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 …

Efficient multi-agent epistemic planning: Teaching planners about nested belief

C Muise, V Belle, P Felli, S McIlraith, T Miller… - Artificial Intelligence, 2022 - Elsevier
Many AI applications involve the interaction of multiple autonomous agents, requiring those
agents to reason about their own beliefs, as well as those of other agents. However …

An action language for multi-agent domains

C Baral, G Gelfond, E Pontelli, TC Son - Artificial Intelligence, 2022 - Elsevier
The goal of this paper is to investigate an action language, called m A⁎, for representing
and reasoning about actions and change in multi-agent domains. The language, as …

A general multi-agent epistemic planner based on higher-order belief change

H Wan, B Fang, Y Liu - Artificial Intelligence, 2021 - Elsevier
In recent years, multi-agent epistemic planning has received attention from both dynamic
logic and planning communities. Existing implementations of multi-agent epistemic planning …

EFP 2.0: A multi-agent epistemic solver with multiple e-state representations

F Fabiano, A Burigana, A Dovier… - Proceedings of the …, 2020 - ojs.aaai.org
Multi-agent systems have been employed to model, simulate and explore a variety of real-
world scenarios. It is becoming more and more important to investigate formalisms and tools …

EFP and PG-EFP: Epistemic forward search planners in multi-agent domains

T Le, F Fabiano, T Son, E Pontelli - Proceedings of the International …, 2018 - ojs.aaai.org
This paper presents two prototypical epistemic forward planners, called EFP and PG-EFP,
for generating plans in multi-agent environments. These planners differ from recently …

Planning in multi-agent domains with untruthful announcements

L Pham, TC Son, E Pontelli - Proceedings of the International …, 2023 - ojs.aaai.org
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 …

An action language for multi-agent domains: Foundations

C Baral, G Gelfond, E Pontelli, TC Son - arXiv preprint arXiv:1511.01960, 2015 - arxiv.org
In multi-agent domains (MADs), an agent's action may not just change the world and the
agent's knowledge and beliefs about the world, but also may change other agents' …

Planning with Perspectives--Decomposing Epistemic Planning using Functional STRIPS

G Hu, T Miller, N Lipovetzky - Journal of Artificial Intelligence Research, 2022 - jair.org
In this paper, we present a novel approach to epistemic planning called planning with
perspectives (PWP) that is both more expressive and computationally more efficient than …