The purpose of this paper is to study the fundamental mechanism, humans use in
argumentation, and to explore ways to implement this mechanism on computers. We do so …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

FOR LOGIC PROGRAMMING Page 1 THE STABLE MODEL SEMANTICS FOR LOGIC
PROGRAMMING Michael Gelfond University of Texas at El Paso El Paso, Texas, USA Vladimir …

Datalog is a database query language based on the logic programming paradigm; it has
been designed and intensively studied over the last five years. We present the syntax and …

A general logic program (abbreviated to “program” hereafter) is a set of roles that have both
positive and negative subgoals. It is common to view a deductive database as a general …

To determine the security impact software vulnerabilities have on a particular network, one
must consider interactions among multiple network elements. For a vulnerability analysis …

We present an abstract framework for default reasoning, which includes Theorist, default
logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain …

This paper is a survey and critical overview of recent work on the extension of logic
programming to perform abductive reasoning (abductive logic programming). We outline the …

Prolog is some twenty years old and so is logic programming. However, they were
developed separately and these two developments never really merged. In particular, the …

We describe a novel logic, called HiLog, and show that it provides a more suitable basis for
logic programming than does traditional predicate logic. HiLog has a higher-order syntax …