Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B F G H K L N P R S U V W

B
Benzmüller, Christoph	Automated Reasoning in Non-classical Logics in the TPTP World
Biere, Armin	QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
Bode, Vincent	The Isabelle Community Benchmark
Bonacina, Maria Paola	On SGGS and Horn Clauses
Brockschmidt, Marc	Exploring Representation of Horn clauses using GNNs
Bromberger, Martin	A Two-Watched Literal Scheme for First-Order Logic Exploring Partial Models with SCL
Burel, Guillaume	EuroProofNet presentation on proofs in Dedukti
F
Fuenmayor, David	Automated Reasoning in Non-classical Logics in the TPTP World
G
Gehl, Tobias	A Two-Watched Literal Scheme for First-Order Logic
Gleißner, Tobias	Automated Reasoning in Non-classical Logics in the TPTP World
H
Hajdu, Marton	The Vampire Approach to Induction
Heisinger, Maximilian	QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
Hozzová, Petra	Reuse of Introduced Symbols in Automatic Theorem Provers
Huch, Fabian	The Isabelle Community Benchmark
K
Kaliszyk, Cezary	Lazy Paramodulation in Practice
Kovacs, Laura	The Vampire Approach to Induction
L
Leutgeb, Lorenz	A Two-Watched Literal Scheme for First-Order Logic
Liang, Chencheng	Exploring Representation of Horn clauses using GNNs
N
Noetzli, Andres	EuroProofNet presentation on SMT and proofs
P
Prusak, Grzegorz	Lazy Paramodulation in Practice
R
Rawson, Michael	The Vampire Approach to Induction Reuse of Introduced Symbols in Automatic Theorem Provers
Reger, Giles	Reuse of Introduced Symbols in Automatic Theorem Provers
Rümmer, Philipp	Exploring Representation of Horn clauses using GNNs
S
Schulz, Stephan	Empirical Properties of Term Orderings for Superposition
Schurr, Hans-Jörg	Optimal Strategy Schedules for Everyone
Schwarz, Simon	Exploring Partial Models with SCL
Seidl, Martina	QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers
Steen, Alexander	Automated Reasoning in Non-classical Logics in the TPTP World An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning short COST action EuroProofNet introduction
Suda, Martin	Reuse of Introduced Symbols in Automatic Theorem Provers
Sutcliffe, Geoff	The Logic Languages of the TPTP World and Proofs and Models in the TPTP World Automated Reasoning in Non-classical Logics in the TPTP World
U
Urban, Josef	Training ENIGMAs, CoPs, and other thinking creatures
V
Voronkov, Andrei	The Vampire Approach to Induction
W
Weidenbach, Christoph	A Two-Watched Literal Scheme for First-Order Logic Exploring Partial Models with SCL
Wernhard, Christoph	Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving
Winkler, Sarah	On SGGS and Horn Clauses