Gearing up for effective ASP planning
From MaRDI portal
Publication:2900527
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
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)
Uses Software
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)