Francis Jeffry Pelletier

Orcid: 0000-0002-3399-2718

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
JGXYZ: An ATP System for Gap and Glut Logics.
Proceedings of the Automated Deduction - CADE 27, 2019

2018
Second-Order Logic of Paradox.
Notre Dame J. Formal Log., 2018

Pecularities of Some Three- and Four-Valued Second Order Logics.
Logica Universalis, 2018

Making Belnap's "Useful 4-Valued Logic" Useful.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

2017
Kernel Contraction and Base Dependence.
J. Artif. Intell. Res., 2017

The Logic for Metaphysical Conceptions of Vagueness.
FLAP, 2017

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

Issues of Mass and Count: Dealing with 'Dual-Life' Nouns.
Proceedings of the 6th Joint Conference on Lexical and Computational Semantics, 2017

Automated Reasoning for the Dialetheic Logic RM3.
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.
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 2016

Hoping for the Truth - A Survey of the TPTP Logics.
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.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.
Stud Logica, 2014

Building a reference lexicon for countability in English.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Belief Change and Base Dependence.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

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

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

2010
Ontological Lessons from the Semantics of Mass and Count Nouns.
Proceedings of the Formal Ontology in Information Systems, 2010

2008
Is Logic all in our Heads? From Naturalism to Psychologism.
Stud Logica, 2008

Synonymous Logics: A Correction.
J. Philos. Log., 2008

Compositional Belief Update.
J. Artif. Intell. Res., 2008

Ternary Exclusive <i>Or</i>.
Log. J. IGPL, 2008

2007
Compositional Belief Update.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

2006
Foundations of Intensional Semantics.
Comput. Linguistics, 2006

Representation and Inference for Natural Language: A First Course in Computational Semantics.
Comput. Linguistics, 2006

2005
The Case for Psychologism in Default and Inheritance Reasoning.
Synth., 2005

2004
On Some Alleged Misconceptions about Fuzzy Logic.
Artif. Intell. Rev., 2004

2003
Synonymous Logics.
J. Philos. Log., 2003

Enumerating the Preconditions of Agent Message Types.
Proceedings of the Advances in Artificial Intelligence, 2003

2002
The Average American has 2.3 Children.
J. Semant., 2002

The IJCAR ATP System Competition.
J. Autom. Reason., 2002

The development of CASC.
AI Commun., 2002

2001
Did Frege Believe Frege's Principle?
J. Log. Lang. Inf., 2001

1998
Automated Natural Deduction in Thinker.
Stud Logica, 1998

1997
Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reason., 1997

An Erratum for Some Errata to ATP Problems.
J. Autom. Reason., 1997

Belief Change as Propositional Update.
Cogn. Sci., 1997

What Should Default Reasoning Be, by Default?
Comput. Intell., 1997

Generics and Defaults.
Proceedings of the Handbook of Logic and Language., 1997

1996
Book reviews.
Minds Mach., 1996

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

1993
Identity in modal logic theorem proving.
Stud Logica, 1993

1991
The Philosophy of Automated Theorem Proving.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
Post's Functional Completeness Theorem.
Notre Dame J. Formal Log., 1990

1988
On proving functional incompleteness in symbolic logic classes.
Notre Dame J. Formal Log., 1988

1986
Seventy-Five Problems for Testing Automatic Theorem Provers.
J. Autom. Reason., 1986

THINKER.
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.
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".
Notre Dame J. Formal Log., 1982

From English to Logic: Context-Free Computation of 'Conventional' Logical Translation.
Am. J. Comput. Linguistics, 1982

1980
Formal Properties Of Rule Orderings In Linguistics.
Proceedings of the 8th International Conference on Computational Linguistics, 1980

1974
On some proposals for the semantics of mass nouns.
J. Philos. Log., 1974


  Loading...