Towards a unifying logical framework for neural networks

DOI10.1007/978-3-031-17715-6_28MaRDI QIDQ6164487zbMATH OpenFDO

Authors

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

neural networksformal specificationsmatching logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Toward a logic for neural networks
• scientific article; zbMATH DE number 1330554
• scientific article; zbMATH DE number 2009985
• Logic-based neural networks
• scientific article; zbMATH DE number 1728657
• scientific article; zbMATH DE number 1440097
• On a certain learning algorithm for logical neural networks
• scientific article; zbMATH DE number 1875386
• scientific article; zbMATH DE number 1077810

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
• Finite-trace linear temporal logic: coinductive completeness
• Formal specification for deep neural networks
• Formal verification of piece-wise linear feed-forward neural networks
• Matching logic explained
• Matching µ-logic: Foundation of K framework
• Probabilistic Verification of Neural Networks Against Group Fairness
• Safety verification of deep neural networks
• Towards a unifying logical framework for neural networks

Cited in

(4)

• Łukasiewicz logic and artificial neural networks
• Logic-based neural networks
• A unified framework for connectionist systems
• Towards a unifying logical framework for neural networks

This page was built for publication: Towards a unifying logical framework for neural networks

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