Skip to main content
SpringerLink
Log in

Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Pascal Fontaine

    1. University of Lorraine, Villers-lès-Nancy, France

    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 11716)

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

Included in the following conference series:

Conference proceedings info: CADE 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 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.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 (34 papers)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Unification Modulo Lists with Reverse Relation with Certain Word Equations

    • Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michael Rusinowitch
    Pages 1-17

  3. On the Width of Regular Classes of Finite Structures

    • Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
    Pages 18-34

  4. Extending SMT Solvers to Higher-Order Logic

    • Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark Barrett
    Pages 35-54

  5. Superposition with Lambdas

    • Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
    Pages 55-73

  6. Restricted Combinatory Unification

    • Ahmed Bhayat, Giles Reger
    Pages 74-93

  7. \(\mathsf {dL}_{\iota }\): Definite Descriptions in Differential Dynamic Logic

    • Rose Bohrer, Manuel Fernández, André Platzer
    Pages 94-110

  8. SPASS-SATT

    • Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
    Pages 111-122

  9. GRUNGE: A Grand Unified ATP Challenge

    • Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
    Pages 123-141

  10. Model Completeness, Covers and Superposition

    • Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
    Pages 142-160

  11. A Tableaux Calculus for Default Intuitionistic Logic

    • Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
    Pages 161-177

  12. NIL: Learning Nonlinear Interpolants

    • Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
    Pages 178-196

  13. ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

    • Karel Chvalovský, Jan Jakubův, Martin Suda, Josef Urban
    Pages 197-215

  14. Towards Physical Hybrid Systems

    • Katherine Cordwell, André Platzer
    Pages 216-232

  15. SCL Clause Learning from Simple Models

    • Alberto Fiori, Christoph Weidenbach
    Pages 233-249

  16. Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection

    • Ulrich Furbach, Teresa Krämer, Claudia Schon
    Pages 250-268

  17. Computing Expected Runtimes for Constant Probability Programs

    • Jürgen Giesl, Peter Giesl, Marcel Hark
    Pages 269-286

  18. Automatic Generation of Logical Models with AGES

    • Raúl Gutiérrez, Salvador Lucas
    Pages 287-299

  19. Automata Terms in a Lazy WSkS Decision Procedure

    • Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar
    Pages 300-318

  20. Confluence by Critical Pair Analysis Revisited

    • Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
    Pages 319-336
Back to top

Other volumes

  1. Automated Deduction – CADE 27

Keywords

About this book

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.
The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.

 

Editors and Affiliations

  • University of Lorraine, Villers-lès-Nancy, France

    Pascal Fontaine

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation