A Hybrid Abductive Inductive Proof Procedure

DOI10.1093/jigpal/12.5.371zbMath1067.68133OpenAlexW2051783972MaRDI QIDQ4664020

Alessandra Russo, Oliver Ray, Krysia Broda

Publication date: 5 April 2005

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.5.371

zbMATH Keywords

inductive logic programmingmachine learningabductive logic programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (5)

Reconsideration of circumscriptive induction with pointwise circumscription ⋮ The complexity and generality of learning answer set programs ⋮ Inductive Learning of Answer Set Programs ⋮ Learning weak constraints in answer set programming ⋮ Deriving non-zeno behaviour models from goal models using ILP

This page was built for publication: A Hybrid Abductive Inductive Proof Procedure