ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog

Omar El-Khatib, Enrico Pontelli, Tran Cao Son. ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. In Bharat Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Volume 3057 of Lecture Notes in Computer Science, pages 148-162, Springer, 2004. [doi]

Abstract

Abstract is missing.