Similar Items: Extending QuAK with Nested Quantitative Automata
- Quantitative Linear Logic
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- Knowledge Compilation for Quantification in Alternating Automata
- Monads and Distributive Laws in Substructural Contexts (Extended Version)
- Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
- Set Automata and Limits of Decidability of Two-Variable Logic on Data Words