Towards a unifying logical framework for neural networks

DOI10.1007/978-3-031-17715-6_28MaRDI QIDQ6164487FDOQ6164487

Authors:

Publication date: 28 July 2023

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

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

zbMATH Keywords

neural networksformal specificationsmatching logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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
• Safety verification of deep neural networks
• Formal verification of piece-wise linear feed-forward neural networks
• Formal specification for deep neural networks
• Towards a unifying logical framework for neural networks
• Finite-trace linear temporal logic: coinductive completeness
• Matching logic explained
• Probabilistic Verification of Neural Networks Against Group Fairness
• Matching µ-logic: Foundation of K framework

Cited In (4)

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