Generalized subsumption and its applications to induction and redundancy

DOI10.1016/0004-3702(88)90001-XzbMATH Open0656.68090MaRDI QIDQ1110345FDOQ1110345

Authors: Wray Buntine 

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 861626
• scientific article; zbMATH DE number 980419
• Generalization by absorption of definite clauses
• Generalization of clauses relative to a theory
• On Generalization and Subsumption for Ordered Clauses

zbMATH Keywords

inductiongeneralizationlearning systemsdefinite clausesgeneralized subsumption

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• GENEX: A tool for testing in ILP
• The learnability of description logics with equality constraints
• Title not available (Why is that?)
• Generating rules with predicates, terms and variables from the pruned neural networks
• Inductive logic programming
• Inductive logic programming in databases: from Datalog to \(\mathcal {DL} + \text{LOG}^{\neg \vee}\)
• Foundations of Onto-Relational Learning
• On deciding subsumption problems
• Inductive logic programming beyond logical implication
• Title not available (Why is that?)
• ESBL: An integrated method for learning from partial information

This page was built for publication: Generalized subsumption and its applications to induction and redundancy

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