Author:Giles RegerPublications 

EasyChair Preprint no. 5855  EasyChair Preprint no. 5000  EasyChair Preprint no. 4433  EasyChair Preprint no. 3926  EasyChair Preprint no. 2185  EasyChair Preprint no. 3192  EasyChair Preprint no. 3191   EasyChair Preprint no. 826  EasyChair Preprint no. 521          EasyChair Preprint no. 1        
Keyphrasesasynchronouspolicy, automated induction, automated reasoning^{6}, automated theorem proving^{2}, Avatar^{4}, AVATAR architecture, Clausal Normal Form, clause splitting, Clausification, combinator, combinatory, complete, connection calculus, Connection tableaux, data race, directed acyclic graph, firstorder, firstorder logic^{9}, firstorder theorem prover, firstorder theorem proving, gaussian variable elimination rule, Graph Neural Network, grounding mechanism, heuristic search, higherorder^{2}, Interpolants, KnuthBendix, learnedguidance, local proofs, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof checking, proof output, proof search^{3}, quantified event automata, Question Answering, rewriting, rule systems, runtime monitoring, runtime verification, SAT solver, Satisfiability Modulo Theories^{2}, Saturation Algorithms^{2}, saturation based proof search, saturationbased theorem prover, shared memory, shared persistent grounding, SMT^{2}, SMT solving^{2}, superposition, superposition calculus, Superpsoition, term ordering, theorem prover^{2}, theorem proving^{8}, theory reasoning^{2}, thread local, Thread Local Storage, Vampire^{8}, Z3. 
