Jack McKeown

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Inference Rules

Relational Algebra

Top Venues

Publications

Jack McKeown, Geoff Sutcliffe
An Interactive Interpretation Viewer for Typed First-order Logic. FLAIRS (2023)
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR (2023)
Jack McKeown, Geoff Sutcliffe
Reinforcement Learning for Guiding the E Theorem Prover. FLAIRS (2023)