Author:Jack McKeown

Publications
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint 10329
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