Mode-Directed Inverse Entailment for Full Clausal Theories

DOI10.1007/978-3-540-78469-2_23zbMATH Open1136.68502OpenAlexW1533347577MaRDI QIDQ5452095FDOQ5452095

Authors: Katsumi Inoue, Oliver Ray 

Publication date: 28 March 2008

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78469-2_23

Recommendations

• TopLog: ILP Using a Logic Program Declarative Bias
• scientific article; zbMATH DE number 1759254
• Inverse subsumption for complete explanatory induction
• scientific article; zbMATH DE number 1759249
• Logic Programming

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• Linear resolution for consequence finding
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• SOLAR: a consequence finding system for advanced reasoning
• Induction as consequence finding
• Inductive Logic Programming
• Hypothesis finding based on upward refinement of residue hypotheses.
• Title not available (Why is that?)
• Logic Programming

Cited In (6)

• Reconsideration of circumscriptive induction with pointwise circumscription
• \(\alpha\)ILP: thinking visual scenes as differentiable logic programs
• Inverse subsumption for complete explanatory induction
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Learning Declarative Bias
• Completing causal networks by meta-level abduction

Uses Software

• SOLAR

This page was built for publication: Mode-Directed Inverse Entailment for Full Clausal Theories

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