Author:Giles RegerPublications |
---|
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 | | | | | | | |
Keyphrasesasynchronous-policy, automated induction, automated reasoning6, automated theorem proving, Avatar4, AVATAR architecture, Clausal Normal Form, Clausification, combinator, combinatory, complete, connection calculus, Connection tableaux, directed acyclic graph, first-order logic8, first-order theorem proving, gaussian variable elimination rule, Graph Neural Network, heuristic search, higher-order2, Interpolants, Knuth-Bendix, learned-guidance, local proofs, Logical Entailment, Mizar, parallelism, paramodulation, proof checking, proof output, proof search2, quantified event automata, Question Answering, rewriting, rule systems, runtime monitoring, runtime verification, Satisfiability Modulo Theories2, Saturation Algorithms2, saturation based proof search, SMT2, SMT solving2, superposition, superposition calculus, Superpsoition, term ordering, theorem prover, theorem proving8, theory reasoning2, Vampire8, Z3. |
|