ILASP

ILASP (Inductive Learning of Answer Set Programs) is a new logic-based learning system capable of learning normal rules, choice rules, constraints and weak constraints in ASP.

Usage

ILASP is available for download from this page. ILASP is free to use for research and education. If do use ILASP for research, we ask that you use this citation. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (mark.law09@imperial.ac.uk). For details and examples of how to use ILASP, please see the manual.

Update

ILASP has moved. For up to date information on ILASP, please go to www.ilasp.com. New versions of ILASP are available at https://github.com/marklaw/ILASP-releases/releases.