Answer Set Programming (ASP) is a declarative modelling language, capable of representing complex combinatorial problems. ILASP (Inductive Learning of Answer Set Programs) is a recently developed system for machine learning of ASP programs from examples. ILASP enables learning programs containing normal rules, choice rules and both hard and weak constraints. It has been applied to learning common-sense knowledge, including choices, defaults, exceptions and preferences.
ILASP is free to use for research and education. If do use ILASP for research, we ask that you use this citation of the system, in addition to citing the relevant research papers. Anyone wishing to use ILASP for commercial purposes should contact Mark Law (email@example.com).
This documentation page is under construction. Some links in the table of contents are yet to be added.