dblp.uni-trier.dewww.uni-trier.de

Jonathan Stillman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
10EEJonathan 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
4EEPaliath Narendran, Jonathan Stillman: It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. STACS 1989: 348-359
3EEPiero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman: Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. UAI 1989: 67-86
1988
2EEPaliath Narendran, Jonathan Stillman: Formal Verification of the Sobel Image Processing Chip. DAC 1988: 211-217
1EEDeepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman: Semi-Unification. FSTTCS 1988: 435-454

Coauthor Index

1Richard Arthur [8]
2Piero P. Bonissone [3] [10]
3David A. Cyrluk [3]
4Andrew Deitsch [8]
5James Farley [9]
6Glenn S. Fields [9]
7James W. Goodwin [3]
8Ira J. Haimowitz [9]
9Deepak Kapur [1] [6]
10David R. Musser [1] [6]
11Paliath Narendran [1] [2] [4] [6]
12Barbara J. Vivier [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)