Refining logic theories under OI-implication

DOI10.1007/3-540-39963-1_12MaRDI QIDQ2766910zbMATH OpenFDO

Authors Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro

Publication date 25 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-39963-1_12

Mathematics Subject Classification ID

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

Recommendations

• Completeness and properness of refinement operators in inductive logic programming
• scientific article; zbMATH DE number 1322797
• Minimal generalizations under OI-implication
• A Note on Refinement Operators for IE-Based ILP Systems

Cited in

(8)

• Refining numerical constants in first order logic theories
• A generalization model based on OI-implication for ideal theory refinement
• Minimal generalizations under OI-implication
• scientific article; zbMATH DE number 120341 (Why is no real title available?)
• Completeness and properness of refinement operators in inductive logic programming
• scientific article; zbMATH DE number 1322797 (Why is no real title available?)
• A refinement operator for theories
• A refinement operator for inducing threaded-variable clauses

This page was built for publication: Refining logic theories under OI-implication

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