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

DOI10.1016/S0362-546X(97)00346-5zbMath0887.68089MaRDI QIDQ4375956

Carlos A. Mareco, A. Paccanaro

Publication date: 8 February 1998

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

zbMATH Keywords

neural networksfirst-order logic

Mathematics Subject Classification ID

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

Cites Work

• The Specialization of Programs by Theorem Proving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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