Cs-Lo
A Fragment of Dependence Logic Capturing Polynomial Time
Reasoning about Explanations for Negative Query Answers in DL-Lite
Decidability and Undecidability Results for Propositional Schemata
Quantifier Elimination by Dependency Sequents
Wreath Products of Forest Algebras, with Applications to Tree Logics
Axiomatizing first order consequences in dependence logic
Variable Forgetting in Reasoning about Knowledge
A Categorical Model for the Lambda Calculus with Constructors
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Lattices of Logical Fragments over Words
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Model-Checking the Higher-Dimensional Modal mu-Calculus
Interaction Graphs: Multiplicatives
A normative account of defeasible and probabilistic inference
Learning Markov Decision Processes for Model Checking
Generalized Complexity of ALC Subsumption
Lower Bounds for Existential Pebble Games and k-Consistency Tests
Invariant stream generators using automatic abstract transformers based on a decidable logic
An extension of data automata that captures XPath
A type system for PSPACE derived from light linear logic
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes
Using Tableau to Decide Description Logics with Full Role Negation and Identity
