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]

Authors

Omar El-Khatib

This author has not been identified. Look up 'Omar El-Khatib' in Google

Enrico Pontelli

This author has not been identified. Look up 'Enrico Pontelli' in Google

Tran Cao Son

This author has not been identified. Look up 'Tran Cao Son' in Google