© 2018

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

  • Didier Galmiche
  • Stephan Schulz
  • Roberto Sebastiani
Conference proceedings IJCAR 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XVIII
  2. Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
    Pages 1-18
  3. Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
    Pages 28-46
  4. Miika Hannula, Sebastian Link
    Pages 47-63
  5. Michael Peter Lettmann, Nicolas Peltier
    Pages 64-80
  6. Franziska Rapp, Aart Middeldorp
    Pages 81-88
  7. Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
    Pages 89-107
  8. Alexander Steen, Christoph Benzmüller
    Pages 108-116
  9. Jeremy Dawson, Nachum Dershowitz, Rajeev Goré
    Pages 117-133
  10. Katalin Fazekas, Fahiem Bacchus, Armin Biere
    Pages 134-151
  11. Sylvain Conchon, David Declerck, Fatiha Zaïdi
    Pages 152-160
  12. Guillaume Melquiond, Raphaël Rieu-Helft
    Pages 178-193
  13. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov
    Pages 228-245
  14. Aleksandar Zeljić, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
    Pages 246-262
  15. Manuel Bodirsky, Johannes Greiner
    Pages 263-278
  16. Mnacho Echenim, Nicolas Peltier, Yanis Sellami
    Pages 279-294

About these proceedings


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.


artificial intelligence computability constraint theory decidability decision procedure first order logic formal logic modal logic model checking problem solving programing languages programming languages proof search methods satisfiability semantics software engineering software evaluation theorem provers theorem proving verification

Editors and affiliations

  • Didier Galmiche
    • 1
  • Stephan Schulz
    • 2
  • Roberto Sebastiani
    • 3
  1. 1.Université de LorraineVandoeuvre-lès-NancyFrance
  2. 2.Baden-Wuerttemberg Cooperative State UniversityStuttgartGermany
  3. 3.University of TrentoTrentoItaly

About the editors

Bibliographic information