Preface
This volume contains the proceedings of ARW 2019, the twenty sixths Workshop on Automated Rea-
soning (2nd{3d September 2019) hosted by the Department of Computer Science, Middlesex University,
England (UK). Traditionally, this annual workshop which brings together, for a two-day intensive pro-
gramme, researchers from different areas of automated reasoning, covers both traditional and emerging
topics, disseminates achieved results or work in progress. During informal discussions at workshop ses-
sions, the attendees, whether they are established in the Automated Reasoning community or are only at
their early stages of their research career, gain invaluable feedback from colleagues. ARW always looks
at the ways of strengthening links between academia, industry and government; between theoretical and
practical advances. The 26th ARW is affiliated with TABLEAUX 2019 conference.
These proceedings contain forteen extended abstracts contributed by the participants of the workshop
and assembled in order of their presentations at the workshop. The abstracts cover a wide range of topics
including the development of reasoning techniques for Agents, Model-Checking, Proof Search for classical
and non-classical logics, Description Logics, development of Intelligent Prediction Models, application of
Machine Learning to theorem proving, applications of AR in Cloud Computing and Networking.
I would like to thank the members of the ARW Organising Committee for their advice and assis-
tance. I would also like to thank the organisers of TABLEAUX/FroCoS 2019, and Andrei Popescu, the
TABLEAUX Conference Chair, in particular, for the enormous work related to the organisation of this
affiliation. I would also like to thank Natalia Yerashenia for helping in preparing these proceedings.
London Alexander Bolotov
September 201
