Multistrategy theory revision: Induction and abduction in INTHELEX

DOI10.1023/A:1007638124237zbMath0960.68603MaRDI QIDQ1572791

Giovanni Semeraro, Floriana Esposito, Nicola Fanizzi, Stefano Ferilli

Publication date: 6 August 2000

Published in: Machine Learning (Search for Journal in Brave)

zbMATH Keywords

inductionabductionincremental learningtheory revisionobject identity

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Related Items (5)

On the use of stochastic local search techniques to revise first-order logic theories from examples ⋮ Nonmonotonic abductive inductive learning ⋮ Online learning of event definitions ⋮ Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples ⋮ Incremental learning of event definitions with inductive logic programming

This page was built for publication: Multistrategy theory revision: Induction and abduction in INTHELEX