Propositional Abduction with Implicit Hitting Sets.

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

Published in: ECAI (2016)

Keyphrases

propositional knowledge base
horn clauses
background knowledge
first order logic
markov chain
data sets
logic programming
propositional logic
convex sets
set theoretic
causal networks
database
neural network
logic programs
belief revision