Engineering an Incremental ASP Solver
From MaRDI portal
Publication:5504656
DOI10.1007/978-3-540-89982-2_23zbMATH Open1185.68159OpenAlexW1501758783WikidataQ56755028 ScholiaQ56755028MaRDI QIDQ5504656FDOQ5504656
Max Ostrowski, Roland Kaminski, Torsten Schaub, Sven Thiele, Martin Gebser, Benjamin Kaufmann
Publication date: 22 January 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_23
Cites Work
- ASSAT: computing answer sets of a logic program by SAT solvers
- Nonmonotonic causal theories
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Bounded model checking using satisfiability solving
- Conflict-Driven Answer Set Enumeration
- Temporal induction by incremental SAT solving
- Logic Programming and Nonmonotonic Reasoning
- Semantics of (disjunctive) logic programs based on partial evaluation
Cited In (22)
- LoCo—A Logic for Configuration Problems
- Omission-Based Abstraction for Answer Set Programs
- An ASP-based solver for parametrized-difference revision
- Gearing Up for Effective ASP Planning
- Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving
- Answer Set Programming: A Primer
- Knowledge-based multi-criteria optimization to support indoor positioning
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Abstraction for non-ground answer set programs
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- LARS: a logic-based framework for analytic reasoning over streams
- A computational framework for conceptual blending
- The Seventh Answer Set Programming Competition: Design and Results
- Conflict-driven answer set solving: from theory to practice
- A weighted causal theory for acquiring and utilizing open knowledge
- Multi-shot ASP solving with clingo
- Applications of Action Languages in Cognitive Robotics
- How to split a logic program
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- Past-present temporal programs over finite traces
- ASPeRiX, a first-order forward chaining approach for answer set computing
- Graph-based construction of minimal models
Uses Software
This page was built for publication: Engineering an Incremental ASP Solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504656)
