On some tractable classes in deduction and abduction

The complexity of logic-based abduction

Thomas Eiter, Georg Gottlob · Journal of the ACM · 1995 · 428 citations · Full text

Computing, Computer Science, Decision Sciences +15

On the Relationship Between Abduction and Deduction

Luca Console, Daniele Theseider Dupré, Pietro Torasso · Journal of Logic and Computation · 1991 · 252 citations

Computing, Computer Science, Knowledge Representation +10

A survey on knowledge compilation

Marco Cadoli, Francesco M. Donini · 1997 · 220 citations

Computing, Computer Science, Algorithms +13

Unit Refutations and Horn Sets

Lawrence J. Henschen, L. Wos · Journal of the ACM · 1974 · 148 citations · Full text

Computing, Computer Science, Mathematics +11

Proceedings 43rd Annual IEEE Symposium on Foundations of Computer Science

2002 · 138 citations

Computing, Computer Engineering, Computer Science +13