Brave Induction

DOI10.1007/978-3-540-85928-4_21zbMath1156.68549OpenAlexW2913669357MaRDI QIDQ3543278

Katsumi Inoue, Chiaki Sakama

Publication date: 2 December 2008

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85928-4_21

Mathematics Subject Classification ID

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

Related Items (2)

Brave induction: a logical framework for learning from incomplete information ⋮ Inductive Negotiation in Answer Set Programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relationship between circumscription and negation as failure
• Linear resolution for consequence finding
• Foundations of inductive logic programming
• Logical settings for concept-learning
• Abduction from logic programs: Semantics and complexity
• Answer set programming and plan generation
• On the computational cost of disjunctive logic programming: Propositional case
• A fixpoint characterization of abductive logic programs
• Nonmonotonic Logic II
• Induction from answer sets in nonmonotonic logic programs
• Inductive Logic Programming
• Induction as consequence finding
• Abduction and induction. Essays on their relation and integration

This page was built for publication: Brave Induction