Design of a Solver for Multi-Agent Epistemic Planning
As the interest in Artificial Intelligence continues to grow it is becoming more and more important to investigate formalization and tools that allow us to exploit logic to reason about the world. In particular, given the increasing number of multi-agents systems that could benefit from techniques o...
Main Author: | Francesco Fabiano |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1909.08259v1 |
Similar Items
-
Optimal Evacuation Plan Design with IP-Solver
by: Jaroslav Janacek, et al.
Published: (2009-09-01) -
Epistemic planning for multi-robot systems in communication-restricted environments
by: Lauren Bramblett, et al.
Published: (2023-05-01) -
Epistemic Theodicy, Epistemic Evil, and Epistemic Responsibility
by: Vojko Strahovnik
Published: (2023-10-01) -
Epistemic dwelling: precision immuno-oncology by design
by: Luca Chiapperino, et al.
Published: (2021-01-01) -
Design Floods Considering the Epistemic Uncertainty
by: Radu Drobot, et al.
Published: (2021-06-01)