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 representationnonmonotonic reasoninganswer set programmingautomated planningaction and change

Mathematics Subject Classification ID

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

Related Items (2)

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

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: plasp 3: Towards Effective ASP Planning