António Morgado

Propositional Abduction with Implicit Hitting Sets

2016 · arXiv (Cornell University)

Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abduction to the propositional domain, and complexity-wise is …