Gearing Up for Effective ASP Planning

DOI10.1007/978-3-642-30743-0_20zbMath1357.68035OpenAlexW1512549120MaRDI QIDQ2900527

Roland Kaufmann, Torsten Schaub, Martin Gebser

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_20

Mathematics Subject Classification ID

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

Related Items (1)

Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic

Uses Software

• MiniSat
• SATIRE
• PDDL
• plasp
• Graphplan
• Coala
• oClingo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Fast planning through planning graph analysis
• Answer set programming and plan generation
• Extending and implementing the stable model semantics
• Reactive Answer Set Programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Coala: A Compiler from Action Languages to ASP
• Logics in Artificial Intelligence
• Conflict-Driven Answer Set Enumeration
• Engineering an Incremental ASP Solver
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• Bounded model checking using satisfiability solving

This page was built for publication: Gearing Up for Effective ASP Planning