Similar Items: Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
- täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
- Neural networks as fuzzy logic formulas
- Set-like operations on propositional logic programs
- Separation Logic for Verifying Physical Collisions of CNC Programs
- Preservation Theorems in Semiring Semantics