Cs-Lo
A type reduction theory for systems with replicated components
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
A Web Interface for Matita
An Improved Proof-Theoretic Compilation of Logic Programs
Applying G"odels Dialectica Interpretation to Obtain a Constructive Proof of Higmans Lemma
Arithmetic Self-Similarity of Infinite Sequences
ASP modulo CSP: The clingcon system
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Bounded Arithmetic in Free Logic
Certification extends Termination Techniques
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Computing Strong and Weak Permissions in Defeasible Logic
Contracts for Interacting Two-Party Systems
Decidability of All Minimal Models (Revised Version - 2012)
Description Logic Knowledge and Action Bases
First-Order Stable Model Semantics and First-Order Loop Formulas
Formalization and Verification of Hierarchical Use of Interaction Overview Diagrams Using Timing Diagrams
Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality
Graph Subsumption in Abstract State Space Exploration
Grounding FO and FO(ID) with Bounds
