Accepted papers

  • Philippe Balbiani and Szabolcs Mikulas. Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
  • Jasmin Christian Blanchette and Andrei Popescu. Mechanizing the Metatheory of Sledgehammer
  • Simon Cruanes and Guillaume Burel. Detection of First Order Axiomatic Theories
  • Stefan Borgwardt, Marcel Lippmann and Veronika Thost. Temporal Query Answering in the Description Logic DL-Lite
  • Franz Baader, Oliver Fernandez Gil and Barbara Morawska. Hybrid Unification in the Description Logic EL
  • Ralf Karrenberg, Marek Kosta and Thomas Sturm. Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
  • Francesco Alberti, Silvio Ghilardi and Natasha Sharygina. Definability of Accelerated Relations in a Theory of Arrays and its Applications
  • Cynthia Kop and Naoki Nishida. Term Rewriting with Logical Constraints
  • Matthias Horbach and Viorica Sofronie-Stokkermans. Obtaining Finite Local Theory Axiomatizations via Saturation
  • Clara Bertolissi and Silvio Ranise. Verification of Composed Array-based Systems with Applications to Security-Aware Workflows
  • Franz Baader and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions
  • Abdelkader Kersani and Nicolas Peltier. Combining Superposition and Induction: A Practical Realization
  • Carlos Areces, Raul Fervari and Guillaume Hoffmann. Tableaux for Relation-Changing Modal Logics
  • Chris Bouchard, Kimberly Gero, Christopher Lynch and Paliath Narendran. On Forward Closure and the Finite Variant Property
  • Rafael Peñaloza and Tingting Zou. Roughening the EL Envelope
  • Christoph Wernhard. Abduction in Logic Programming as Second-Order Quantifier Elimination
  • Fabio Papacchini and Renate A. Schmidt. Computing Minimal Models Modulo Subset-Simulation for Propositional Modal Logics
  • Patrick Koopmann and Renate A. Schmidt. Uniform Interpolation of ALC-Ontologies Using Fixpoints
  • Konstantin Korovin. Sorts for first-order satisfiability
  • Takahito Aoto. Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering