Skip to main content
SpringerLink
Log in
Book cover

Frontiers of Combining Systems

8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Cesare Tinelli

    1. University of Iowa, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Viorica Sofronie-Stokkermans

    1. Max-Planck-Institut für Informatik, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6989)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: FroCoS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

      • Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
      Pages 1-11

    2. Automatic Proof and Disproof in Isabelle/HOL

      • Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow
      Pages 12-27

    3. Size-Change Termination and Satisfiability for Linear-Time Temporal Logics

      • Martin Lange
      Pages 28-39

  3. Contributed Papers

    1. Combining Theories: The Ackerman and Guarded Fragments

      • Carlos Areces, Pascal Fontaine
      Pages 40-54

    2. On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

      • Franz Baader, Rafael Peñaloza
      Pages 55-70

    3. The Complexity of Reversal-Bounded Model-Checking

      • Marcello M. Bersani, Stéphane Demri
      Pages 71-86

    4. Expressing Polymorphic Types in a Many-Sorted Language

      • François Bobot, Andrei Paskevich
      Pages 87-102

    5. A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints

      • Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
      Pages 103-118

    6. Superposition Modulo Non-linear Arithmetic

      • Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
      Pages 119-134

    7. The Modal Logic of Equilibrium Models

      • Luis Fariñas del Cerro, Andreas Herzig
      Pages 135-146

    8. Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

      • Carsten Fuhs, Cynthia Kop
      Pages 147-162

    9. Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT

      • Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi
      Pages 163-178

    10. Controlled Term Rewriting

      • Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
      Pages 179-194

    11. Sharing Is Caring: Combination of Theories

      • Dejan Jovanović, Clark Barrett
      Pages 195-210

    12. Modular Termination and Combinability for Superposition Modulo Counter Arithmetic

      • Christophe Ringeissen, Valerio Senni
      Pages 211-226

    13. Congruence Closure of Compressed Terms in Polynomial Time

      • Manfred Schmidt-Schauss, David Sabel, Altug Anis
      Pages 227-242

    14. Generalized and Formalized Uncurrying

      • Christian Sternagel, René Thiemann
      Pages 243-258

    15. A Semantic Account for Modularity in Multi-language Modelling of Search Problems

      • Shahab Tasharrofi, Eugenia Ternovska
      Pages 259-274

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Frontiers of Combining Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 submissions. The event builds a common forum for research activities in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use.

Editors and Affiliations

  • University of Iowa, USA

    Cesare Tinelli

  • Max-Planck-Institut für Informatik, Saarbrücken, Germany

    Viorica Sofronie-Stokkermans

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation