Completing causal networks by meta-level abduction
type: Item
instance of: scholarly article
title: Completing causal networks by meta-level abduction
zbMATH Open document ID: 1273.68375
author: Katsumi Inoue
author: Andrei Doncescu
author: Hidetomo Nabeshima
published in: Machine Learning
publication date: 2013-10-22T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 92C42
zbMATH DE Number: 6217892
zbMATH Keywords: abduction
zbMATH Keywords: theory completion
zbMATH Keywords: meta-reasoning
zbMATH Keywords: causal network
zbMATH Keywords: inhibition
zbMATH Keywords: predicate invention
zbMATH Keywords: default reasoning
zbMATH Keywords: inductive logic programming
zbMATH Keywords: systems biology
describes a project that uses: GenePath
describes a project that uses: TopLog
describes a project that uses: SOLAR
MaRDI profile type: Publication
full work available at URL: s10994-013-5341-z
OpenAlex ID: W2013181156
cites work: Completing Networks Using Observed Data
cites work: Q4530881
cites work: Inductive logic programming as abductive search
cites work: Q4707768
cites work: Q4236380
cites work: Structured machine learning: the next ten years
cites work: Abduction and induction. Essays on their relation and integration
cites work: Q4391450
cites work: Linear resolution for consequence finding
cites work: Induction as consequence finding
cites work: Q4530882
cites work: Inductive Logic Programming
cites work: Discovering Rules by Meta-level Abduction
cites work: Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction
cites work: Q4708922
cites work: On generating all maximal independent sets
cites work: Induction on Failure: Learning Connected Horn Theories
cites work: A logic-based calculus of events
cites work: Q4530883
cites work: Nonmonotonic reasoning by inhibition nets
cites work: Q4530880
cites work: Q4413491
cites work: Q4537969
cites work: TopLog: ILP Using a Logic Program Declarative Bias
cites work: ILP turns 20. Biography and future challenges
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: SOLAR: An automated deduction system for consequence finding
cites work: Q3651576
cites work: A logical framework for default reasoning
cites work: Mode-Directed Inverse Entailment for Full Clausal Theories
cites work: A logic for default reasoning
cites work: Q4530884
cites work: Patterns of abduction
cites work: An abductive event calculus planner
cites work: Application of abductive ILP to learning metabolic network inhibition from temporal data
cites work: Counting and enumeration complexity with application to multicriteria scheduling
cites work: Hypothesizing about signaling networks
cites work: Q4530885
DOI: 10.1007/S10994-013-5341-Z
description: scientific article; zbMATH DE number 6217892