Flattening and implication

DOI10.1007/3-540-46769-6_13MaRDI QIDQ4955308zbMATH OpenFDO

Authors Kouichi Hirata

Publication date 25 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46769-6_13

zbMATH Keywords

flattening

Mathematics Subject Classification ID

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

Recommendations

• Flattening and saturation: Two representation changes for generalization
• On flattening elimination rules
• Flat matching
• Incorporating equality into logic programming via surface deduction
• scientific article; zbMATH DE number 1617332

Cited in

(3)

• Flattening and saturation: Two representation changes for generalization
• Prediction-hardness of acyclic conjunctive queries
• Nonmonotonic abductive inductive learning

This page was built for publication: Flattening and implication

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