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 James P. Delgrande, Torsten Schaub, editors, 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings. pages 155-163, 2004. [doi]

Abstract

Abstract is missing.