• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
  • HSE University
  • Publications of HSE
  • Books
  • IJCAR: International Joint Conference on Automated Reasoning 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

Book

IJCAR: International Joint Conference on Automated Reasoning 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

Springer, 2018.
Under the general editorship: D. Galmiche, S. Schulz, R. Sebastiani.

Preface
This volume contains the papers presented at the 9th International Joint Conference on
Automated Reasoning, IJCAR 2018, held during July 14–17, 2018 in Oxford, UK, as
part of the Federated Logic Conference, FLoC 2018.
There were 125 abstracts submitted to IJCAR, resulting in 108 complete submissions.
Each submission was assigned to three Program Committee members and
received at least three reviews. The committee accepted 46 papers in total, 38 full
papers and eight system descriptions. In addition, the program included two invited
talks by Erika Abraham and Martin Giese, and accommodated a number of FLoC
central events.
IJCAR is the premier international joint conference on all aspects of automated
reasoning, including foundations, implementations, and applications, comprising several
leading conferences and workshops. It was first held in Sienna, Italy, in 2001,
uniting CADE, the Conference on Automated Deduction, TABLEAUX, the International
Conference on Automated Reasoning with Analytic Tableaux and Related
Methods, and FTP, the Workshop on First-Order Theorem Proving. Since 2004, IJCAR
has been held every second year, alternating with separate meetings of its constituent
conferences. In 2018, IJCAR united CADE, TABLEAUX, and FroCoS, the International
Symposium on Frontiers of Combining Systems, and, for the fourth time, was
part of the Federated Logic Conference. IJCAR also hosted the CADE ATP System
Competition and 11 workshops.
IJCAR acknowledges the generous sponsorship of EurAI, the European Association
for Artificial Intelligence (https://www.eurai.org/), for supporting in part our invited
speakers.
We would like to thank the organizers of IJCAR, FLoC, and associated events, but
in particular the members of the IJCAR Program Committee (PC) and the additional
external reviewers. They provided high-quality reviews.
The PC chairs also would like to acknowledge EasyChair. The system was extremely
supportive for most major tasks, including the reviewing and selection of papers,
the organization of the program, and creating this proceedings volume.
May 2018 Didier Galmiche
Stephan Schulz
Roberto Sebastiani

 

































Chapters
IJCAR: International Joint Conference on Automated Reasoning 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