The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Francis Jeffry Pelletier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Francis Jeffry Pelletier
    THINKER. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:701-702 [Conf]
  3. Francis Jeffry Pelletier
    Formal Properties Of Rule Orderings In Linguistics. [Citation Graph (0, 0)][DBLP]
    COLING, 1980, pp:412-413 [Conf]
  4. 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]
  5. Francis Jeffry Pelletier
    The Philosophy of Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:1039-1045 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Francis Jeffry Pelletier
    Foundations of Intensional Semantics. [Citation Graph (0, 0)][DBLP]
    Computational Linguistics, 2006, v:32, n:2, pp:291-0 [Journal]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Francis Jeffry Pelletier
    Automated Natural Deduction in Thinker. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:60, n:1, pp:3-43 [Journal]
  22. James P. Delgrande, Francis Jeffry Pelletier, Matthew Suderman
    Compositional Belief Update. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:68-73 [Conf]

  23. Ontological Lessons from the Semantics of Mass and Count Nouns. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002