| Vol-3201 urn:nbn:de:0074-3201-6 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# PAAR 2022
Practical Aspects of Automated Reasoning 2022

### Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022)

### Haifa, Israel, August, 11 - 12, 2022.

Edited by

### Boris Konev *
Claudia Schon **
Alexander Steen ***

* University of Liverpool, Department of Computer Science, Liverpool, UK
** University of Koblenz, Institute for Web Science and Technologies, Koblenz, Germany
*** University of Greifswald, Institute of Mathematics and Computer Science, Greifswald, Germany

## Table of Contents

- Preface
  Summary: There were 15 papers submitted for peer-review to this workshop. Out of these, 14 papers were accepted for this volume, 11 as regular papers, and 3 as short papers.

### Session 1:

- Josef Urban (invited talk)
  Training ENIGMAs, CoPs, and other thinking creatures,
- QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
  Maximilian Heisinger, Martina Seidl, Armin Biere

### Session 2:

- A Two-Watched Literal Scheme for First-Order Logic
  Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach
- Lazy Paramodulation in Practice
  Grzegorz Prusak, Cezary Kaliszyk
- Empirical Properties of Term Orderings for Superposition
  Stephan Schulz

### Session 3:

- Exploring Partial Models with SCL
  Martin Bromberger, Simon Schwarz, Christoph Weidenbach
- On SGGS and Horn Clauses
  Maria Paola Bonacina, Sarah Winkler
- Exploring Representation of Horn clauses using GNNs
  Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

### Session 4:

- Optimal Strategy Schedules for Everyone
  Hans-Jörg Schurr
- The Vampire Approach to Induction (short paper)
  Marton Hajdu, Laura Kovacs, Michael Rawson, Andrei Voronkov
- Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)
  Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger

### Session 5:

- The Logic Languages of the TPTP World and Proofs and Models in the TPTP World (invited talk)
  Geoff Sutcliffe
- Automated Reasoning in Non-classical Logics in the TPTP World
  Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller

### Session 6:

- Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving
  Christoph Wernhard
- An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper)
  Alexander Steen
- The Isabelle Community Benchmark
  Fabian Huch, Vincent Bode

2022-08-05: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2022-08-31: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|