Jonathan Stillman

13 papers A* 3A 2C 1Journal 6Unranked 1

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	On Heuristics for Finding Loop Cutsets in Multiply-Connected Belief Networks CoRR Jonathan Stillman
2013	J	`jnl`	Towards human-computer synergetic analysis of large-scale biological data. BMC Bioinform. Rahul Singh, Hui Yang, Ben Dalziel, Daniel Asarnow, William Murad, David Foote, Matthew Gormley, Jonathan Stillman, Susan Fisher
2013	J	`jnl`	Uncertainty and Incompleteness CoRR Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman
1995	J	`jnl`	Developing New Technologies for the ARPA-Rome Planning Initiative. IEEE Expert Jonathan Stillman, Piero P. Bonissone
1994	C	`conf`	Temporal Reasoning for Automated Workflow in Health Care Enterprises. Electronic Commerce Ira J. Haimowitz, James Farley, Glenn S. Fields, Jonathan Stillman, Barbara J. Vivier
1993	J	`jnl`	Tachyon: A Constraint-Based Temporal Model and its Implementation. SIGART Bull. Jonathan Stillman, Richard Arthur, Andrew Deitsch
1992	A*	`conf`	The Complexity of Propositional Default Logics. AAAI Jonathan Stillman
1991	J	`jnl`	Semi-Unification. Theor. Comput. Sci. Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
1990	A*	`conf`	It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. AAAI Jonathan Stillman
1989	A	`conf`	It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. STACS Paliath Narendran, Jonathan Stillman
1989	A	`conf`	Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. UAI Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman
1988	A*	`conf`	Formal Verification of the Sobel Image Processing Chip. DAC Paliath Narendran, Jonathan Stillman
1988	—	`conf`	Semi-Unification. FSTTCS Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman