Guarded Fragments with Constants.

Balder ten Cate Massimo Franceschet

Published in: J. Log. Lang. Inf. (2005)

Keyphrases

first order logic
fixed point
guarded fragment
knowledge base
query answering
real world
computer vision
decision making
case study
decision procedures
probabilistic databases
horizontal fragmentation
querying xml data