Cs-Lo
Generic Trace Logics
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
On equations over sets of integers
Tractable Set Constraints
Numerically Representing A Stochastic Process Algebra
Complexity of two-variable Dependence Logic and IF-Logic
On the Implementation of the Probabilistic Logic Programming Language ProbLog
ICD 10 Based Medical Expert System Using Fuzzy Temporal Logic
A Categorical Outlook on Cellular Automata
A Process Calculus for Molecular Interaction Maps
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
Recursive Definitions of Monadic Functions
NP-Logic Systems and Model-Equivalence Reductions
Unification modulo a partial theory of exponentiation
First-order Logic: Modality and Intensionality
Temporal Probabilistic Logic Programs: State and Revision
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Extending B"uchi Automata with Constraints on Data Values
Discounting in Games across Time Scales
The duality of computation under focus
Functional Answer Set Programming
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
