Cs-Lo
Dynamics of Knowledge in DeLP through Argument Theory Change
PTaCL: A Language for Attribute-Based Access Control in Open Systems
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems
The Cohomology of Non-Locality and Contextuality
Topological Logics with Connectedness over Euclidean Spaces
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Using non-convex approximations for efficient analysis of timed automata
Can Nondeterminism Help Complementation?
A Logic for Choreographies
Implementing an Automatic Differentiator in ACL2
Generalization Strategies for the Verification of Infinite State Systems
Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases
Toward the Verification of a Simple Hypervisor
Better abstractions for timed automata
Paraconsistency and Topological Semantics
Conway games, algebraically and coalgebraically
Normative design using inductive learning
The Nakamura numbers for computable simple games
Extended Initiality for Typed Abstract Syntax
Logic + control: On program construction and verification
How Can I Do That with ACL2? Recent Enhancements to ACL2
The Complexity of Weighted Counting for Acyclic Conjunctive Queries
