Skip to main content
SpringerLink
Log in
Book cover

Frontiers of Combining Systems

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Andreas Herzig

    1. CNRS, University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Popescu

    1. Middlesex University London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FroCoS 2019.

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 EPUB and 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 (20 papers)

  1. Front Matter

    Pages i-xx
    Download chapter PDF

  2. Automated Theorem Proving and Model Building

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Symmetry Avoidance in MACE-Style Finite Model Finding

      • Giles Reger, Martin Riener, Martin Suda
      Pages 3-21

    3. On the Expressivity and Applicability of Model Representation Formalisms

      • Andreas Teucke, Marco Voigt, Christoph Weidenbach
      Pages 22-39

    4. A Neurally-Guided, Parallel Theorem Prover

      • Michael Rawson, Giles Reger
      Pages 40-56

    5. A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving

      • Alireza Ensan, Eugenia Ternovska
      Pages 57-73

  3. Combinations of Systems

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Ilinva: Using Abduction to Generate Loop Invariants

      • Mnacho Echenim, Nicolas Peltier, Yanis Sellami
      Pages 77-93

    3. An Algebra of Modular Systems: Static and Dynamic Perspectives

      • Eugenia Ternovska
      Pages 94-111

    4. Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations

      • David Fuenmayor, Christoph Benzmüller
      Pages 112-128

  4. Constraint Solving

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. A CDCL-Style Calculus for Solving Non-linear Constraints

      • Franz Brauße, Konstantin Korovin, Margarita Korovina, Norbert Müller
      Pages 131-148

    3. Restricted Cutting Plane Proofs in Horn Constraint Systems

      • Hans Kleine Büning, Piotr Wojciechowski, R. Chandrasekaran, K. Subramani
      Pages 149-164

  5. Description Logics

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. The Complexity of the Consistency Problem in the Probabilistic Description Logic \(\mathcal {ALC} ^\mathsf {ME}\)

      • Franz Baader, Andreas Ecke, Gabriele Kern-Isberner, Marco Wilhelm
      Pages 167-184

    3. Extending Forgetting-Based Abduction Using Nominals

      • Warren Del-Pinto, Renate A. Schmidt
      Pages 185-202

    4. On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

      • Franz Baader, Filippo De Bortoli
      Pages 203-219

  6. Interactive Theorem Proving

    1. Front Matter

      Pages 221-221
      Download chapter PDF

    2. Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL

      • Ralph Bottesch, Max W. Haslbeck, René Thiemann
      Pages 223-239Open Access

    3. Verifying Randomised Social Choice

      • Manuel Eberl
      Pages 240-256
Back to top

Other volumes

  1. Frontiers of Combining Systems

Keywords

About this book

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.

Editors and Affiliations

  • CNRS, University of Toulouse, Toulouse, France

    Andreas Herzig

  • Middlesex University London, London, UK

    Andrei Popescu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation