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)

Full work available at URL https://doi.org/10.1007/978-3-031-17715-6_28

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)

• Logic-based neural networks
• A unified framework for connectionist systems
• Towards a unifying logical framework for neural networks
• Łukasiewicz logic and artificial 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)