On some proposals for the semantics of mass nouns. - Francis Jeffry Pelletier (J. Philos. Log., 1974)

Formal Properties Of Rule Orderings In Linguistics. - Francis Jeffry Pelletier (COLING, 1980)

From English to Logic: Context-Free Computation of 'Conventional' Logical Translation. - Lenhart K. Schubert; Francis Jeffry Pelletier (Am. J. Comput. Linguistics, 1982)

(X): comments on J. J. Katz's paper: "Common sense in semantics". - Francis Jeffry Pelletier (Notre Dame J. Formal Log., 1982)

Two Theories For Computing The Logical Form Of Mass Expressions. - Francis Jeffry Pelletier; Lenhart K. Schubert (COLING, 1984)

THINKER. - Francis Jeffry Pelletier (CADE, 1986)

Seventy-Five Problems for Testing Automatic Theorem Provers. - Francis Jeffry Pelletier (J. Autom. Reason., 1986)

On proving functional incompleteness in symbolic logic classes. - Francis Jeffry Pelletier; W. David Sharp (Notre Dame J. Formal Log., 1988)

Post's Functional Completeness Theorem. - Francis Jeffry Pelletier; Norman M. Martin (Notre Dame J. Formal Log., 1990)

The Philosophy of Automated Theorem Proving. - Francis Jeffry Pelletier (IJCAI, 1991)

Identity in modal logic theorem proving. - Francis Jeffry Pelletier (Stud Logica, 1993)

Responses to Elkan (Francis Jeffry Pelletier). - Francis Jeffry Pelletier (IEEE Expert, 1994)

Book reviews. - Barbara Abbott; Annette Herskovits; Philip L. Peterson; Alfred R. Mele; David J. Cole; Daniel Crevier; Francis Jeffry Pelletier; Istvan S. N. Berkeley; Brendan Kitts; Mike Brown; George Paliouras (Minds Mach., 1996)

Generics and Defaults. - Francis Jeffry Pelletier; Nicholas Asher (Handbook of Logic and Language, 1997)

What Should Default Reasoning Be, by Default? - Francis Jeffry Pelletier; Renee Elio (Comput. Intell., 1997)

Belief Change as Propositional Update. - Renee Elio; Francis Jeffry Pelletier (Cogn. Sci., 1997)

An Erratum for Some Errata to ATP Problems. - Francis Jeffry Pelletier; Geoff Sutcliffe (J. Autom. Reason., 1997)

Conclusions about the CADE-13 ATP System Competition. - Francis Jeffry Pelletier; Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

Automated Natural Deduction in Thinker. - Francis Jeffry Pelletier (Stud Logica, 1998)

Did Frege Believe Frege's Principle? - Francis Jeffry Pelletier (J. Log. Lang. Inf., 2001)

The development of CASC. - Francis Jeffry Pelletier; Geoff Sutcliffe; Christian B. Suttner (AI Commun., 2002)

The IJCAR ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner; Francis Jeffry Pelletier (J. Autom. Reason., 2002)

The Average American has 2.3 Children. - Greg Carlson; Francis Jeffry Pelletier (J. Semant., 2002)

Enumerating the Preconditions of Agent Message Types. - Francis Jeffry Pelletier; Renee Elio (AI, 2003)

Synonymous Logics. - Francis Jeffry Pelletier; Alasdair Urquhart (J. Philos. Log., 2003)

On Some Alleged Misconceptions about Fuzzy Logic. - Francis Jeffry Pelletier (Artif. Intell. Rev., 2004)

The Case for Psychologism in Default and Inheritance Reasoning. - Francis Jeffry Pelletier; Renée Elio (Synth., 2005)

Representation and Inference for Natural Language: A First Course in Computational Semantics. - Francis Jeffry Pelletier (Comput. Linguistics, 2006)

Foundations of Intensional Semantics. - Francis Jeffry Pelletier (Comput. Linguistics, 2006)

Compositional Belief Update. - James P. Delgrande; Francis Jeffry Pelletier; Matthew Suderman (FLAIRS, 2007)

Ternary Exclusive Or. - Francis Jeffry Pelletier; Andrew Hartline (Log. J. IGPL, 2008)

Compositional Belief Update. - James P. Delgrande; Yi Jin 006; Francis Jeffry Pelletier (J. Artif. Intell. Res., 2008)

Synonymous Logics: A Correction. - Francis Jeffry Pelletier; Alasdair Urquhart (J. Philos. Log., 2008)

Is Logic all in our Heads? From Naturalism to Psychologism. - Francis Jeffry Pelletier; Renée Elio; Philip P. Hanson (Stud Logica, 2008)

Ontological Lessons from the Semantics of Mass and Count Nouns. - Francis Jeffry Pelletier (FOIS, 2010)

Preface. - Dov M. Gabbay; Francis Jeffry Pelletier; John Woods 001 (Logic: A History of its Central Concepts, 2012)

A History of Natural Deduction. - Francis Jeffry Pelletier; Allen P. Hazen (Logic: A History of its Central Concepts, 2012)

Belief Change and Base Dependence. - Mehrdad Oveisi; James P. Delgrande; Francis Jeffry Pelletier; Fred Popowich (KR, 2014)

Building a reference lexicon for countability in English. - Tibor Kiss; Francis Jeffry Pelletier; Tobias Stadtfeld (LREC, 2014)

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. - Allen P. Hazen; Francis Jeffry Pelletier (Stud Logica, 2014)

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 (IJCAI, 2015)

Hoping for the Truth - A Survey of the TPTP Logics. - Geoff Sutcliffe; Francis Jeffry Pelletier (FLAIRS, 2016)

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 (LREC, 2016)

Automated Reasoning for the Dialetheic Logic RM3. - Geoff Sutcliffe; Francis Jeffry Pelletier; Allen P. Hazen (FLAIRS, 2017)

Issues of Mass and Count: Dealing with 'Dual-Life' Nouns. - Tibor Kiss; Francis Jeffry Pelletier; Halima Husic; Johanna Marie Poppek (*SEM, 2017)

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. - Allen P. Hazen; Francis Jeffry Pelletier (CoRR, 2017)

The Logic for Metaphysical Conceptions of Vagueness. - Francis Jeffry Pelletier (FLAP, 2017)

Kernel Contraction and Base Dependence. - Mehrdad Oveisi; James P. Delgrande; Francis Jeffry Pelletier; Fred Popowich (J. Artif. Intell. Res., 2017)

Making Belnap's "Useful 4-Valued Logic" Useful. - Geoff Sutcliffe; Francis Jeffry Pelletier; Allen Hazen (FLAIRS, 2018)

Pecularities of Some Three- and Four-Valued Second Order Logics. - Allen P. Hazen; Francis Jeffry Pelletier (Logica Universalis, 2018)

Second-Order Logic of Paradox. - Allen P. Hazen; Francis Jeffry Pelletier (Notre Dame J. Formal Log., 2018)

JGXYZ: An ATP System for Gap and Glut Logics. - Geoff Sutcliffe; Francis Jeffry Pelletier (CADE, 2019)