Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

  • Serenella Cerrito
  • Andrei Popescu
Conference proceedings TABLEAUX 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Tableau Calculi

    1. Front Matter
      Pages 1-1
    2. Luca Geatti, Nicola Gigante, Angelo Montanari
      Pages 3-20
    3. Michael Färber, Cezary Kaliszyk
      Pages 21-38
    4. Katarina Britz, Ivan Varzinczak
      Pages 39-57
    5. Chu Min Li, Felip Manyà, Joan Ramon Soler
      Pages 58-73
  3. Sequent Calculi

    1. Front Matter
      Pages 75-75
    2. Yotam Dvir, Arnon Avron
      Pages 77-93
    3. Agata Ciabattoni, Timo Lang, Revantha Ramanayake
      Pages 94-110
    4. Camillo Fiorentini, Rajeev Goré, Stéphane Graham-Lengrand
      Pages 111-129
    5. Didier Galmiche, Michel Marti, Daniel Méry
      Pages 130-146
    6. Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
      Pages 147-165
  4. Semantics and Combinatorial Proofs

    1. Front Matter
      Pages 221-221
    2. Matteo Acclavio, Lutz Straßburger
      Pages 223-240
    3. Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
      Pages 241-258
    4. Benjamin Ralph, Lutz Straßburger
      Pages 259-276
    5. Daniel Găină, Ionuţ Ţuţu
      Pages 277-293
  5. Non-Wellfounded Proof Systems

    1. Front Matter
      Pages 295-295
    2. Abhishek De, Alexis Saurin
      Pages 297-316
    3. Simon Docherty, Reuben N. S. Rowe
      Pages 335-352
  6. Automated Theorem Provers

    1. Front Matter
      Pages 353-353
    2. Zarathustra Goertzel, Jan Jakubův, Josef Urban
      Pages 374-388
  7. Logics for Program or System Verification

    1. Front Matter
      Pages 389-389
    2. Eduard Kamburjan
      Pages 391-408
    3. Mnacho Echenim, Radu Iosif, Nicolas Peltier
      Pages 409-427
    4. João G. Martins, André Platzer, João Leite
      Pages 428-445
    5. Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă
      Pages 446-476
  8. Back Matter
    Pages 477-477

About these proceedings

Introduction

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

The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.

Keywords

artificial intelligence automated reasoning computer science differential equations formal logic knowledge base knowledge-based system linear logic modal logic problem solving programming languages satisfiability sequent calculus software engineering software evaluation specifications theorem proving verification

Editors and affiliations

  1. 1.IBISC, Univ. Evry, Université Paris-SaclayEvryFrance
  2. 2.Middlesex University LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-29026-9
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-29025-2
  • Online ISBN 978-3-030-29026-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site