scientific article; zbMATH DE number 67794

MaRDI QIDQ4013732zbMATH OpenFDO

Authors Céline Rouveirol

Publication date 27 September 1992

zbMATH Keywords

induction of logic programsinverse of resolutioninversion of logical entailmentsemantic model of induction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Foundations of inductive logic programming
• Inductive logic programming
• scientific article; zbMATH DE number 1759249
• Induction on Failure: Learning Connected Horn Theories
• Inductive Logic Programming: Theory and methods

Cited in

(8)

• Top-down induction of first-order logical decision trees
• scientific article; zbMATH DE number 6379368 (Why is no real title available?)
• On First-Order Model-Based Reasoning
• scientific article; zbMATH DE number 4195212 (Why is no real title available?)
• scientific article; zbMATH DE number 4166926 (Why is no real title available?)
• Induction on Failure: Learning Connected Horn Theories
• Automatic models of first order theories
• Taxonomic syntax for first order inference

This page was built for publication:

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