Model-Theoretic Aspects of Unification.

Alexander Bockmayr

Published in: IWWERT (1990)

Keyphrases

model theoretic
deductive databases
description logics
proof theoretic
operational semantics
default reasoning
decision procedures
logic programs
theorem proving
probabilistic reasoning
fixpoint
presburger arithmetic
databases
logic programming
query evaluation