Mode-Directed Inverse Entailment for Full Clausal Theories

DOI10.1007/978-3-540-78469-2_23MaRDI QIDQ5452095zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 1759249 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Hypothesis finding based on upward refinement of residue hypotheses.
• Induction as consequence finding
• Inductive Logic Programming
• Linear resolution for consequence finding
• Logic Programming
• SOLAR: a consequence finding system for advanced reasoning

Cited in

(6)

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

Describes a project that uses

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)