First order logic in neuro-symbolic integration

zbMATH Open1250.68245MaRDI QIDQ4648372FDOQ4648372

Authors: Saratha Sathasivam 

Publication date: 9 November 2012

Full work available at URL: http://www.pphmj.com/abstract/6465.htm

Recommendations

• Upgrading logic programming in Hopfield network
• Higher order logic programming in radial basis function neural network
• scientific article; zbMATH DE number 1875386
• First-Order Logical Neural Networks
• Logic learning in Hopfield networks

zbMATH Keywords

propositional logiclogic programmingHopfield networkfirst order logicPinkasWan Abdullah

Mathematics Subject Classification ID

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

Cited In (6)

• Higher order logic programming in radial basis function neural network
• Upgrading logic programming in Hopfield network
• Title not available (Why is that?)
• Performance comparison between pseudo inverse rule and sign constraint method
• Normal form representation in doing logic programming in Hopfield network
• Logic learning in Hopfield networks

This page was built for publication: First order logic in neuro-symbolic integration

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