Frontiers of Combining Systems

12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

  • Andreas Herzig
  • Andrei Popescu
Conference proceedings FroCoS 2019

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 11715)

Table of contents

  1. Front Matter
    Pages i-xx
  2. Automated Theorem Proving and Model Building

    1. Front Matter
      Pages 1-1
    2. Giles Reger, Martin Riener, Martin Suda
      Pages 3-21
    3. Andreas Teucke, Marco Voigt, Christoph Weidenbach
      Pages 22-39
    4. Michael Rawson, Giles Reger
      Pages 40-56
  3. Combinations of Systems

    1. Front Matter
      Pages 75-75
    2. Mnacho Echenim, Nicolas Peltier, Yanis Sellami
      Pages 77-93
  4. Constraint Solving

    1. Front Matter
      Pages 129-129
    2. Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Müller
      Pages 131-148
    3. Hans Kleine Büning, Piotr Wojciechowski, R. Chandrasekaran, K. Subramani
      Pages 149-164
  5. Description Logics

    1. Front Matter
      Pages 165-165
    2. Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
      Pages 167-184
    3. Warren Del-Pinto, Renate A. Schmidt
      Pages 185-202
  6. Interactive Theorem Proving

    1. Front Matter
      Pages 221-221
    2. Ralph Bottesch, Max W. Haslbeck, René Thiemann
      Pages 223-239 Open Access
    3. Manuel Eberl
      Pages 240-256
  7. Modal and Epistemic Logics

    1. Front Matter
      Pages 257-257
    2. Roman Kuznets, Laurent Prosperi, Ulrich Schmid, Krisztina Fruzsa
      Pages 259-276
    3. Andrzej Indrzejczak
      Pages 277-294
  8. Rewriting and Unification

    1. Front Matter
      Pages 295-295
    2. Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar
      Pages 297-312
    3. Dohan Kim, Christopher Lynch, Paliath Narendran
      Pages 313-329
  9. Back Matter
    Pages 365-365

About these proceedings


This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.  

The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.


artificial intelligence automated reasoning computability and decidability decision procedure description logic first order logic formal logic model checking problem solving programming languages satisfiability semantic web semantics software engineering software evaluation temporal logic theorem provers theorem proving verification

Editors and affiliations

  1. 1.CNRS, University of ToulouseToulouseFrance
  2. 2.Middlesex University LondonLondonUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences