Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics

Fabrizio Riguzzi. Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 667-671, Springer, 2008. [doi]

Abstract

Abstract is missing.