Clingo = ASP + Control: Preliminary Report
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

TL;DR
Clingo 4 introduces an integrated ASP system with high-level control constructs, enabling complex, evolving reasoning processes like optimization and interaction within a single, modular grounding and solving framework.
Contribution
It presents a novel ASP system that combines high-level scripting with modular control, allowing for flexible, complex reasoning without relaunching grounder and solver.
Findings
Supports advanced search and optimization processes.
Enables interaction with environments such as robotics.
Eliminates need for separate incremental or reactive systems.
Abstract
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic combinations of the grounder gringo with the solver clasp, the new clingo 4 series offers high-level constructs for realizing complex reasoning processes. Among others, such processes feature advanced forms of search, as in optimization or theory solving, or even interact 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. In fact, clingo 4 carries out such complex reasoning within a single integrated ASP grounding and solving process. This avoids redundancies in relaunching grounder and solver programs and benefits from the solver's learning capacities. clingo 4 accomplishes this by complementing ASP's declarative input language by control…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
