| 2024 | NAACL | Self-Regulated Sample Diversity in Large Language Models. | Mingyue Liu, Jonathan Frawley, Sarah Wyer, Hubert P. H. Shum, Sara L. Uckelman, Sue Black, Chris G. Willcocks |
| 2020 | AiML | William of Sherwood on Necessity and Contingency. | Sara L. Uckelman |
| 2016 | AiML | The Logic of Where and While in the 13th and 14th Centuries. | Sara L. Uckelman |
| 2014 | AiML | Reasoning About Obligations in Obligationes: A Formal Approach. | Sara L. Uckelman |
| 2011 | TABLEAUX | Dialogue Games for Classical Logic. | Jesse Alama, Aleks Knoks, Sara L. Uckelman |
| 2010 | AiML | A Simple Semantics for Aristotelian Apodeictic Syllogistics. | Sara L. Uckelman, Spencer Johnston |
| 2010 | CiE | Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole. | Sara L. Uckelman |
| 2010 | LPAR | Proof rules for the dialogical logic N. | Jesse Alama, Sara L. Uckelman |
| 2010 | LPAR | Playing Lorenzen Dialogue Games on the Web. | Jesse Alama, Sara L. Uckelman |
| 2008 | AiML | Three 13th-century views of quantified modal logic. | Sara L. Uckelman |
| 2008 | ICCS | Jacob Lorhard's Ontology: A 17th Century Hypertext on the Reality and Temporality of the World of Intelligibles. | Peter hrstrm, Henrik Schrfe, Sara L. Uckelman |
| 2007 | ICCS | Historical and Conceptual Foundation of Diagrammatical Ontology. | Peter hrstrm, Sara L. Uckelman, Henrik Schrfe |