Using the tree representation of terms to recognize matching with neural networks

DOI10.1016/S0362-546X(97)00346-5MaRDI QIDQ4375956zbMATH OpenFDO

Authors Carlos A. Mareco, A. Paccanaro

Publication date 8 February 1998

Published in Nonlinear Analysis: Theory, Methods & Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0362-546X(97)00346-5

zbMATH Keywords

first-order logicneural networks

Mathematics Subject Classification ID

Classical first-order logic (03B10) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Development of neural networks for accelerating automated theorem proving: Results for the group theory
• Unification neural networks: unification by error-correction learning
• scientific article; zbMATH DE number 1875386
• Tree neural networks in HOL4
• scientific article; zbMATH DE number 4047099

Cites work

• scientific article; zbMATH DE number 4016226 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 1748489 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• The Specialization of Programs by Theorem Proving

Cited in

(4)

• Development of neural networks for accelerating automated theorem proving: Results for the group theory
• Text matching and categorization: mining implicit semantic knowledge from tree-shape structures
• Unification neural networks: unification by error-correction learning
• Approximate match of rules using backpropagation neural networks

This page was built for publication: Using the tree representation of terms to recognize matching with neural networks

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