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

, &
Artificial Intelligence 301 (C):103562 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103562

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search.Michal Štolba & Antonín Komenda - 2017 - Artificial Intelligence 252 (C):175-210.
Efficient multi-agent epistemic planning: Teaching planners about nested belief.Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce & Liz Sonenberg - 2022 - Artificial Intelligence 302 (C):103605.
Processes and continuous change in a SAT-based planner.Ji-Ae Shin & Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):194-253.
Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation.Churn-Jung Liau - 2003 - Artificial Intelligence 149 (1):31-60.
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief.Daniel G. Schwartz - 2003 - Artificial Intelligence 148 (1-2):177-195.
Conflict-based search for optimal multi-agent pathfinding.Guni Sharon, Roni Stern, Ariel Felner & Nathan R. Sturtevant - 2015 - Artificial Intelligence 219 (C):40-66.
Relations of epistemic proximity for belief change.Sven Ove Hansson - 2014 - Artificial Intelligence 217:76-91.
Smart office robot collaboration based on multi-agent programming.F. Mizoguchi, H. Nishiyama, H. Ohwada & H. Hiraishi - 1999 - Artificial Intelligence 114 (1-2):57-94.
Width-based search for multi agent privacy-preserving planning.Alfonso E. Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti & Ivan Serina - 2023 - Artificial Intelligence 318 (C):103883.

Analytics

Added to PP
2022-11-21

Downloads
16 (#1,179,083)

6 months
3 (#1,465,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.

View all 9 references / Add more references