Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

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 …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …

Data quality issues have taken on increasing importance in recent years. In our research, we
have discovered that many “data quality” problems are actually “data misinterpretation” …

We propose CLP (QS), a declarative spatial reasoning framework capable of representing
and reasoning about high-level, qualitative spatial knowledge about the world. We …

Publisher Summary This chapter reviews that constraint logic programming (CLP) is the
merger of two declarative paradigms: constraint solving and logic programming. As both …

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 …

With the advances in telecommunications, and the introduction of the Internet, information
systems achieved physical connectivity, but have yet to establish logical connectivity. Lack of …

We present HYPROLOG, a novel integration of Prolog with assumptions and abduction
which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) …