Search the dblp DataBase
Francis Jeffry Pelletier :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Francis Jeffry Pelletier , Renee Elio Enumerating the Preconditions of Agent Message Types. [Citation Graph (0, 0)][DBLP ] Canadian Conference on AI, 2003, pp:50-65 [Conf ] Francis Jeffry Pelletier THINKER. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:701-702 [Conf ] Francis Jeffry Pelletier Formal Properties Of Rule Orderings In Linguistics. [Citation Graph (0, 0)][DBLP ] COLING, 1980, pp:412-413 [Conf ] Francis Jeffry Pelletier , Lenhart K. Schubert Two Theories For Computing The Logical Form Of Mass Expressions. [Citation Graph (0, 0)][DBLP ] COLING, 1984, pp:108-111 [Conf ] Francis Jeffry Pelletier The Philosophy of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] IJCAI, 1991, pp:1039-1045 [Conf ] Francis Jeffry Pelletier , Geoff Sutcliffe , Christian B. Suttner The development of CASC. [Citation Graph (0, 0)][DBLP ] AI Commun., 2002, v:15, n:2-3, pp:79-90 [Journal ] Francis Jeffry Pelletier On Some Alleged Misconceptions about Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Rev., 2004, v:22, n:1, pp:71-82 [Journal ] Francis Jeffry Pelletier , Renee Elio What Should Default Reasoning Be, by Default? [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1997, v:13, n:2, pp:165-187 [Journal ] Renee Elio , Francis Jeffry Pelletier Belief Change as Propositional Update. [Citation Graph (0, 0)][DBLP ] Cognitive Science, 1997, v:21, n:4, pp:419-460 [Journal ] Lenhart K. Schubert , Francis Jeffry Pelletier From English to Logic: Context-Free Computation of `Conventional' Logical Translation. [Citation Graph (0, 0)][DBLP ] American Journal of Computational Linguistics, 1982, v:8, n:1, pp:26-44 [Journal ] Francis Jeffry Pelletier Representation and Inference for Natural Language: A First Course in Computational Semantics. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 2006, v:32, n:2, pp:283-286 [Journal ] Francis Jeffry Pelletier Foundations of Intensional Semantics. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 2006, v:32, n:2, pp:291-0 [Journal ] Francis Jeffry Pelletier Responses to Elkan (Francis Jeffry Pelletier). [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1994, v:9, n:4, pp:29-31 [Journal ] Francis Jeffry Pelletier Seventy-Five Problems for Testing Automatiac Theorem Provers. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1986, v:2, n:2, pp:191-216 [Journal ] Francis Jeffry Pelletier , Geoff Sutcliffe An Erratum for Some Errata to ATP Problems. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:1, pp:135- [Journal ] Francis Jeffry Pelletier , Geoff Sutcliffe , Christian B. Suttner Conclusions about the CADE-13 ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1997, v:18, n:2, pp:287-296 [Journal ] Geoff Sutcliffe , Christian B. Suttner , Francis Jeffry Pelletier The IJCAR ATP System Competition. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2002, v:28, n:3, pp:307-320 [Journal ] Francis Jeffry Pelletier Did Frege Believe Frege's Principle? [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 2001, v:10, n:1, pp:87-114 [Journal ] Francis Jeffry Pelletier , Norman M. Martin Post's Functional Completeness Theorem. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1990, v:31, n:3, pp:462-475 [Journal ] Francis Jeffry Pelletier Identity in modal logic theorem proving. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1993, v:52, n:2, pp:291-308 [Journal ] Francis Jeffry Pelletier Automated Natural Deduction in Thinker. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1998, v:60, n:1, pp:3-43 [Journal ] James P. Delgrande , Francis Jeffry Pelletier , Matthew Suderman Compositional Belief Update. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2007, pp:68-73 [Conf ] Ontological Lessons from the Semantics of Mass and Count Nouns. [Citation Graph (, )][DBLP ] Search in 0.110secs, Finished in 0.112secs