We introduce an approach to computing answer sets of logic programs, based on concepts
successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in …

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 …

Symbolic event recognition systems have been successfully applied to a variety of
application domains, extracting useful information in the form of events, allowing experts or …

LUDOCORE is a logical “game engine”, linking game rules as reasoned about by game
designers to the formal logic used by automated reasoning tools in AI. A key challenge in …

We summarize the salient features of the current version of the answer set solver clasp,
focusing on the progress made since version RC4 of clasp. Apart from enhanced …

Circumscription and logic programs under the stable model semantics are two well-known
nonmonotonic formalisms. The former has served as a basis of classical logic based action …

We present an implementation of the general language of stable models proposed by
Ferraris, Lee and Lifschitz. Under certain conditions, system f2lp turns a first-order theory …

Ambient intelligence (AmI) systems aim to provide users with context-aware assistance
services intended to improve the quality of their lives in terms of autonomy, safety, and well …

In this article, we describe the architecture, the language and the authoring tool of the
PENG^ ASP ASP system. This system supports the writing of non-monotonic specifications …

We present a generalisation of the Event Calculus, specified in classical logic and
implemented in ASP, that facilitates reasoning about non-binary-valued fluents in domains …