Jonathan Stillman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1988–1994
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | EC | Temporal Reasoning for Automated Workflow in Health Care Enterprises. | Ira J. Haimowitz, James Farley, Glenn S. Fields, Jonathan Stillman, Barbara J. Vivier |
| 1992 | AAAI | The Complexity of Propositional Default Logics. | Jonathan Stillman |
| 1990 | AAAI | It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. | Jonathan Stillman |
| 1989 | UAI | Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. | Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman |
| 1989 | STACS | It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. | Paliath Narendran, Jonathan Stillman |
| 1988 | DAC | Formal Verification of the Sobel Image Processing Chip. | Paliath Narendran, Jonathan Stillman |