Login / Signup
Approximation Theorems and Model Theoretic Forcing.
Victor Harnik
Published in:
J. Symb. Log. (1976)
Keyphrases
</>
model theoretic
deductive databases
description logics
proof theoretic
operational semantics
decision procedures
fixpoint
logic programs
default reasoning
probabilistic reasoning
database
presburger arithmetic
integrity constraints
proof procedure
quantifier elimination
logic programming
general purpose