Some model-theoretic results in the algebrais theory of quadratic forms.

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

model theoretic
proof theoretic
deductive databases
description logics
decision procedures
fixpoint
operational semantics
logic programs
default reasoning
presburger arithmetic
probabilistic reasoning
logic programming
nonmonotonic reasoning
query evaluation
integrity constraints
proof theory
data integration