Hierarchies in independence logic.

Pietro Galliani Miika Hannula Juha Kontinen

Published in: CSL (2013)

Keyphrases

logic programming
classical logic
case study
digital circuits
conditional independence
probabilistic logic
defeasible logic
asynchronous circuits
neural network
information retrieval
data warehouse
hierarchical structure
computational properties
predicate logic