Engineering an Incremental ASP Solver

DOI10.1007/978-3-540-89982-2_23MaRDI QIDQ5504656zbMATH OpenOpenAlexWikidataFDO

Authors Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Multi-shot ASP solving with clingo
• A tutorial on hybrid answer set solving with \textit{clingo}
• scientific article; zbMATH DE number 5485263
• Gearing up for effective ASP planning
• ASP solving for expanding universes

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

Describes a project that uses

Uses Software

• CCalc
• ASSAT
• MiniSat

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)