Login / Signup
Complexity Classifications for Propositional Abduction in Post's Framework
Nadia Creignou
Johannes Schmidt
Michael Thomas
Published in:
CoRR (2010)
Keyphrases
</>
main contribution
probabilistic model
conceptual framework
propositional logic
complexity analysis
real time
knowledge base
computational cost
lightweight
theoretical framework