Mode-Directed Inverse Entailment for Full Clausal Theories

DOI10.1007/978-3-540-78469-2_23zbMath1136.68502OpenAlexW1533347577MaRDI QIDQ5452095

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

Mathematics Subject Classification ID

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

Related Items

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

Uses Software

• SOLAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear resolution for consequence finding
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Hypothesis finding based on upward refinement of residue hypotheses.
• Automated Reasoning with Analytic Tableaux and Related Methods
• Logic Programming
• Induction as consequence finding
• Inductive Logic Programming