Multi-shot ASP solving with clingo
From MaRDI portal
Abstract: We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the ASP system clingo. Multi-shot ASP solving features grounding and solving processes that deal with continuously changing logic programs. In doing so, they remain operative and accommodate changes in a seamless way. For instance, such processes allow for advanced forms of search, as in optimization or theory solving, or interaction with an environment, as in robotics or query-answering. Common to them is that the problem specification evolves during the reasoning process, either because data or constraints are added, deleted, or replaced. This evolutionary aspect adds another dimension to ASP since it brings about state changing operations. We address this issue by providing an operational semantics that characterizes grounding and solving processes in multi-shot ASP solving. This characterization provides a semantic account of grounder and solver states along with the operations manipulating them. The operative nature of multi-shot solving avoids redundancies in relaunching grounder and solver programs and benefits from the solver's learning capacities. clingo accomplishes this by complementing ASP's declarative input language with control capacities. On the declarative side, a new directive allows for structuring logic programs into named and parameterizable subprograms. The grounding and integration of these subprograms into the solving process is completely modular and fully controllable from the procedural side. To this end, clingo offers a new application programming interface that is conveniently accessible via scripting languages.
Recommendations
Cites work
- \textit{clingcon}: the next generation
- A tutorial on hybrid answer set solving with \textit{clingo}
- Abstract gringo
- Advances in WASP
- ASP modulo CSP: the clingcon system
- Clingo goes linear constraints over reals and integers
- Complexity and compilation of GZ-aggregates in answer set programming
- Conflict-driven answer set solving: from theory to practice
- Conflict-driven ASP solving with external sources
- Engineering an Incremental ASP Solver
- Extending and implementing the stable model semantics
- External sources of knowledge and value invention in logic programming
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- Implementing preferences with asprin
- Integrating ASP into ROS for reasoning in robots
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- LUPS -- A language for updating logic programs
- Merging Logic Programs under Answer Set Semantics
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- plasp 3: towards effective ASP planning
- Reactive answer set programming
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- Solving logic program conflict through strong and weak forgettings
- Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\)
- Temporal induction by incremental SAT solving
- The D-FLAT system for dynamic programming on tree decompositions
- The DLV system for knowledge representation and reasoning
- Theory and Applications of Satisfiability Testing
- Unsatisfiability-based optimization in clasp
Cited in
(only showing first 100 items - show all)- Learning programs by learning from failures
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- Testing in ASP: revisited language and programming environment
- DualGrounder: lazy instantiation via clingo multi-shot framework
- A multi-shot ASP encoding for the aircraft routing and maintenance planning problem
- Graph-based construction of minimal models
- Learning Boolean controls in regulated metabolic networks: a case-study
- Clingo
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Design and results of the second international competition on computational models of argumentation
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Moviola: interpreting dynamic logic programs via multi-shot answer set programming
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- Solving projected model counting by utilizing treewidth and its limits
- Statistical statements in probabilistic logic programming
- Tunas -- fishing for diverse answer sets: a multi-shot trade up strategy
- ASP for flexible payroll management
- Optimising business process discovery using answer set programming
- Reactive answer set programming
- Integrating ASP into ROS for reasoning in robots
- ASP solving for expanding universes
- Progress in clasp series 3
- An implementation of consistency-based multi-agent belief change using ASP
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
- Clingo goes linear constraints over reals and integers
- Multi-threaded ASP solving with clasp
- Optimizing answer set computation via heuristic-based decomposition
- The External Interface for Extending WASP
- selp: a single-shot epistemic logic program solver
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Train scheduling with hybrid answer set programming
- scientific article; zbMATH DE number 7453143 (Why is no real title available?)
- scientific article; zbMATH DE number 7453147 (Why is no real title available?)
- scientific article; zbMATH DE number 7455711 (Why is no real title available?)
- scientific article; zbMATH DE number 7455725 (Why is no real title available?)
- Efficient Knowledge Compilation Beyond Weighted Model Counting
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- A tutorial on hybrid answer set solving with \textit{clingo}
- Flexible FOND Planning with Explicit Fairness Assumptions
- Modeling and reasoning in event calculus using goal-directed constraint answer set programming
- Better paracoherent answer sets with less resources
- Incremental answer set programming with overgrounding
- A distributed approach to LARS stream reasoning (system paper)
- Modelling multi-agent epistemic planning in ASP
- Managing caching strategies for stream reasoning with reinforcement learning
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- \texttt{eclingo}: a solver for epistemic logic programs
- Ricochet Robots reloaded: a case-study in multi-shot ASP solving
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
- ASP modulo CSP: The clingcon system.
- Engineering an Incremental ASP Solver
- Witnesses for Answer Sets of Logic Programs
- Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells
- FOLASP: FO(·) as Input Language for Answer Set Solvers
- Reactive Answer Set Programming
- Lifted inference for statistical statements in probabilistic answer set programming
- A general framework for preferences in answer set programming
- Towards a qualitative theory of the interruption of eating behavior change
- Inverse reinforcement learning through logic constraint inference
- A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
- Temporal ASP: from logical foundations to practical use with \texttt{telingo}
- Answer set programming made easy
- Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
- Tackling universal properties of minimal trap spaces of Boolean networks
- On acceptance conditions in abstract argumentation frameworks
- Generative Datalog and answer set programming (extended abstract)
- Reasoning in assumption-based argumentation using tree-decompositions
- Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes
- \textsc{delphic}: practical DEL planning via possibilities
- Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis
- Clingraph: a system for ASP-based visualization
- Adaptive large-neighbourhood search for optimisation in answer-set programming
- ASP-based approaches for solving the nuclear medicine scheduling problem
- DIRT: a literature-based benchmark suite for grounders
- Encoding action reversibility in planning using quantified ASP and Bule
- Completing structured arguments in assumption-based argumentation
- Argumentative reasoning in ASPIC^+ under incomplete information
- Decomposition strategies and multi-shot ASP solving for job-shop scheduling
- Learning answer set programs with aggregates via sampling and genetic programming
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
- Learning differentiable logic programs for abstract visual reasoning
- Direct encoding of declare constraints in ASP
- Solving decision theory problems with probabilistic answer set programming
- Scheduling pre-operative assessment clinic with answer set programming
- Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
- A simple proof-theoretic characterization of stable models: reduction to difference logic and experiments
- Answer-set programming for lexicographical makespan optimisation in parallel machine scheduling
- Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)
- Knowledge authoring for rules and actions
- Integrating logic rules with everything else, seamlessly
- Answer set planning: a survey
- Aggregate semantics for propositional answer set programs
- How to build your own ASP-based system?!
- Linear-time temporal answer set programming
- Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
- Modern Datalog: concepts, methods, applications (invited paper)
- Seed inference in interacting microbial communities using combinatorial optimization
- Verifying Datalog reasoning with Lean
- Body-decoupled grounding via reduction: a novel approach on the \textsc{Asp} bottleneck
Describes a project that uses
Uses Software
This page was built for publication: Multi-shot ASP solving with clingo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197744)
