Search the dblp DataBase

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]