Integrating induction and abduction in logic programming

DOI10.1016/S0020-0255(98)10092-0zbMath0933.68030DBLPjournals/isci/LammaMMR99WikidataQ58064015 ScholiaQ58064015MaRDI QIDQ1818759

Fabrizio Riguzzi, Michela Milano, Evelina Lamma, Paola Mello

Publication date: 4 January 2000

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

learning abductive programs

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• SICStus
• FOIL

Cites Work

• Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem
• A unifying view for logic programming with non-monotonic reasoning
• On the semantics of abstract argumentation
• Short note preferred extensions are partial stable models
• Abductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

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