| 2026 | FlAIRS | Evaluating Synthetic Sentence Coherence Using a Large Language Model. | Richard Thompson, Angelos Toutsios, Adam Pease, Mathias Klsch, Christian Darken |
| 2025 | NeSy | Grounding Terms from an Ontology for use in Autoformalization: Tokenization is All You Need. | Richard Thompson, Adam Pease, Mathias Klsch, Angelos Toutsios |
| 2022 | FlAIRS | Contradiction Detection and Repair in a Large Theory. | Adam Pease, Stephan Schulz |
| 2020 | CADE | Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). | Stephan Schulz, Adam Pease |
| 2020 | CADE | A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description). | Adam Pease |
| 2017 | CADE | Detecting Inconsistencies in Large First-Order Knowledge Bases. | Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease |
| 2014 | CADE | Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. | Adam Pease, Stephan Schulz |
| 2010 | CADE | Progress in Automating Higher-Order Ontology Reasoning. | Christoph Benzmller, Adam Pease |
| 2008 | CADE | The Annual SUMO Reasoning Prizes at CASC. | Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac |
| 2008 | CADE | Integration of the TPTPWorld into SigmaKEE. | Steven Trac, Geoff Sutcliffe, Adam Pease |
| 2008 | ICTAI | Integrating YAGO into the Suggested Upper Merged Ontology. | Gerard de Melo, Fabian M. Suchanek, Adam Pease |
| 2008 | PACLIC | A Call for Executable Linguistics Research. | Adam Pease |
| 2007 | CADE | First Order Reasoning on a Large Ontology. | Adam Pease, Geoff Sutcliffe |
| 2006 | FOIS | Linking FrameNet to the Suggested Upper Merged Ontology. | Jan Scheffczyk, Adam Pease, Michael Ellsworth |
| 2006 | LREC | Building a WordNet for Arabic. | Sabry ElKateb, William Black, Horacio Rodrguez, Musa Alkhalifa, Piek Vossen, Adam Pease, Christiane Fellbaum |
| 2004 | IKE | Analogy and Deduction for Knowledge Discovery. | Jim Reynolds, Adam Pease, John Li |
| 2003 | IKE | Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology. | Ian Niles, Adam Pease |
| 2001 | FOIS | Towards a standard upper ontology. | Ian Niles, Adam Pease |
| 2000 | KR | Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project. | Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar |
| 1999 | AAAI | Does Prior Knowledge Facilitate the Development of Knowledge-based Systems? | Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag |