The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan Stillman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Stillman
    The Complexity of Propositional Default Logics. [Citation Graph (1, 0)][DBLP]
    AAAI, 1992, pp:794-799 [Conf]
  2. Jonathan Stillman
    It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:571-578 [Conf]
  3. Paliath Narendran, Jonathan Stillman
    Formal Verification of the Sobel Image Processing Chip. [Citation Graph (0, 0)][DBLP]
    DAC, 1988, pp:211-217 [Conf]
  4. Ira J. Haimowitz, James Farley, Glenn S. Fields, Jonathan Stillman, Barbara J. Vivier
    Temporal Reasoning for Automated Workflow in Health Care Enterprises. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce, 1994, pp:87-113 [Conf]
  5. Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
    Semi-Unification. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:435-454 [Conf]
  6. Paliath Narendran, Jonathan Stillman
    It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. [Citation Graph (0, 0)][DBLP]
    STACS, 1989, pp:348-359 [Conf]
  7. Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman
    Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1989, pp:67-86 [Conf]
  8. Jonathan Stillman, Piero P. Bonissone
    Developing New Technologies for the ARPA-Rome Planning Initiative. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1995, v:10, n:1, pp:10-16 [Journal]
  9. Jonathan Stillman, Richard Arthur, Andrew Deitsch
    Tachyon: A Constraint-Based Temporal Model and its Implementation. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1993, v:4, n:3, pp:0-0 [Journal]
  10. Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
    Semi-Unification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:81, n:2, pp:169-187 [Journal]

Search in 0.002secs, Finished in 0.002secs
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