SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

Fabrizio Riguzzi. SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions. Fundamenta Informaticae, 102(3-4):429-466, 2010. [doi]

Abstract

Abstract is missing.