Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

DOI10.1017/S1471068420000320zbMath1468.68192arXiv2008.03573OpenAlexW3087989143MaRDI QIDQ5140029

Esra Erdem, Aysu Bogatarkan

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.03573

Mathematics Subject Classification ID

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)

Uses Software

• spock

Cites Work

• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Answer set programming and plan generation
• Logic programs with stable model semantics as a constraint programming paradigm
• Conflict-based search for optimal multi-agent pathfinding
• Justifications for Logic Programming
• Causal Graph Justifications of Logic Programs
• Catching the Ouroboros: On debugging non-ground answer-set programs
• Justifications for logic programs under answer set semantics
• Generating explanations for biomedical queries
• Justifying answer sets using argumentation
• Justifications for programs with disjunctive and causal-choice rules
• ASP-Core-2 Input Language Format
• Answering the “why” in answer set programming – A survey of explanation approaches
• Debugging Non-ground ASP Programs: Technique and Graphical Tools

This page was built for publication: Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming