… DISLOG is a system for reasoning in disjunctive deductive … motivating example for disjunctive
deductive databases, and in … of DISLOG’s interfaces for working with disjunctive deductive …

… In a first, prototypical implementation we have used the system Smodels developed by
Niemelä [17], which can compute well-founded and stable model semantics for normal …

… models of a disjunctive deductive database D based on the stable models of a normal …
system of Eiter, Leone et al. [4], or our system DisLog [23] for reasoning in disjunctive deductive …

… Most deductive database systems support the representation … operator TsP in disjunctive
deductive databases. … the call dialog (Qid= Val) of a suitable Prolog dialog for determining the …

… of deductive database systems supporting … disjunction in the deductive database languages
has stimulated a renewed interest in this area, since deductive databases with disjunction…

… DisLoG is a system for reasoning in disjunctive -deductive databases. It seeks to combine
features of disjunctive logic programming, such as the support for incomplete information, with …

… The methods are implemented in the system DisLog (cf. [10,11]) for efficient reasoning in …
the compact tree data structures for disjunctive and negative Herbrand states of DisLog (cf. [10])…

… initions and notation for disjunctive databases, partial Herbrand … evidential stable models of
a disjunctive database 79. In Section … the system DISLOG for efficient reasoning in disjunctive …

… database systems for large database manipulation and for personal computers. Relational …
disjunctive logic programs and includes several chapters on disjunctive deductive databases (…

… deductive database system DDbase [4], which works with an extension of Datalog. DDbase
is part of the system Declare – formerly called DisLog … values and disjunctive rules will be an …