Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs

Xiaoping Chen, Jianmin Ji, Fangzhen Lin. Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 130-144, Springer, 2009. [doi]

Abstract

Abstract is missing.