Similar Items: Neural networks as fuzzy logic formulas
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- The Polynomial Counting Capabilities of Message Passing Neural Networks
- A Logic of Inability
- Logics for Context-free Hyperproperties