Login / Signup
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog.
Andreas Blass
Yuri Gurevich
Published in:
Bull. EATCS (2008)
Keyphrases
</>
fixed point
logic programming
query answering
floating point
sufficient conditions
logic programs
bayesian networks
bargaining solution