Cs-Lo

Artificial Intelligence 24 JAN, 2014

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

By Bernardo Cuenca Grau

Formal Languages and Automata 21 JAN, 2012

Rewrite Closure and CF Hedge Automata

By Florent Jacquemard (Inria Paris-Rocquencourt

Logic in Computer Science 29 JAN, 2014

Satisfiability and Model Checking of CTL* with Graded Path Modalities

By Benjamin Aminof

Logic 26 JAN, 2012

Sequence encoding without induction

By Emil Jev{r}abek

Logic in Computer Science 20 JAN, 2012

Standardization in resource lambda-calculus

By Maurizio Dominici (Universit`a di Torino)

Computational Complexity 6 JAN, 2012

Sublogarithmic uniform Boolean proof nets

By Clement Aubert (LIPN - UMR7030 CNRS - Universite Paris 13)

Logic in Computer Science 20 JAN, 2015

Taming Past LTL and Flat Counter Systems

By Stephane Demri

Artificial Intelligence 16 JAN, 2014

The DL-Lite Family and Relations

By Aless

Logic in Computer Science 26 JAN, 2012

The Geometry of Types (Long Version)

By Ugo Dal Lago

Artificial Intelligence 24 JAN, 2014

The Logical Difference for the Lightweight Description Logic EL

By Boris Konev

Computational Complexity 10 JAN, 2012

The mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

By Julian Gutierrez (University of Cambridge

Artificial Intelligence 21 JAN, 2014

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

By Mario Alviano

Logic in Computer Science 30 JAN, 2012

Relaxed Operational Semantics of Concurrent Programming Languages

By Gerard Boudol (INRIA Sophia Antipolis)

Logic in Computer Science 13 JAN, 2012

On distributed monitoring of asynchronous systems

By Volker Diekert