Gearing up for effective ASP planning

DOI10.1007/978-3-642-30743-0_20zbMATH Open1357.68035OpenAlexW1512549120MaRDI QIDQ2900527FDOQ2900527

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

Recommendations

• Engineering an Incremental ASP Solver
• plasp 3: towards effective ASP planning
• plasp 3: towards effective ASP planning
• ASP solving for expanding universes
• Answer set programming and plan generation

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• Engineering an Incremental ASP Solver

Uses Software

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

This page was built for publication: Gearing up for effective ASP planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900527)