Login / Signup
On Existential Declarations of Independence in if Logic.
Fausto Barbero
Published in:
Rev. Symb. Log. (2013)
Keyphrases
</>
logic programming
modal logic
classical logic
query answering
data sets
neural network
probabilistic logic
logic synthesis
search engine
graphical models
nonmonotonic logics
predicate logic
formal theory