| 2019 | CADE | JGXYZ: An ATP System for Gap and Glut Logics. | Geoff Sutcliffe, Francis Jeffry Pelletier |
| 2018 | FlAIRS | Making Belnap's "Useful 4-Valued Logic" Useful. | Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen |
| 2017 | FlAIRS | Automated Reasoning for the Dialetheic Logic RM3. | Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen |
| 2016 | FlAIRS | Hoping for the Truth - A Survey of the TPTP Logics. | Geoff Sutcliffe, Francis Jeffry Pelletier |
| 2016 | LREC | A sense-based lexicon of count and mass expressions: The Bochum English Countability Lexicon. | Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Roman Nino Simunic, Johanna Marie Poppek |
| 2015 | IJCAI | Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence. | Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier |
| 2014 | KR | Belief Change and Base Dependence. | Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich |
| 2014 | LREC | Building a reference lexicon for countability in English. | Tibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld |
| 2010 | FOIS | Ontological Lessons from the Semantics of Mass and Count Nouns. | Francis Jeffry Pelletier |
| 2007 | FlAIRS | Compositional Belief Update. | James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman |
| 2003 | AI | Enumerating the Preconditions of Agent Message Types. | Francis Jeffry Pelletier, Renee Elio |
| 1991 | IJCAI | The Philosophy of Automated Theorem Proving. | Francis Jeffry Pelletier |
| 1986 | CADE | THINKER. | Francis Jeffry Pelletier |
| 1984 | COLING | Two Theories For Computing The Logical Form Of Mass Expressions. | Francis Jeffry Pelletier, Lenhart K. Schubert |
| 1980 | COLING | Formal Properties Of Rule Orderings In Linguistics. | Francis Jeffry Pelletier |