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 …

In this paper, we review recent work aimed at the application of declarative logic
programming to knowledge representation in artificial intelligence. We consider extensions …

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 …

Many representation schemes combining first-order logic and probability have been
proposed in recent years. Progress in unifying logical and probabilistic inference has been …

SLD resolution with negation as finite failure (SLDNF) reflects the procedural interpretation
of predicate calculus as a programming language and forms the computational basis for …

We present a declarative authorization language. Policies and credentials are expressed
using predicates defined by logical clauses, in the style of constraint logic programming …

This account of propositional logic concentrates on the algorithmic translation of important
methods, especially of decision procedures for (subclasses of) propositional logic. Important …

Query processing and optimization in mediator systems that access distributed non-
proprietary sources pose many novel problems. Cost-based query optimization is hard …

Many problems in program analysis can be expressed naturally and concisely in a
declarative language like Datalog. This makes it easy to specify new analyses or extend or …

We propose a logical/mathematical framework for statistical parameter learning of
parameterized logic programs, ie definite clause programs containing probabilistic facts with …