Hierarchies in independence logic

Pietro Galliani Miika Hannula Juha Kontinen

Published in: CoRR (2013)

Keyphrases

logic programming
modal logic
classical logic
computational properties
predicate logic
hierarchical structure
database
neural network
multi valued
independence assumption
formal language