Cs-Lo
Power of Randomization in Automata on Infinite Strings
Multiple verification in computational modeling of bone pathologies
Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
(Re)configuration based on model generation
Common Knowledge in Email Exchanges
Dependence logic with a majority quantifier
Lifted Unit Propagation for Effective Grounding
Kripke Semantics for Martin-L"ofs Extensional Type Theory
Distributed System Contract Monitoring
Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems
Deciding first order logic properties of matroids
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
Finding Similar/Diverse Solutions in Answer Set Programming
Axiomatizing GSOS with Predicates
Transfer of semantics from argumentation frameworks to logic programming A preliminary report
Small witnesses, accepting lassos and winning strategies in omega-automata and games
Expressiveness of Communication in Answer Set Programming
Reduction in X does not agree with Intersection and Union Types (Extended abstract)
Warranted Derivations of Preferred Answer
Interaction and observation, categorically
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Every Formula-Based Logic Program Has a Least Infinite-Valued Model
