Complexity Classifications for Propositional Abduction in Post's Framework.

Nadia Creignou Johannes Schmidt Michael Thomas

Published in: J. Log. Comput. (2012)

Keyphrases

main contribution
database
real time
np hard
first order logic
conceptual framework
data sets
worst case
propositional logic
complexity analysis