Efficient Semantic Tableau Generation for Abduction in Propositional Logic.

Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch

Browse the full ECAI paper archive.