Integrating induction and abduction in logic programming

DOI10.1016/S0020-0255(98)10092-0MaRDI QIDQ1818759zbMATH OpenDBLPWikidataFDO

Authors Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi

Publication date 4 January 2000

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0255(98)10092-0

zbMATH Keywords

learning abductive programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1568683
• Abduction and induction. Essays on their relation and integration
• A Hybrid Abductive Inductive Proof Procedure
• scientific article; zbMATH DE number 1568687

Cites work

• A unifying view for logic programming with non-monotonic reasoning
• Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem
• Abductive Logic Programming
• scientific article; zbMATH DE number 3954298 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 784360 (Why is no real title available?)
• On the semantics of abstract argumentation
• Short note preferred extensions are partial stable models

Cited in

(11)

• Multistrategy theory revision: Induction and abduction in INTHELEX
• A functional perspective on machine learning via programmable induction and abduction
• Logis: A system for statistical abductive inference using empirical data
• Brave induction: a logical framework for learning from incomplete information
• scientific article; zbMATH DE number 2086328 (Why is no real title available?)
• A Hybrid Abductive Inductive Proof Procedure
• scientific article; zbMATH DE number 1568683 (Why is no real title available?)
• scientific article; zbMATH DE number 1568687 (Why is no real title available?)
• Inductive Logic Programming
• scientific article; zbMATH DE number 970613 (Why is no real title available?)
• scientific article; zbMATH DE number 2243355 (Why is no real title available?)

Describes a project that uses

Uses Software

• FOIL
• SICStus

This page was built for publication: Integrating induction and abduction in logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1818759)