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 networks; first-order logic
Mathematics Subject Classification ID
68T05: Learning and adaptive systems in artificial intelligence
03B10: Classical first-order logic
Cites Work