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 …

Abstract Answer Set Programming (ASP) is a model, ground, and solve paradigm. The
integration of application-or theory-specific reasoning into ASP systems thus impacts on …

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 …

To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

In this paper we describe asprin, a general, flexible, and extensible framework for handling
preferences among the stable models of a logic program. We show how complex preference …

Abstract Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and non-monotonic …

This paper attempts to answer a central question in unsupervised learning: what does it
mean to “make sense” of a sensory sequence? In our formalization, making sense involves …

How should a machine intelligence perform unsupervised structure discovery over streams
of sensory input? One approach to this problem is to cast it as an apperception task [1] …

This paper defines the syntax and semantics of the input language of the ASP grounder
gringo. The definition covers several constructs that were not discussed in earlier work on …

Answer set programming (ASP) is a prominent knowledge representation and reasoning
paradigm that found both industrial and scientific applications. The success of ASP is due to …