Skip to main content
Springer Nature Link
Log in

Frontiers of Combining Systems

13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Boris Konev

    1. University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giles Reger

    1. The University of Manchester, Manchester, 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 12941)

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

Included in the following conference series:

Conference proceedings info: FroCoS 2021.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 64.99
Price excludes VAT (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.99
Price excludes VAT (Canada)
  • 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

About this book

This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.

Similar content being viewed by others

Keywords

Table of contents (16 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Calculi and Unification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

      • Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
      Pages 3-24

    3. Non-disjoint Combined Unification and Closure by Equational Paramodulation

      • Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
      Pages 25-42

    4. Symbol Elimination and Applications to Parametric Entailment Problems

      • Dennis Peuter, Viorica Sofronie-Stokkermans
      Pages 43-62

    5. On the Copy Complexity of Width 3 Horn Constraint Systems

      • K. Subramani, P. Wojciechowski, Alvaro Velasquez
      Pages 63-78

  3. Description Logics

    1. Front Matter

      Pages 79-79
      Download chapter PDF

    2. Restricted Unification in the DL \(\mathcal {FL}_0\)

      • Franz Baader, Oliver Fernández Gil, Maryam Rostamigiv
      Pages 81-97

    3. Combining Event Calculus and Description Logic Reasoning via Logic Programming

      • Peter Baumgartner
      Pages 98-117

    4. Semantic Forgetting in Expressive Description Logics

      • Mostafa Sakr, Renate A. Schmidt
      Pages 118-136

  4. Interactive Theorem Proving

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. Improving Automation for Higher-Order Proof Steps

      • Antoine Defourné
      Pages 139-153

    3. JEFL: Joint Embedding of Formal Proof Libraries

      • Qingxiang Wang, Cezary Kaliszyk
      Pages 154-170

  5. Machine Learning

    1. Front Matter

      Pages 171-171
      Download chapter PDF

    2. Fast and Slow Enigmas and Parental Guidance

      • Zarathustra A. Goertzel, Karel Chvalovský, Jan Jakubův, Miroslav Olšák, Josef Urban
      Pages 173-191

    3. Vampire with a Brain Is a Good ITP Hammer

      • Martin Suda
      Pages 192-209

  6. Satisfiability Modulo Theories

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Optimization Modulo Non-linear Arithmetic via Incremental Linearization

      • Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonáš, Marco Roveri et al.
      Pages 213-231

    3. Quantifier Simplification by Unification in SMT

      • Pascal Fontaine, Hans-Jörg Schurr
      Pages 232-249

  7. Verification

    1. Front Matter

      Pages 251-251
      Download chapter PDF
Back to top

Other volumes

  1. Frontiers of Combining Systems

Editors and Affiliations

  • University of Liverpool, Liverpool, UK

    Boris Konev

  • The University of Manchester, Manchester, UK

    Giles Reger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation