On the integration of connectionist and logic-based systems

zbMATH Open1276.68044MaRDI QIDQ2863886FDOQ2863886

Authors: Anthony Karel Seda 

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004038?np=y

Recommendations

• Logic programs and connectionist networks
• Continuity of semantic operators in logic programming and their approximation by artificial neural networks
• Connectionist modal logic: representing modalities in neural networks
• Mathematical aspects of logic programming semantics.
• Properties of general semantic operators determined by logic-based systems

zbMATH Keywords

uniform convergenceapproximationneural networkspointwise convergencemetricslogic programs

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (8)

• Higher order logic programming in radial basis function neural network
• Logic programs, iterated function systems, and recurrent radial basis function networks
• Learning from interpretation transition using differentiable logic programming semantics
• Connectionist modal logic: representing modalities in neural networks
• Properties of general semantic operators determined by logic-based systems
• Logic programs and connectionist networks
• Continuity of semantic operators in logic programming and their approximation by artificial neural networks
• Toward a logic for neural networks

This page was built for publication: On the integration of connectionist and logic-based systems

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