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