Using abduction for induction of normal logic programs

Oliver Ray, Peter Flach, A Kakas, L. Magnani

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

This paper proposes the approach of eXtended Hybrid Abductive Inductive Learning (XHAIL) for generalising positive and negative examples with respect to normal logic programs. A proof procedure is described that uses abduction to realise the abductive, deductive, and inductive phases which comprise this approach.
Original languageEnglish
Title of host publicationECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
Publication statusPublished - 2006

Bibliographical note

Other page information: 28-31
Conference Proceedings/Title of Journal: ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling
Other identifier: 2000633

Cite this

Ray, O., Flach, P., Kakas, A., & Magnani, L. (2006). Using abduction for induction of normal logic programs. In ECAI'06 Workshop on Abduction and Induction in Artificial Intelligence and Scientific Modelling http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000633