Logic programming with the stable model semantics is put forward as a novel constraint
programming paradigm. This paradigm is interesting because it bring advantages of logic …

Abstract Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to
extend logic programming into a framework suitable for a variety of problems in Artificial …

Abductive logic programming offers a formalism to declaratively express and solve problems
in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled …

This paper presents the framework of Abductive Constraint Logic Programming (ACLP),
which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming …

In Artificial Intelligence, abductive reasoning is recognized as a fundamental reasoning
principle and has been applied in many different application domains. In the context of Logic …

A grammar formalism based upon CHR is proposed analogously to the way Definite Clause
Grammars are defined and implemented on top of Prolog. These grammars execute as …

Abduction is an inference mechanism where given a knowledge base and some
observations, the reasoner tries to find hypotheses which together with the knowledge base …

Requirements specifications are often inconsistent. Inconsistencies may arise because
multiple conflicting requirements are embodied in these specifications, or because the …

The field of logic and databases is an outgrowth of work in logic programming and
databases. It is assumed that the reader is familiar with work in relational databases as …

Abstract The A-system [4] is a new system for performing abductive reasoning within the
framework of Abductive Logic Programming (ALP). The principles behind the system are …