Brave induction: a logical framework for learning from incomplete information
type: Item
instance of: scholarly article
title: Brave induction: a logical framework for learning from incomplete information
zbMATH Open document ID: 1470.68168
author: Chiaki Sakama
author: Katsumi Inoue
published in: Machine Learning
publication date: 2010-10-07T00:00:00Z
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5796817
zbMATH Keywords: brave induction
zbMATH Keywords: inductive logic programming
zbMATH Keywords: nonmonotonic logic programming
MaRDI profile type: Publication
full work available at URL: s10994-009-5113-y
OpenAlex ID: W2149253903
cites work: Extracting Requirements from Scenarios with ILP
cites work: Saturation, nonmonotonic reasoning and the closed-world assumption
cites work: Logical settings for concept-learning
cites work: Clausal discovery
cites work: Q4877447
cites work: On the computational cost of disjunctive logic programming: Propositional case
cites work: Abduction from logic programs: Semantics and complexity
cites work: Q4530868
cites work: Q3983043
cites work: On the relationship between circumscription and negation as failure
cites work: Q3972029
cites work: Linear resolution for consequence finding
cites work: Q4707770
cites work: Induction as consequence finding
cites work: Inductive Logic Programming
cites work: A fixpoint characterization of abductive logic programs
cites work: Q4530875
cites work: Answer set programming and plan generation
cites work: Logic programs with monotone abstract constraint atoms
cites work: Circumscription - a form of non-monotonic reasoning
cites work: Nonmonotonic Logic II
cites work: Q3939270
cites work: Inductive Logic Programming: Theory and methods
cites work: Q4955344
cites work: Q4796703
cites work: Q5624681
cites work: Nonmonotonic abductive inductive learning
cites work: Q4537975
cites work: Q4800160
cites work: Inductive Negotiation in Answer Set Programming
cites work: An alternative approach to the semantics of disjunctive logic programs and deductive databases
cites work: Brave Induction
cites work: Application of abductive ILP to learning metabolic network inhibition from temporal data
DOI: 10.1007/S10994-009-5113-Y
description: scientific article; zbMATH DE number 5796817