Debugging ASP using ILP.
Tingting LiMarina De VosJulian A. PadgetKen SatohTina BalkePublished in: ICLP (Technical Communications) (2015)
Keyphrases
- inductive logic programming
- answer set programming
- relational learning
- web applications
- logic programs
- logic programming
- background knowledge
- model based diagnosis
- multi relational data mining
- answer set programs
- fault localization
- hardware designs
- rule learning
- subgroup discovery
- decision trees
- novice programmers
- execution traces
- information retrieval
- predicate invention
- real world
- database