Author:Giles Reger

Publications
EasyChair Preprint no. 826
EasyChair Preprint no. 521
EasyChair Preprint no. 1

Keyphrases

automated induction, automated reasoning4, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, first-order logic7, first-order theorem proving, Interpolants, local proofs, proof checking, proof output, quantified event automata, Question Answering, rule systems, runtime monitoring, runtime verification, Satisfiability Modulo Theories2, Saturation Algorithms2, SMT, SMT solving2, superposition calculus, theorem proving8, theory reasoning, Vampire8, Z3.