Completing causal networks by meta-level abduction
From MaRDI portal
Publication:374193
DOI10.1007/s10994-013-5341-zzbMath1273.68375OpenAlexW2013181156MaRDI QIDQ374193
Katsumi Inoue, Hidetomo Nabeshima, Andrei Doncescu
Publication date: 22 October 2013
Published in: Machine Learning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10994-013-5341-z
inhibitioncausal networkmeta-reasoningabductioninductive logic programmingdefault reasoningsystems biologypredicate inventiontheory completion
Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Systems biology, networks (92C42)
Related Items (6)
Inductive logic programming at 30 ⋮ Identification of biological transition systems using meta-interpreted logic programs ⋮ Learning higher-order logic programs ⋮ Inductive general game playing ⋮ Learning from interpretation transition ⋮ Learning explanations for biological feedback with delays using an event calculus
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ILP turns 20. Biography and future challenges
- A logic-based calculus of events
- Hypothesizing about signaling networks
- Structured machine learning: the next ten years
- A logical framework for default reasoning
- On generating all maximal independent sets
- A logic for default reasoning
- Linear resolution for consequence finding
- Patterns of abduction
- Application of abductive ILP to learning metabolic network inhibition from temporal data
- INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
- Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction
- SOLAR: An automated deduction system for consequence finding
- Discovering Rules by Meta-level Abduction
- Induction on Failure: Learning Connected Horn Theories
- Completing Networks Using Observed Data
- An abductive event calculus planner
- Automated Reasoning with Analytic Tableaux and Related Methods
- Inductive Logic Programming
- Inductive Logic Programming
- Mode-Directed Inverse Entailment for Full Clausal Theories
- TopLog: ILP Using a Logic Program Declarative Bias
- Induction as consequence finding
- Inductive Logic Programming
- Counting and enumeration complexity with application to multicriteria scheduling
- Nonmonotonic reasoning by inhibition nets
- Abduction and induction. Essays on their relation and integration
This page was built for publication: Completing causal networks by meta-level abduction
