Francis Jeffry Pelletier

Publication Activity (10 Years)

Years Active: 1974-2019
Publications (10 Years): 11

Top Topics

Automated Reasoning

Natural Deduction

Propositional Logic

Top Venues

FLAIRS Conference

Logica Universalis

Publications

Geoff Sutcliffe, Francis Jeffry Pelletier
JGXYZ: An ATP System for Gap and Glut Logics. CADE (2019)
Allen P. Hazen, Francis Jeffry Pelletier
Pecularities of Some Three- and Four-Valued Second Order Logics. Logica Universalis 12 (3-4) (2018)
Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen
Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS Conference (2018)
Allen P. Hazen, Francis Jeffry Pelletier
Second-Order Logic of Paradox. Notre Dame J. Formal Log. 59 (4) (2018)
Allen P. Hazen, Francis Jeffry Pelletier
K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. CoRR (2017)
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
Kernel Contraction and Base Dependence. J. Artif. Intell. Res. 60 (2017)
Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen
Automated Reasoning for the Dialetheic Logic RM3. FLAIRS Conference (2017)
Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Johanna Marie Poppek
Issues of Mass and Count: Dealing with 'Dual-Life' Nouns. *SEM (2017)
Francis Jeffry Pelletier
The Logic for Metaphysical Conceptions of Vagueness. FLAP 4 (4) (2017)
Geoff Sutcliffe, Francis Jeffry Pelletier
Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS Conference (2016)
Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Roman Nino Simunic, Johanna Marie Poppek
A sense-based lexicon of count and mass expressions: The Bochum English Countability Lexicon. LREC (2016)
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence. IJCAI (2015)
Tibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld
Building a reference lexicon for countability in English. LREC (2014)
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
Belief Change and Base Dependence. KR (2014)
James P. Delgrande, Yi Jin, Francis Jeffry Pelletier
Compositional Belief Update. CoRR (2014)
Allen P. Hazen, Francis Jeffry Pelletier
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Stud Logica 102 (6) (2014)
Francis Jeffry Pelletier
Ontological Lessons from the Semantics of Mass and Count Nouns. FOIS (2010)
Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson
Is Logic all in our Heads? From Naturalism to Psychologism. Stud Logica 88 (1) (2008)
Francis Jeffry Pelletier, Andrew Hartline
. Log. J. IGPL 16 (1) (2008)
James P. Delgrande, Yi Jin, Francis Jeffry Pelletier
Compositional Belief Update. J. Artif. Intell. Res. 32 (2008)
Francis Jeffry Pelletier, Alasdair Urquhart
Synonymous Logics: A Correction. J. Philos. Log. 37 (1) (2008)
James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman
Compositional Belief Update. FLAIRS Conference (2007)
Francis Jeffry Pelletier
Foundations of Intensional Semantics. Comput. Linguistics 32 (2) (2006)
Francis Jeffry Pelletier
Representation and Inference for Natural Language: A First Course in Computational Semantics. Comput. Linguistics 32 (2) (2006)
Francis Jeffry Pelletier, Renée Elio
The Case for Psychologism in Default and Inheritance Reasoning. Synth. 146 (1-2) (2005)
Francis Jeffry Pelletier
On Some Alleged Misconceptions about Fuzzy Logic. Artif. Intell. Rev. 22 (1) (2004)
Francis Jeffry Pelletier, Renee Elio
Enumerating the Preconditions of Agent Message Types. Canadian Conference on AI (2003)
Francis Jeffry Pelletier, Alasdair Urquhart
Synonymous Logics. J. Philos. Log. 32 (3) (2003)
Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
The IJCAR ATP System Competition. J. Autom. Reason. 28 (3) (2002)
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
The development of CASC. AI Commun. 15 (2-3) (2002)
Greg Carlson, Francis Jeffry Pelletier
The Average American has 2.3 Children. J. Semant. 19 (1) (2002)
Francis Jeffry Pelletier
Did Frege Believe Frege's Principle? J. Log. Lang. Inf. 10 (1) (2001)
Francis Jeffry Pelletier
Automated Natural Deduction in Thinker. Stud Logica 60 (1) (1998)
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Francis Jeffry Pelletier, Renee Elio
What Should Default Reasoning Be, by Default? Comput. Intell. 13 (2) (1997)
Renee Elio, Francis Jeffry Pelletier
Belief Change as Propositional Update. Cogn. Sci. 21 (4) (1997)
Francis Jeffry Pelletier, Geoff Sutcliffe
An Erratum for Some Errata to ATP Problems. J. Autom. Reason. 18 (1) (1997)
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
Book reviews. Minds Mach. 6 (2) (1996)
Francis Jeffry Pelletier
Responses to Elkan (Francis Jeffry Pelletier). IEEE Expert 9 (4) (1994)
Francis Jeffry Pelletier
Identity in modal logic theorem proving. Stud Logica 52 (2) (1993)
Francis Jeffry Pelletier
The Philosophy of Automated Theorem Proving. IJCAI (1991)
Francis Jeffry Pelletier, Norman M. Martin
Post's Functional Completeness Theorem. Notre Dame J. Formal Log. 31 (3) (1990)
Francis Jeffry Pelletier, W. David Sharp
On proving functional incompleteness in symbolic logic classes. Notre Dame J. Formal Log. 29 (2) (1988)
Francis Jeffry Pelletier
Seventy-Five Problems for Testing Automatic Theorem Provers. J. Autom. Reason. 2 (2) (1986)
Francis Jeffry Pelletier
THINKER. CADE (1986)
Francis Jeffry Pelletier, Lenhart K. Schubert
Two Theories For Computing The Logical Form Of Mass Expressions. COLING (1984)
Lenhart K. Schubert, Francis Jeffry Pelletier
From English to Logic: Context-Free Computation of 'Conventional' Logical Translation. Am. J. Comput. Linguistics 8 (1) (1982)
Francis Jeffry Pelletier
(X): comments on J. J. Katz's paper: "Common sense in semantics". Notre Dame J. Formal Log. 23 (3) (1982)
Francis Jeffry Pelletier
Formal Properties Of Rule Orderings In Linguistics. COLING (1980)
Francis Jeffry Pelletier
On some proposals for the semantics of mass nouns. J. Philos. Log. 3 (1-2) (1974)