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 …

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …

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 …

In this paper we give a short introduction to logic programming approach to knowledge
representation and reasoning. The intention is to help the reader to develop a 'feel'for the …

In this paper we investigate updates of knowledge bases represented by logic programs. In
order to represent negative information, we use generalized logic programs which allow …

In this paper, we consider an approach to update nonmonotonic knowledge bases
represented as extended logic programs under the answer set semantics. In this approach …

Logic programming has often been considered less than adequate for modelling the
dynamics of knowledge changing over time. In this paper we describe a simple though quite …

This paper introduces an abductive framework for updating knowledge bases represented
by extended disjunctive programs. We first provide a simple transformation from abductive …

Multi-context systems (MCS) are a powerful framework for interlinking heterogeneous
knowledge sources. They model the flow of information among different reasoning …

A complete revision of mainstream logic is an urgent task to be achieved. This revision will
be able to bring logic into a creative rapprochement with cognitive science. This can be …