dblp.uni-trier.dewww.uni-trier.de

Francis Jeffry Pelletier Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)