Complexity of two-variable dependence logic and IF-logic.

Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema

Published in: Inf. Comput. (2014)

Keyphrases

logic programming
data mining
modal logic
multi valued
information systems
probabilistic logic
predicate logic
data sets
databases
neural network
artificial intelligence
feature selection
classical logic
digital circuits
abductive reasoning