Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. Front Matter....Pages I-XVII Front Matter....Pages 1-1 Free Variables and Theories: Revisiting Rigid E-unification....Pages 3-13 Front Matter....Pages 15-15 Decidable Description Logics of Context with Rigid Roles....Pages 17-32 Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics....Pages 33-48 Front Matter....Pages 49-65 NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment....Pages 67-67 First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation....Pages 69-84 An Expressive Model for Instance Decomposition Based Parallel SAT Solvers....Pages 85-100 Front Matter....Pages 101-116 Weakly Equivalent Arrays....Pages 117-117 A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings....Pages 119-134 Adapting Real Quantifier Elimination Methods for Conflict Set Computation....Pages 135-150 Front Matter....Pages 151-166 A New Acceleration-Based Combination Framework for Array Properties....Pages 167-167 Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata....Pages 169-185 Front Matter....Pages 186-202 A Completion Method to Decide Reachability in Rewrite Systems....Pages 203-203 Axiomatic Constraint Systems for Proof Search Modulo Theories....Pages 205-219 Front Matter....Pages 220-236 Formalizing Soundness and Completeness of Unravelings....Pages 237-237 Proofs and Reconstructions....Pages 239-255 Front Matter....Pages 256-271 A Rewriting Approach to the Combination of Data Structures with Bridging Theories....Pages 273-273 Unification and Matching in Hierarchical Combinations of Syntactic Theories....Pages 275-290 Combining Forward and Backward Propagation....Pages 291-306 Front Matter....Pages 307-322 Random Forests for Premise Selection....Pages 323-323 Front Matter....Pages 325-340 Lemmatization for Stronger Reasoning in Large Theories....Pages 323-323 Back Matter....Pages 341-356 ....Pages 357-357