Login / Signup
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.
Willem Conradie
Valentin Goranko
Dimiter Vakarelov
Published in:
Advances in Modal Logic (2004)
Keyphrases
</>
model theoretic
deductive databases
description logics
operational semantics
decision procedures
fixpoint
proof theoretic
logic programs
default reasoning
natural language
probabilistic reasoning
natural language sentences
database
high level
integrity constraints