Tractable Inference Systems: An Extension with a Deducibility Predicate.

Hubert Comon-Lundh, Vronique Cortier, Guillaume Scerri

Browse the full CADE paper archive.