Author:Jack McKeown

Publications
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint 10329
Towards StarExec in the Cloud David Fuenmayor, Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Dataset-Specific Strategies for the E Theorem Prover Jack McKeown and Geoff Sutcliffe In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
A Framework for Running Reinforcement Learning Experiments in E Jack McKeown In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning