A Model Theoretic Property of Sharply Bounded Formulae, with some Applications.

Published in: Math. Log. Q. (1998)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
decision procedures
proof theoretic
fixpoint
logic programs
default reasoning
probabilistic reasoning
presburger arithmetic
integrity constraints
special case
database
automated reasoning
modal logic
logic programming
high level