Cs-Lo
Problems parameterized by treewidth tractable in single exponential time: a logical approach
Boolean Equi-propagation for Optimized SAT Encoding
On Reachability for Hybrid Automata over Bounded Time
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
A new face of the branching recurrence of computability logic
Sound and Complete Query Answering in Intensional P2P Data Integration
Intensionality and Two-steps Interpretations
Abstract Processes of Place/Transition Systems
A New Representation Theorem for Many-valued Modal Logics
Causality and the Semantics of Provenance
Generating and Searching Families of FFT Algorithms
Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics
On the CNF encoding of cardinality constraints and beyond
Complexity Classifications for Propositional Abduction in Posts Framework
Automatic Music Composition using Answer Set Programming
Typed Operational Semantics for Dependent Record Types
Separating Bounded Arithmetics by Herbrand Consistency
Logical Step-Indexed Logical Relations
Lets Make a Difference!
A Foundational View on Integration Problems
Functional Interpretations of Intuitionistic Linear Logic
Symbolic and Asynchronous Semantics via Normalized Coalgebras
