The ILASP system for Inductive Learning of Answer Set Programs.
Mark LawAlessandra RussoKrysia BrodaPublished in: CoRR (2020)
Keyphrases
- inductive learning
- answer set programs
- answer set programming
- answer sets
- logic programs
- knowledge acquisition
- stable models
- machine learning
- lazy learning
- explanation based learning
- feature generation
- domain theory
- logic programming
- inductive logic programming
- update operators
- concept learning
- constraint satisfaction
- event calculus
- update semantics
- ripple down rules
- knowledge representation