Propositional Abduction with Implicit Hitting Sets.

Alexey Ignatiev António Morgado João Marques-Silva

Published in: CoRR (2016)

Keyphrases

propositional knowledge base
propositional logic
first order logic
data sets
markov chain
set theoretic
database
neural network
genetic algorithm
knowledge base
logic programming
multi valued
horn clauses
probabilistic logic