Francis Jeffry Pelletier - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2019

JGXYZ: An ATP System for Gap and Glut LogicsGeoff Sutcliffe, Francis Jeffry Pelletier. cade 2019: 526-537 [doi]

2018

Second-Order Logic of ParadoxAllen P. Hazen, Francis Jeffry Pelletier. ndjfl, 59(4):547-558, 2018. [doi]

Pecularities of Some Three- and Four-Valued Second Order LogicsAllen P. Hazen, Francis Jeffry Pelletier. lu, 12(3-4):493-509, 2018. [doi]

Making Belnap's "Useful 4-Valued Logic" UsefulGeoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen. flairs 2018: 116-121 [doi]

2017

2016

A sense-based lexicon of count and mass expressions: The Bochum English Countability LexiconTibor Kiss, Francis Jeffry Pelletier, Halima Husic, Roman Nino Simunic, Johanna Marie Poppek. lrec 2016: [doi]

Hoping for the Truth - A Survey of the TPTP LogicsGeoff Sutcliffe, Francis Jeffry Pelletier. flairs 2016: 110-115 [doi]

2015

Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of DependenceMehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier. IJCAI 2015: 3134-3140 [doi]

2014

Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly DifferentAllen P. Hazen, Francis Jeffry Pelletier. sLogica, 102(6):1103-1142, 2014. [doi]

Building a reference lexicon for countability in EnglishTibor Kiss, Francis Jeffry Pelletier, Tobias Stadtfeld. lrec 2014: 995-1000 [doi]

Belief Change and Base DependenceMehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich. kr 2014: [doi]

2012

PrefaceDov M. Gabbay, Francis Jeffry Pelletier, John Woods. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, Elsevier, 2012. [doi]

A History of Natural DeductionFrancis Jeffry Pelletier, Allen P. Hazen. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, pages 341-414, Elsevier, 2012. [doi]

2010

Ontological Lessons from the Semantics of Mass and Count NounsFrancis Jeffry Pelletier. fois 2010: 3-4 [doi]

2008

Compositional Belief UpdateJames P. Delgrande, Yi Jin, Francis Jeffry Pelletier. jair, 32:757-791, 2008. [doi]

Is Logic all in our Heads? From Naturalism to PsychologismFrancis Jeffry Pelletier, Renee Elio, Philip Hanson. sLogica, 88(1):3-66, 2008. [doi]

Ternary Exclusive ::::Or::::Francis Jeffry Pelletier, Andrew Hartline. igpl, 16(1):75-83, 2008. [doi]

Synonymous Logics: A CorrectionFrancis Jeffry Pelletier, Alasdair Urquhart. jphil, 37(1):95-100, 2008. [doi]

2007

Compositional Belief UpdateJames P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman. flairs 2007: 68-73

2006

Representation and Inference for Natural Language: A First Course in Computational SemanticsFrancis Jeffry Pelletier. coling, 32(2):283-286, 2006. [doi]

Foundations of Intensional SemanticsFrancis Jeffry Pelletier. coling, 32(2):291, 2006. [doi]

2005

The Case for Psychologism in Default and Inheritance ReasoningFrancis Jeffry Pelletier, Renée Elio. synthese, 146(1-2):7-35, 2005. [doi]

2004

On Some Alleged Misconceptions about Fuzzy LogicFrancis Jeffry Pelletier. air, 22(1):71-82, 2004. [doi]

2003

Enumerating the Preconditions of Agent Message TypesFrancis Jeffry Pelletier, Renee Elio. ai 2003: 50-65 [doi]

Synonymous LogicsFrancis Jeffry Pelletier, Alasdair Urquhart. jphil, 32(3):259-285, 2003. [doi]

2002

The Average American has 2.3 ChildrenGreg Carlson, Francis Jeffry Pelletier. jsemantics, 19(1):73-104, 2002. [doi]

The development of CASCFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. aicom, 15(2-3):79-90, 2002. [doi]

The IJCAR ATP System CompetitionGeoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier. JAR, 28(3):307-320, 2002.

2001

Did Frege Believe Frege s Principle?Francis Jeffry Pelletier. jolli, 10(1):87-114, 2001.

1998

Automated Natural Deduction in ThinkerFrancis Jeffry Pelletier. sLogica, 60(1):3-43, 1998.

1997

Belief Change as Propositional UpdateRenee Elio, Francis Jeffry Pelletier. cogsci, 21(4):419-460, 1997.

What Should Default Reasoning Be, by Default?Francis Jeffry Pelletier, Renee Elio. ci, 13(2):165-187, 1997.

Generics and DefaultsFrancis Jeffry Pelletier, Nicholas Asher. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 1125-1177, North Holland / Elsevier, 1997. [doi]

An Erratum for Some Errata to ATP ProblemsFrancis Jeffry Pelletier, Geoff Sutcliffe. JAR, 18(1):135, 1997.

Conclusions about the CADE-13 ATP System CompetitionFrancis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner. JAR, 18(2):287-296, 1997.

1996

Book reviewsBarbara 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. mima, 6(2):239-285, 1996. [doi]

1994

Responses to Elkan (Francis Jeffry Pelletier)Francis Jeffry Pelletier. expert, 9(4):29-31, 1994. [doi]

1993

Identity in modal logic theorem provingFrancis Jeffry Pelletier. sLogica, 52(2):291-308, 1993.

1991

The Philosophy of Automated Theorem ProvingFrancis Jeffry Pelletier. IJCAI 1991: 1039-1045

1990

Post s Functional Completeness TheoremFrancis Jeffry Pelletier, Norman M. Martin. ndjfl, 31(3):462-475, 1990.

1988

On proving functional incompleteness in symbolic logic classesFrancis Jeffry Pelletier, W. David Sharp. ndjfl, 29(2):235-248, 1988. [doi]

1986

THINKERFrancis Jeffry Pelletier. cade 1986: 701-702

Seventy-Five Problems for Testing Automatiac Theorem ProversFrancis Jeffry Pelletier. JAR, 2(2):191-216, 1986.

1984

Two Theories For Computing The Logical Form Of Mass ExpressionsFrancis Jeffry Pelletier, Lenhart K. Schubert. COLING 1984: 108-111 [doi]

1982

(X): comments on J. J. Katz's paper: "Common sense in semantics"Francis Jeffry Pelletier. ndjfl, 23(3):316-326, 1982. [doi]

From English to Logic: Context-Free Computation of Conventional Logical TranslationLenhart K. Schubert, Francis Jeffry Pelletier. coling, 8(1):26-44, 1982.

1980

Formal Properties Of Rule Orderings In LinguisticsFrancis Jeffry Pelletier. COLING 1980: 412-413 [doi]

1974

On some proposals for the semantics of mass nounsFrancis Jeffry Pelletier. jphil, 3(1-2):87-108, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL