default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancis Jeffry Pelletier
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c16]Geoff Sutcliffe
, Francis Jeffry Pelletier:
JGXYZ: An ATP System for Gap and Glut Logics. CADE 2019: 526-537- 2018
- [j32]Allen P. Hazen, Francis Jeffry Pelletier:
Pecularities of Some Three- and Four-Valued Second Order Logics. Logica Universalis 12(3-4): 493-509 (2018) - [j31]Allen P. Hazen, Francis Jeffry Pelletier:
Second-Order Logic of Paradox. Notre Dame J. Formal Log. 59(4): 547-558 (2018) - [c15]Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen:
Making Belnap's "Useful 4-Valued Logic" Useful. FLAIRS 2018: 116-121 - 2017
- [j30]Francis Jeffry Pelletier:
The Logic for Metaphysical Conceptions of Vagueness. FLAP 4(4) (2017) - [j29]Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich:
Kernel Contraction and Base Dependence. J. Artif. Intell. Res. 60: 97-148 (2017) - [c14]Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen:
Automated Reasoning for the Dialetheic Logic RM3. FLAIRS 2017: 110-115 - [c13]Tibor Kiss, Francis Jeffry Pelletier, Halima Husic, Johanna Marie Poppek:
Issues of Mass and Count: Dealing with 'Dual-Life' Nouns. *SEM 2017: 189-198 - [i2]Allen P. Hazen, Francis Jeffry Pelletier:
K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You. CoRR abs/1711.05816 (2017) - 2016
- [c12]Geoff Sutcliffe, Francis Jeffry Pelletier:
Hoping for the Truth - A Survey of the TPTP Logics. FLAIRS 2016: 110-115 - [c11]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 - 2015
- [c10]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: 3134-3140 - 2014
- [j28]Allen P. Hazen, Francis Jeffry Pelletier:
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different. Stud Logica 102(6): 1103-1142 (2014) - [c9]Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich:
Belief Change and Base Dependence. KR 2014 - [c8]Tibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld:
Building a reference lexicon for countability in English. LREC 2014: 995-1000 - [i1]James P. Delgrande, Yi Jin, Francis Jeffry Pelletier:
Compositional Belief Update. CoRR abs/1401.3431 (2014) - 2012
- [e1]Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
Logic: A History of its Central Concepts. Handbook of the History of Logic 11, Elsevier 2012, ISBN 978-0-444-52937-4 [contents] - [r2]Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
Preface. Logic: A History of its Central Concepts 2012 - [r1]Francis Jeffry Pelletier, Allen P. Hazen:
A History of Natural Deduction. Logic: A History of its Central Concepts 2012: 341-414 - 2010
- [c7]Francis Jeffry Pelletier:
Ontological Lessons from the Semantics of Mass and Count Nouns. FOIS 2010: 3-4
2000 – 2009
- 2008
- [j27]Francis Jeffry Pelletier, Andrew Hartline:
Ternary Exclusive Or. Log. J. IGPL 16(1): 75-83 (2008) - [j26]James P. Delgrande, Yi Jin, Francis Jeffry Pelletier:
Compositional Belief Update. J. Artif. Intell. Res. 32: 757-791 (2008) - [j25]Francis Jeffry Pelletier, Alasdair Urquhart:
Synonymous Logics: A Correction. J. Philos. Log. 37(1): 95-100 (2008) - [j24]Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson:
Is Logic all in our Heads? From Naturalism to Psychologism. Stud Logica 88(1): 3-66 (2008) - 2007
- [c6]James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman:
Compositional Belief Update. FLAIRS 2007: 68-73 - 2006
- [j23]Francis Jeffry Pelletier:
Representation and Inference for Natural Language: A First Course in Computational Semantics. Comput. Linguistics 32(2): 283-286 (2006) - [j22]Francis Jeffry Pelletier:
Foundations of Intensional Semantics. Comput. Linguistics 32(2): 291- (2006) - 2005
- [j21]Francis Jeffry Pelletier, Renée Elio:
The Case for Psychologism in Default and Inheritance Reasoning. Synth. 146(1-2): 7-35 (2005) - 2004
- [j20]Francis Jeffry Pelletier:
On Some Alleged Misconceptions about Fuzzy Logic. Artif. Intell. Rev. 22(1): 71-82 (2004) - 2003
- [j19]Francis Jeffry Pelletier, Alasdair Urquhart:
Synonymous Logics. J. Philos. Log. 32(3): 259-285 (2003) - [c5]Francis Jeffry Pelletier, Renee Elio:
Enumerating the Preconditions of Agent Message Types. AI 2003: 50-65 - 2002
- [j18]Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
The development of CASC. AI Commun. 15(2-3): 79-90 (2002) - [j17]Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier:
The IJCAR ATP System Competition. J. Autom. Reason. 28(3): 307-320 (2002) - [j16]Greg Carlson, Francis Jeffry Pelletier:
The Average American has 2.3 Children. J. Semant. 19(1): 73-104 (2002) - 2001
- [j15]Francis Jeffry Pelletier:
Did Frege Believe Frege's Principle? J. Log. Lang. Inf. 10(1): 87-114 (2001)
1990 – 1999
- 1998
- [j14]Francis Jeffry Pelletier:
Automated Natural Deduction in Thinker. Stud Logica 60(1): 3-43 (1998) - 1997
- [j13]Francis Jeffry Pelletier, Renee Elio:
What Should Default Reasoning Be, by Default? Comput. Intell. 13(2): 165-187 (1997) - [j12]Renee Elio, Francis Jeffry Pelletier:
Belief Change as Propositional Update. Cogn. Sci. 21(4): 419-460 (1997) - [j11]Francis Jeffry Pelletier, Geoff Sutcliffe:
An Erratum for Some Errata to ATP Problems. J. Autom. Reason. 18(1): 135 (1997) - [j10]Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. 18(2): 287-296 (1997) - [p1]Francis Jeffry Pelletier, Nicholas Asher:
Generics and Defaults. Handbook of Logic and Language 1997: 1125-1177 - 1996
- [j9]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): 239-285 (1996) - 1994
- [j8]Francis Jeffry Pelletier:
Responses to Elkan (Francis Jeffry Pelletier). IEEE Expert 9(4): 29-31 (1994) - 1993
- [j7]Francis Jeffry Pelletier:
Identity in modal logic theorem proving. Stud Logica 52(2): 291-308 (1993) - 1991
- [c4]Francis Jeffry Pelletier:
The Philosophy of Automated Theorem Proving. IJCAI 1991: 1039-1045 - 1990
- [j6]Francis Jeffry Pelletier, Norman M. Martin:
Post's Functional Completeness Theorem. Notre Dame J. Formal Log. 31(3): 462-475 (1990)
1980 – 1989
- 1988
- [j5]Francis Jeffry Pelletier, W. David Sharp:
On proving functional incompleteness in symbolic logic classes. Notre Dame J. Formal Log. 29(2): 235-248 (1988) - 1986
- [j4]Francis Jeffry Pelletier:
Seventy-Five Problems for Testing Automatic Theorem Provers. J. Autom. Reason. 2(2): 191-216 (1986) - [c3]Francis Jeffry Pelletier:
THINKER. CADE 1986: 701-702 - 1984
- [c2]Francis Jeffry Pelletier, Lenhart K. Schubert:
Two Theories For Computing The Logical Form Of Mass Expressions. COLING 1984: 108-111 - 1982
- [j3]Lenhart K. Schubert, Francis Jeffry Pelletier:
From English to Logic: Context-Free Computation of 'Conventional' Logical Translation. Am. J. Comput. Linguistics 8(1): 26-44 (1982) - [j2]Francis Jeffry Pelletier:
(X): comments on J. J. Katz's paper: "Common sense in semantics". Notre Dame J. Formal Log. 23(3): 316-326 (1982) - 1980
- [c1]Francis Jeffry Pelletier:
Formal Properties Of Rule Orderings In Linguistics. COLING 1980: 412-413
1970 – 1979
- 1974
- [j1]Francis Jeffry Pelletier:
On some proposals for the semantics of mass nouns. J. Philos. Log. 3(1-2): 87-108 (1974)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
