LPForget:

A System of Forgetting in Answer Set Programming

Fu-Leung Cheng¹ Thomas Eiter² Nathan Robinson¹ Abdul Sattar¹ Kewen Wang¹
¹Griffith University, Australia
²Technische Universität Wien, Austria

Download the system

The entire system is available for download at the following location:
http://www.cit.gu.edu.au/˜kewen/LPForget/LPForget1.1.zip

To run this system requires the Java runtime envroment 1.4.2 or above which is available from:
http://java.sun.com/

Back