Answer Set Planning: A Survey
Not on the map. Why?
Abstract (arXiv)
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, i.e., solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.
Key facts. Cited by 12 papers in the map (data through 14 Oct 2026). Builds on 30 of its 276 references that are in the map. First posted on arXiv 11 Feb 2022.
Builds on
30 of 276 references.
References · 30
- 2013The Complexity of Decentralized Control of Markov Decision Processescited by 231
- 2019Multi-Agent Pathfinding: Definitions, Variants, and Benchmarkscited by 199
- 2017Multi-shot ASP solving with clingocited by 115
- 2019ASP-Core-2 Input Language Formatcited by 77
- 2018Task Planning in Robotics: an Empirical Comparison of PDDL-based and ASP-based Systemscited by 40
- 2016Optimal Target Assignment and Path Finding for Teams of Agentscited by 25
- 2016Multi-Agent Path Finding with Delay Probabilitiescited by 18
- 2014MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guaranteescited by 15
- 2017Clingcon: The Next Generationcited by 15
- 2014Topological Value Iteration Algorithmscited by 13
- 2015Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristicscited by 12
- 2018Experimenting with robotic intra-logistics domainscited by 12
18 more
- 2014Compiling Uncertainty Away in Conformant Planning Problems with Bounded Widthcited by 11
- 2018A General Multi-agent Epistemic Planner Based on Higher-order Belief Changecited by 10
- 2017Cooperative Epistemic Multi-Agent Planning for Implicit Coordinationcited by 8
- 2021Planning with Incomplete Information in Quantified Answer Set Programmingcited by 8
- 2018Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programmingcited by 7
- 2018Multi-Agent Path Finding with Deadlinescited by 7
- 2018plasp 3: Towards Effective ASP Planningcited by 6
- 2017Hybrid Conditional Planning using Answer Set Programmingcited by 4
- 2020Modelling Multi-Agent Epistemic Planning in ASPcited by 4
- 2014Lazy Model Expansion: Interleaving Grounding with Searchcited by 3
- 2019Multi-Agent Pathfinding with Continuous Timecited by 3
- 2020Human Robot Collaborative Assembly Planning: An Answer Set Programming Approachcited by 3
- 2015An approach to multi-agent planning with incomplete informationcited by 2
- 2019Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solvingcited by 2
- 2013Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planningcited by 1
- 2017Solving Distributed Constraint Optimization Problems Using Logic Programmingcited by 1
- 2019Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language pBC+cited by 1
- 2019A Correctness Result for Synthesizing Plans With Loops in Stochastic Domainscited by 1
Built on by
Citing papers per year: 2023: 3; 2024: 3; 2025: 3; 2026: 3.
12 papers.
- 2025NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domainscited by 15
- 2024CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planningcited by 3
- 2024The Future of Intelligent Healthcare: A Systematic Analysis and Discussion on the Integration and Impact of Robots Using Large Language Models for Healthcarecited by 2
- 2025Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penaltiescited by 2
- 2023Planning as Theorem Proving with Heuristicscited by 1
- 2023Rethinking Answer Set Programming Templatescited by 1
- 2023Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programmingcited by 0
- 2024What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narrativescited by 0
- 2025Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programmingcited by 0
- 2026Long-term Power Grid Planning via Answer Set Programmingcited by 0
- 20262-ASP(Q) programs with weak constraints: Complexity and efficient implementationcited by 0
- 2026Learning to Assemble Novel Structures with Unfamiliar Parts under Semantic Constraintscited by 0
- 2026Learning to Assemble Novel Structures with Unfamiliar Parts under Semantic Constraints13 Aug 2026
- 20262-ASP(Q) programs with weak constraints: Complexity and efficient implementation26 May 2026
- 2026Long-term Power Grid Planning via Answer Set Programming19 May 2026
- 2025Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penalties3 Dec 2025
- 2025Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming15 Jul 2025
- 2025NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains2 Mar 2025
- 2024The Future of Intelligent Healthcare: A Systematic Analysis and Discussion on the Integration and Impact of Robots Using Large Language Models for Healthcare5 Nov 2024
- 2024What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives11 Oct 2024
- 2024CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning5 Jun 2024
- 2023Rethinking Answer Set Programming Templates12 Jul 2023
- 2023Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming25 May 2023
- 2023Planning as Theorem Proving with Heuristics23 Mar 2023