Francis Jeffry Pelletier

	2008
25		James P. Delgrande, Yi Jin, Francis Jeffry Pelletier: Compositional Belief Update. J. Artif. Intell. Res. (JAIR) 32: 757-791 (2008)
24		Francis Jeffry Pelletier, Andrew Hartline: Ternary Exclusive Or. Logic Journal of the IGPL 16(1): 75-83 (2008)
23		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		Francis Jeffry Pelletier: Representation and Inference for Natural Language: A First Course in Computational Semantics. Computational Linguistics 32(2): 283-286 (2006)
20		Francis Jeffry Pelletier: Foundations of Intensional Semantics. Computational Linguistics 32(2): 291- (2006)
	2004
19		Francis Jeffry Pelletier: On Some Alleged Misconceptions about Fuzzy Logic. Artif. Intell. Rev. 22(1): 71-82 (2004)
	2003
18		Francis Jeffry Pelletier, Renee Elio: Enumerating the Preconditions of Agent Message Types. Canadian Conference on AI 2003: 50-65
	2002
17		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		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		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		Francis Jeffry Pelletier: Formal Properties Of Rule Orderings In Linguistics. COLING 1980: 412-413

Coauthor Index

1	James P. Delgrande	[22] [25]
2	Renée Elio (Renee Elio)	[12] [13] [18] [23]
3	Philip Hanson	[23]
4	Andrew Hartline	[24]
5	Yi Jin	[25]
6	Norman M. Martin	[6]
7	Lenhart K. Schubert	[2] [3]
8	Matthew Suderman (Matthew J. Suderman)	[22]
9	Geoff Sutcliffe	[10] [11] [16] [17]
10	Christian B. Suttner	[10] [16] [17]

Colors in the list of coauthors