plasp 3: Towards Effective ASP Planning

DOI10.1017/S1471068418000583zbMath1472.68182MaRDI QIDQ4957186

Yannis Dimopoulos, Torsten Schaub, Patrick Lühne, Martin Gebser, Javier Romero

Publication date: 3 September 2021

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

zbMATH Keywords

knowledge representation; nonmonotonic reasoning; answer set programming; automated planning; action and change

Mathematics Subject Classification ID

68T30: Knowledge representation

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N17: Logic programming

Related Items

Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming, A multi-shot ASP encoding for the aircraft routing and maintenance planning problem

Uses Software

• PDDL
• plasp
• Clingo
• CCalc
• GitHub
• GDL

Cites Work

• Planning as satisfiability: heuristics
• Nonmonotonic causal theories
• Design and results of the Fifth Answer Set Programming Competition
• Answer set programming and plan generation
• plasp 3: towards effective ASP planning
• Planning as satisfiability: parallel plans and algorithms for plan search
• Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
• The well-founded semantics for general logic programs
• Some properties of system descriptions of
• Answer Set Programming Modulo Acyclicity*
• Domain-dependent knowledge in answer set planning
• Answer Set Programming for Single-Player Games in General Game Playing
• The Sixth Answer Set Programming Competition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item