Gearing up for effective ASP planning

DOI10.1007/978-3-642-30743-0_20MaRDI QIDQ2900527zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Roland Kaufmann, Torsten Schaub

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)

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

Cites work

• scientific article; zbMATH DE number 5914361 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• A Computing Procedure for Quantification Theory
• A machine program for theorem-proving
• Answer set programming and plan generation
• Bounded model checking using satisfiability solving
• Coala: a compiler from action languages to ASP
• Conflict-Driven Answer Set Enumeration
• Engineering an Incremental ASP Solver
• Extending and implementing the stable model semantics
• Fast planning through planning graph analysis
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Logics in Artificial Intelligence
• Reactive answer set programming
• Temporal induction by incremental SAT solving

Cited in

(6)

• plasp 3: towards effective ASP planning
• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• Engineering an Incremental ASP Solver
• plasp 3: towards effective ASP planning
• ASP solving for expanding universes
• SAP speaks PDDL: exploiting a software-engineering model for planning in business process management

Describes a project that uses

Uses Software

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

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)