Francis Jeffry Pelletier

According to our database, Francis Jeffry Pelletier authored at least 52 papers between 1974 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

JGXYZ: An ATP System for Gap and Glut Logics.

Geoff Sutcliffe, Francis Jeffry Pelletier

Proceedings of the Automated Deduction - CADE 27, 2019

2018

Second-Order Logic of Paradox.

Allen P. Hazen, Francis Jeffry Pelletier

Notre Dame J. Formal Log., 2018

Pecularities of Some Three- and Four-Valued Second Order Logics.

Allen P. Hazen, Francis Jeffry Pelletier

Logica Universalis, 2018

Making Belnap's "Useful 4-Valued Logic" Useful.

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

2017

Kernel Contraction and Base Dependence.

Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

J. Artif. Intell. Res., 2017

The Logic for Metaphysical Conceptions of Vagueness.

Francis Jeffry Pelletier

FLAP, 2017

K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You.

Allen P. Hazen, Francis Jeffry Pelletier

CoRR, 2017

Issues of Mass and Count: Dealing with 'Dual-Life' Nouns.

Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Johanna Marie Poppek

Proceedings of the 6th Joint Conference on Lexical and Computational Semantics, 2017

Automated Reasoning for the Dialetheic Logic RM3.

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

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

Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

Hoping for the Truth - A Survey of the TPTP Logics.

Geoff Sutcliffe, Francis Jeffry Pelletier

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

2015

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

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.

Allen P. Hazen, Francis Jeffry Pelletier

Stud Logica, 2014

Building a reference lexicon for countability in English.

Tibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld

Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Belief Change and Base Dependence.

Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2012

A History of Natural Deduction.

Francis Jeffry Pelletier, Allen P. Hazen

Proceedings of the Logic: A History of its Central Concepts, 2012

Preface.

Dov M. Gabbay, Francis Jeffry Pelletier, John Woods

Proceedings of the Logic: A History of its Central Concepts, 2012

2010

Ontological Lessons from the Semantics of Mass and Count Nouns.

Francis Jeffry Pelletier

Proceedings of the Formal Ontology in Information Systems, 2010

2008

Is Logic all in our Heads? From Naturalism to Psychologism.

Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson

Stud Logica, 2008

Synonymous Logics: A Correction.

Francis Jeffry Pelletier, Alasdair Urquhart

J. Philos. Log., 2008

Compositional Belief Update.

James P. Delgrande, Yi Jin, Francis Jeffry Pelletier

J. Artif. Intell. Res., 2008

Ternary Exclusive <i>Or</i>.

Francis Jeffry Pelletier, Andrew Hartline

Log. J. IGPL, 2008

2007

Compositional Belief Update.

James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006

Foundations of Intensional Semantics.

Francis Jeffry Pelletier

Comput. Linguistics, 2006

Representation and Inference for Natural Language: A First Course in Computational Semantics.

Francis Jeffry Pelletier

Comput. Linguistics, 2006

2005

The Case for Psychologism in Default and Inheritance Reasoning.

Francis Jeffry Pelletier, Renée Elio

Synth., 2005

2004

On Some Alleged Misconceptions about Fuzzy Logic.

Francis Jeffry Pelletier

Artif. Intell. Rev., 2004

2003

Synonymous Logics.

Francis Jeffry Pelletier, Alasdair Urquhart

J. Philos. Log., 2003

Enumerating the Preconditions of Agent Message Types.

Francis Jeffry Pelletier, Renee Elio

Proceedings of the Advances in Artificial Intelligence, 2003

2002

The Average American has 2.3 Children.

Greg Carlson, Francis Jeffry Pelletier

J. Semant., 2002

The IJCAR ATP System Competition.

Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier

J. Autom. Reason., 2002

The development of CASC.

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner

AI Commun., 2002

2001

Did Frege Believe Frege's Principle?

Francis Jeffry Pelletier

J. Log. Lang. Inf., 2001

1998

Automated Natural Deduction in Thinker.

Francis Jeffry Pelletier

Stud Logica, 1998

1997

Conclusions about the CADE-13 ATP System Competition.

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner

J. Autom. Reason., 1997

An Erratum for Some Errata to ATP Problems.

Francis Jeffry Pelletier, Geoff Sutcliffe

J. Autom. Reason., 1997

Belief Change as Propositional Update.

Renee Elio, Francis Jeffry Pelletier

Cogn. Sci., 1997

What Should Default Reasoning Be, by Default?

Francis Jeffry Pelletier, Renee Elio

Comput. Intell., 1997

Generics and Defaults.

Francis Jeffry Pelletier, Nicholas Asher

Proceedings of the Handbook of Logic and Language., 1997

1996

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

1994

Responses to Elkan (Francis Jeffry Pelletier).

Francis Jeffry Pelletier

IEEE Expert, 1994

1993

Identity in modal logic theorem proving.

Francis Jeffry Pelletier

Stud Logica, 1993

1991

The Philosophy of Automated Theorem Proving.

Francis Jeffry Pelletier

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Post's Functional Completeness Theorem.

Francis Jeffry Pelletier, Norman M. Martin

Notre Dame J. Formal Log., 1990

1988

On proving functional incompleteness in symbolic logic classes.

Francis Jeffry Pelletier, W. David Sharp

Notre Dame J. Formal Log., 1988

1986

Seventy-Five Problems for Testing Automatic Theorem Provers.

Francis Jeffry Pelletier

J. Autom. Reason., 1986

THINKER.

Francis Jeffry Pelletier

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1984

Two Theories For Computing The Logical Form Of Mass Expressions.

Francis Jeffry Pelletier, Lenhart K. Schubert

Proceedings of the 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, 1984

1982

(X): comments on J. J. Katz's paper: "Common sense in semantics".

Francis Jeffry Pelletier

Notre Dame J. Formal Log., 1982

From English to Logic: Context-Free Computation of 'Conventional' Logical Translation.

Lenhart K. Schubert, Francis Jeffry Pelletier

Am. J. Comput. Linguistics, 1982

1980

Formal Properties Of Rule Orderings In Linguistics.

Francis Jeffry Pelletier

Proceedings of the 8th International Conference on Computational Linguistics, 1980

1974

On some proposals for the semantics of mass nouns.

Francis Jeffry Pelletier

J. Philos. Log., 1974