Login / Signup
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog
Andreas Blass
Yuri Gurevich
Published in:
CoRR (2008)
Keyphrases
</>
fixed point
logic programming
modal logic
floating point
database systems
expressive power
query answering
three dimensional
pairwise
high resolution
graphical models
sufficient conditions
belief propagation
default logic