Engineering an Incremental ASP Solver
From MaRDI portal
Publication:5504656
Recommendations
Cites work
- ASSAT: computing answer sets of a logic program by SAT solvers
- Bounded model checking using satisfiability solving
- Conflict-Driven Answer Set Enumeration
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming and Nonmonotonic Reasoning
- Nonmonotonic causal theories
- Semantics of (disjunctive) logic programs based on partial evaluation
- Temporal induction by incremental SAT solving
Cited in
(28)- Monotonic Answer Set Programming
- LoCo—A Logic for Configuration Problems
- IASCAR: incremental answer set counting by anytime refinement
- An ASP-based solver for parametrized-difference revision
- Answer Set Programming: A Primer
- Knowledge-based multi-criteria optimization to support indoor positioning
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Abstraction for non-ground answer set programs
- LARS: a logic-based framework for analytic reasoning over streams
- A computational framework for conceptual blending
- Applications of action languages in cognitive robotics
- The Seventh Answer Set Programming Competition: Design and Results
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Reactive answer set programming
- Omission-based abstraction for answer set programs
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- Conflict-driven answer set solving: from theory to practice
- A weighted causal theory for acquiring and utilizing open knowledge
- Incremental answer set programming with overgrounding
- Multi-shot ASP solving with clingo
- How to split a logic program
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
- ASP solving for expanding universes
- Lazy model expansion by incremental grounding
- Gearing up for effective ASP planning
- Graph-based construction of minimal models
- Past-present temporal programs over finite traces
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)