Skip to main content
SpringerLink
Log in

Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Didier Galmiche

    1. Université de Lorraine, Vandoeuvre-lès-Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stephan Schulz

    1. Baden-Wuerttemberg Cooperative State University, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Roberto Sebastiani

    1. University of Trento, Trento, Italy

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

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

Included in the following conference series:

Conference proceedings info: IJCAR 2018.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (46 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem

    • Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
    Pages 1-18

  3. FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics

    • Yizheng Zhao, Renate A. Schmidt
    Pages 19-27

  4. Superposition for Lambda-Free Higher-Order Logic

    • Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
    Pages 28-46

  5. Automated Reasoning About Key Sets

    • Miika Hannula, Sebastian Link
    Pages 47-63

  6. A Tableaux Calculus for Reducing Proof Size

    • Michael Peter Lettmann, Nicolas Peltier
    Pages 64-80

  7. FORT 2.0

    • Franziska Rapp, Aart Middeldorp
    Pages 81-88

  8. Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

    • Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
    Pages 89-107

  9. The Higher-Order Prover Leo-III

    • Alexander Steen, Christoph Benzmüller
    Pages 108-116

  10. Well-Founded Unions

    • Jeremy Dawson, Nachum Dershowitz, Rajeev Goré
    Pages 117-133

  11. Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

    • Katalin Fazekas, Fahiem Bacchus, Armin Biere
    Pages 134-151

  12. Cubicle-\(\mathcal {W}\): Parameterized Model Checking on Weak Memory

    • Sylvain Conchon, David Declerck, Fatiha Zaïdi
    Pages 152-160

  13. \({\textsf {QRAT}}^{+}\): Generalizing QRAT by a More Powerful QBF Redundancy Property

    • Florian Lonsing, Uwe Egly
    Pages 161-177

  14. A Why3 Framework for Reflection Proofs and Its Application to GMP’s Algorithms

    • Guillaume Melquiond, Raphaël Rieu-Helft
    Pages 178-193

  15. Probably Half True: Probabilistic Satisfiability over Łukasiewicz Infinitely-Valued Logic

    • Marcelo Finger, Sandro Preto
    Pages 194-210

  16. Uniform Substitution for Differential Game Logic

    • André Platzer
    Pages 211-227

  17. A Logical Framework with Commutative and Non-commutative Subexponentials

    • Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov
    Pages 228-245

  18. Exploring Approximations for Floating-Point Arithmetic Using UppSAT

    • Aleksandar Zeljić, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
    Pages 246-262

  19. Complexity of Combinations of Qualitative Constraint Satisfaction Problems

    • Manuel Bodirsky, Johannes Greiner
    Pages 263-278

  20. A Generic Framework for Implicate Generation Modulo Theories

    • Mnacho Echenim, Nicolas Peltier, Yanis Sellami
    Pages 279-294
Back to top

Other volumes

  1. Automated Reasoning

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference.
The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.

Editors and Affiliations

  • Université de Lorraine, Vandoeuvre-lès-Nancy, France

    Didier Galmiche

  • Baden-Wuerttemberg Cooperative State University, Stuttgart, Germany

    Stephan Schulz

  • University of Trento, Trento, Italy

    Roberto Sebastiani

About the editors

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation