Cs-Lo
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
Linearization of CIF Through SOS
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
Some Problems in Automata Theory Which Depend on the Models of Set Theory
Proof System for Plan Verification under 0-Approximation Semantics
Applying Algebraic Specifications on Digital Right Management Systems
RedAlert: Determinacy Inference for Prolog
Abstract Diagnosis for Timed Concurrent Constraint programs
Drawing Sound Conclusions from Unsound Premises
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
AIG Rewriting Using 5-Input Cuts
A type checking algorithm for qualified session types
Regular Expression Matching and Operational Semantics
Debugging of Web Applications with Web-TLR
