Normal Natural Deduction Proofs (in classical logic). - Wilfried Sieg; John Byrnes (Stud Logica, 1998)

Implementing an Electronic Medical Record (EMR) in an Integrated Delivery System. - John Byrnes; James Braden; Gerrie James; Trent Broadus; Ron Owen (AMIA, 2001)

New Experiments in Distributional Representations of Synonymy. - Dayne Freitag; Matthias Blume; John Byrnes; Edmond Chow; Sadik Kapadia; Richard Rohwer; Zhiqiang Wang (CoNLL, 2005)

Information Processing at Very High Speed Data Ingestion Rates. - J. Brian Sharkey; Doyle Weishar; John W. Lockwood; Ron Loui; Richard Rohwer; John Byrnes; Krishna R. Pattipati; Stephen G. Eick; David Cousins; Michael Nicoletti (Emergent Information Technologies and Enabling Policies for Counter-Terrorism, 2006)

Estimation of Gaussian Mixtures from Moments. - John Byrnes (ICMLA, 2008)

Visualizing Proof Search for Theorem Prover Development. - John Byrnes; Michael Buchanan; Michael Ernst; Philip Miller; Chris Roberts; Robert Keller (UITP@TPHOLs, 2008)

Deep Adaptive Semantic Logic (DASL): Compiling Declarative Knowledge into Deep Neural Networks. - Karan Sikka; Andrew Silberfarb; John Byrnes; Indranil Sur; Edmond Chow; Ajay Divakaran; Richard Rohwer (CoRR, 2020)

Zero-shot Multi-Domain Dialog State Tracking Using Descriptive Rules. - Edgar Altszyler; Pablo Brusco; Nikoletta Basiou; John Byrnes; Dimitra Vergyri (CoRR, 2020)

Zero-Shot Learning with Knowledge Enhanced Visual Semantic Embeddings. - Karan Sikka; Jihua Huang; Andrew Silberfarb; Prateeth Nayak; Luke Rohrer; Pritish Sahu; John Byrnes; Ajay Divakaran; Richard Rohwer (CoRR, 2020)

Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive Rules. - Edgar Altszyler; Pablo Brusco; Nikoletta Basiou; John Byrnes; Dimitra Vergyri (NeSy, 2021)