Theory completion using inverse entailment

DOI10.1007/3-540-44960-4_8MaRDI QIDQ4537969zbMATH OpenFDO

Authors Stephen Muggleton, Christopher Bryant

Publication date 25 June 2002

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

Full work available at URL http://usir.salford.ac.uk/id/eprint/1762/1/bryant_ilp2k.pdf

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• Inverse entailment in nonmonotonic logic programs
• Inductive Logic Programming: Theory and methods
• Inverse subsumption for complete explanatory induction
• scientific article; zbMATH DE number 54155
• Induction, abduction, and consequence-finding

Cited in

(22)

• Learning probabilistic logic models from probabilistic examples
• Learning explanations for biological feedback with delays using an event calculus
• Meta-interpretive learning: application to grammatical inference
• On the use of stochastic local search techniques to revise first-order logic theories from examples
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Inductive logic programming as abductive search
• Completing causal networks by meta-level abduction
• scientific article; zbMATH DE number 67794 (Why is no real title available?)
• ILP turns 20. Biography and future challenges
• Inverse subsumption for complete explanatory induction
• Using theory completion to learn a robot navigation control program
• scientific article; zbMATH DE number 2051905 (Why is no real title available?)
• Abductive reasoning on molecular interaction maps
• Logic Programming
• Inductive Logic Programming
• ILP :- Just Trie It
• Mode-Directed Inverse Entailment for Full Clausal Theories
• Completion Is an Instance of Abstract Canonical System Inference
• Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
• Incremental learning of event definitions with inductive logic programming
• Using abduction and induction for operational requirements elaboration
• Nonmonotonic abductive inductive learning

This page was built for publication: Theory completion using inverse entailment

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