Inductive logic programming in answer set programming

Authors:
Domenico Corapi;Alessandra Russo;Emil Lupu
Affiliations:
Department of Computing, Imperial College London, London, United Kingdom;Department of Computing, Imperial College London, London, United Kingdom;Department of Computing, Imperial College London, London, United Kingdom
Venue:
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Year:
2011

Citing 4
Cited 0

Foundations of logic programming

Foundations of logic programming
Nonmonotonic Inductive Logic Programming

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Abductive logic programs with penalization: semantics, complexity and implementation

Theory and Practice of Logic Programming
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.