| 2008 |
|---|
| 24 | EE | Francis Jeffry Pelletier,
Andrew Hartline:
Ternary Exclusive Or.
Logic Journal of the IGPL 16(1): 75-83 (2008) |
| 23 | EE | Francis Jeffry Pelletier,
Renée Elio,
Philip Hanson:
Is Logic all in our Heads? From Naturalism to Psychologism.
Studia Logica 88(1): 3-66 (2008) |
| 2007 |
|---|
| 22 | | James P. Delgrande,
Francis Jeffry Pelletier,
Matthew Suderman:
Compositional Belief Update.
FLAIRS Conference 2007: 68-73 |
| 2006 |
|---|
| 21 | EE | Francis Jeffry Pelletier:
Representation and Inference for Natural Language: A First Course in Computational Semantics.
Computational Linguistics 32(2): 283-286 (2006) |
| 20 | EE | Francis Jeffry Pelletier:
Foundations of Intensional Semantics.
Computational Linguistics 32(2): 291- (2006) |
| 2004 |
|---|
| 19 | EE | Francis Jeffry Pelletier:
On Some Alleged Misconceptions about Fuzzy Logic.
Artif. Intell. Rev. 22(1): 71-82 (2004) |
| 2003 |
|---|
| 18 | EE | Francis Jeffry Pelletier,
Renee Elio:
Enumerating the Preconditions of Agent Message Types.
Canadian Conference on AI 2003: 50-65 |
| 2002 |
|---|
| 17 | EE | Francis Jeffry Pelletier,
Geoff Sutcliffe,
Christian B. Suttner:
The development of CASC.
AI Commun. 15(2-3): 79-90 (2002) |
| 16 | | Geoff Sutcliffe,
Christian B. Suttner,
Francis Jeffry Pelletier:
The IJCAR ATP System Competition.
J. Autom. Reasoning 28(3): 307-320 (2002) |
| 2001 |
|---|
| 15 | | Francis Jeffry Pelletier:
Did Frege Believe Frege's Principle?
Journal of Logic, Language and Information 10(1): 87-114 (2001) |
| 1998 |
|---|
| 14 | | Francis Jeffry Pelletier:
Automated Natural Deduction in Thinker.
Studia Logica 60(1): 3-43 (1998) |
| 1997 |
|---|
| 13 | | Renee Elio,
Francis Jeffry Pelletier:
Belief Change as Propositional Update.
Cognitive Science 21(4): 419-460 (1997) |
| 12 | | Francis Jeffry Pelletier,
Renee Elio:
What Should Default Reasoning Be, by Default?
Computational Intelligence 13(2): 165-187 (1997) |
| 11 | | Francis Jeffry Pelletier,
Geoff Sutcliffe:
An Erratum for Some Errata to ATP Problems.
J. Autom. Reasoning 18(1): 135 (1997) |
| 10 | | Francis Jeffry Pelletier,
Geoff Sutcliffe,
Christian B. Suttner:
Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 287-296 (1997) |
| 1994 |
|---|
| 9 | EE | Francis Jeffry Pelletier:
Responses to Elkan (Francis Jeffry Pelletier).
IEEE Expert 9(4): 29-31 (1994) |
| 1993 |
|---|
| 8 | | Francis Jeffry Pelletier:
Identity in modal logic theorem proving.
Studia Logica 52(2): 291-308 (1993) |
| 1991 |
|---|
| 7 | | Francis Jeffry Pelletier:
The Philosophy of Automated Theorem Proving.
IJCAI 1991: 1039-1045 |
| 1990 |
|---|
| 6 | | Francis Jeffry Pelletier,
Norman M. Martin:
Post's Functional Completeness Theorem.
Notre Dame Journal of Formal Logic 31(3): 462-475 (1990) |
| 1986 |
|---|
| 5 | | Francis Jeffry Pelletier:
THINKER.
CADE 1986: 701-702 |
| 4 | | Francis Jeffry Pelletier:
Seventy-Five Problems for Testing Automatiac Theorem Provers.
J. Autom. Reasoning 2(2): 191-216 (1986) |
| 1984 |
|---|
| 3 | EE | Francis Jeffry Pelletier,
Lenhart K. Schubert:
Two Theories For Computing The Logical Form Of Mass Expressions.
COLING 1984: 108-111 |
| 1982 |
|---|
| 2 | | Lenhart K. Schubert,
Francis Jeffry Pelletier:
From English to Logic: Context-Free Computation of `Conventional' Logical Translation.
American Journal of Computational Linguistics 8(1): 26-44 (1982) |
| 1980 |
|---|
| 1 | EE | Francis Jeffry Pelletier:
Formal Properties Of Rule Orderings In Linguistics.
COLING 1980: 412-413 |
