Induction on Failure: Learning Connected Horn Theories

DOI10.1007/978-3-642-04238-6_16zbMath1258.68031OpenAlexW1897158219MaRDI QIDQ3643116

Alessandra Russo, Tim Kimber, Krysia Broda

Publication date: 10 November 2009

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_16

zbMATH Keywords

inductive logic programminginverse entailmentabductio

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Related Items

Completing causal networks by meta-level abduction, Inductive Learning of Answer Set Programs, Learning Through Hypothesis Refinement Using Answer Set Programming, Learning weak constraints in answer set programming, Inverse subsumption for complete explanatory induction, Incremental learning of event definitions with inductive logic programming