Finite, from the Model Theoretic Point of View.

Carlo Toffalori Annalisa Marcja

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

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
proof theoretic
logic programs
decision procedures
fixpoint
probabilistic reasoning
default reasoning
logic programming
presburger arithmetic
database
modal logic
integrity constraints
theorem proving
belief revision
np hard
databases