Author:Giles Reger

Publications
EasyChair Preprint no. 521
EasyChair Preprint no. 1

Keyphrases

automated reasoning3, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, first-order logic6, 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.