Modelling Multi-Agent Epistemic Planning in ASP

DOI10.1017/S1471068420000289zbMath1468.68251arXiv2008.03007OpenAlexW3048269764MaRDI QIDQ5140002

Enrico Pontelli, Alessandro Burigana, Agostino Dovier, Francesco Fabiano

Publication date: 13 December 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.03007

zbMATH Keywords

planningmulti-agentepistemic reasoningpossibilitiesmulti-shot ASP

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Related Items (1)

State transition in multi-agent epistemic domains using answer set programming

Uses Software

• Clingo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Dynamic epistemic logic
• Reasoning about information change
• A resource logic for multi-agent plan merging
• Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL
• Epistemic planning for single- and multi-agent systems
• Finitary S5-Theories
• DEL Planning and Some Tractable Cases
• Representing action and change by logic programs
• Multi-shot ASP solving with clingo
• Autonomous agents coordination: Action languages meet CLP() and Linda
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Modelling Multi-Agent Epistemic Planning in ASP