Login / Signup
On existential declarations of independence in IF Logic
Fausto Barbero
Published in:
CoRR (2012)
Keyphrases
</>
modal logic
logic programming
query answering
classical logic
nonmonotonic logics
proof theory
neural network
learning algorithm
logical framework
database
databases
deontic logic
logic synthesis
logical equivalence
sound and complete axiomatization