Author:Michael Rawson

Publications
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Scaling CheckMate for Game-Theoretic Security Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Proceedings of the 7th and 8th Vampire Workshop Laura Kovács and Michael Rawson (editors) EPiC Series in Computing, volume 99
Reducibility Constraints in Superposition Marton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint 12142
CheckMate: Automated Game-Theoretic Security Reasoning Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain and Michael Rawson EasyChair Preprint 10853
Linear Refutation and Clause Splitting Michael Rawson EasyChair Preprint 9423
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
A Multithreaded Vampire with Shared Persistent Grounding Michael Rawson and Giles Reger EasyChair Preprint 5855
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint 4433
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint 4433
Automated Theorem Proving, Fast and Slow Michael Rawson and Giles Reger EasyChair Preprint 4433
lazyCoP 0.1 Michael Rawson and Giles Reger EasyChair Preprint 3926
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint 2185
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint 2185
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint 2185
Directed Graph Networks for Logical Entailment Michael Rawson and Giles Reger EasyChair Preprint 2185

Keyphrases

asynchronous-policy, automated reasoning³, automated theorem proving, blockchain protocols, Boolean satisfiability, clause splitting², connection calculus, Connection tableaux, data race, Decentralized Protocols, directed acyclic graph, first-order, first-order logic, first-order theorem prover, first-order theorem proving, Game-theoretic security, game theory, Graph Neural Network, grounding mechanism, heuristic search, incentive compatibility, induction², learned-guidance, linear resolution, Logical Entailment, Mizar, parallel theorem proving, parallelism, paramodulation, persistent grounding, Proof attempt, proof search², protocol verification, Reducibility constraints, redundancy, rewriting, SAT solver, saturation³, saturation-based theorem prover, Secure Protocols, security analysis, shared memory, shared persistent grounding, superposition³, theorem prover, thread local, Thread Local Storage.