This paper presents an overview of Transaction Logic—a new formalism recently introduced
in Bonner and Kifer (1992, 1993) and designed to deal with the phenomenon of state …

We propose a novel formalism, called Frame Logic (abbr., F-logic), that accounts in a clean
and declarative fashion for most of the structural aspects of object-oriented and frame-based …

Since its publication, Essentials of Artificial Intelligence has been adopted at numerous
universities and colleges offering introductory AI courses at the graduate and undergraduate …

The area of deductive databases has matured in recent years, and it now seems appropriate
to reflect upon what has been achieved and what the future holds. In this paper, we provide …

Abstract Disjunctive Deductive Databases (DDDBs)—function-free disjunctive logic
programs with negation in rule bodies allowed—have been recently recognized as a …

Transaction Logic (abbr., T) is a novel logic that accounts in a clean and com-pletely first-
order manner for the phenomenon of updating arbitrary logical theories, including …

CORAL is a modular declarative query language/programming language that supports
general Horn clauses with complex terms, set-grouping, aggregation, negation, and …

The problem of allowing non-monotonic constructs, such as negation and aggregates, in
recursive programs represents a difficult challenge faced by current research in deductive …

This paper describes the [Lscr][Dscr][Lscr]++ system and the research advances that have
enabled its design and development. We begin by discussing the new nonmonotonic and …

We propose an extension of classical predicate calculus, called Transaction Logic, which
provides a logical foundation for the phenomenon of state changes in logic programs and …