Propositional Abduction is Almost Always Hard.

Gustav Nordh Bruno Zanuttini

Published in: IJCAI (2005)

Keyphrases

propositional knowledge base
abductive reasoning
first order logic
propositional logic
data sets
prime implicates
plan recognition
default logic
background knowledge
inference rules
logic programming
domain knowledge
multi valued
probabilistic logic
knowledge base
machine learning
real time