Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings (Lecture Notes in Computer Science, 6989)

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. Front Matter....Pages - Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models....Pages 1-11 Automatic Proof and Disproof in Isabelle/HOL....Pages 12-27 Size-Change Termination and Satisfiability for Linear-Time Temporal Logics....Pages 28-39 Combining Theories: The Ackerman and Guarded Fragments....Pages 40-54 On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm....Pages 55-70 The Complexity of Reversal-Bounded Model-Checking....Pages 71-86 Expressing Polymorphic Types in a Many-Sorted Language....Pages 87-102 A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints....Pages 103-118 Superposition Modulo Non-linear Arithmetic....Pages 119-134 The Modal Logic of Equilibrium Models....Pages 135-146 Harnessing First Order Termination Provers Using Higher Order Dependency Pairs....Pages 147-162 Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT....Pages 163-178 Controlled Term Rewriting....Pages 179-194 Sharing Is Caring: Combination of Theories....Pages 195-210 Modular Termination and Combinability for Superposition Modulo Counter Arithmetic....Pages 211-226 Congruence Closure of Compressed Terms in Polynomial Time....Pages 227-242 Generalized and Formalized Uncurrying....Pages 243-258 A Semantic Account for Modularity in Multi-language Modelling of Search Problems....Pages 259-274 Back Matter....Pages - This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrucken, Germany, in October 2011.