On Generalization and Subsumption for Ordered Clauses

DOI10.1007/11780496_24MaRDI QIDQ3617035zbMATH OpenOpenAlexFDO

Authors Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao

Publication date 26 March 2009

Published in New Frontiers in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780496_24

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1149427
• Generalization of clauses relative to a theory
• Logic for Programming, Artificial Intelligence, and Reasoning
• scientific article; zbMATH DE number 2169302
• The subsumption lattice and query learning

Cites work

• Conjunctive query containment revisited
• Database Support for Data Mining Applications
• Foundations of inductive logic programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1015105 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Removing redundancy from a clause

Cited in

(7)

• Generalized subsumption and its applications to induction and redundancy
• The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
• The subsumption lattice and query learning
• scientific article; zbMATH DE number 1149427 (Why is no real title available?)
• Algorithmic Learning Theory
• On condensation of a clause.
• Generalization of clauses relative to a theory

Describes a project that uses

Uses Software

• SeqLog

This page was built for publication: On Generalization and Subsumption for Ordered Clauses

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