Jonathan Stillman

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Singly Connected

Biological Data

Probabilistic Reasoning

Belief Networks

Top Venues

Publications

Rahul Singh, Hui Yang, Ben Dalziel, Daniel Asarnow, William Murad, David Foote, Matthew Gormley, Jonathan Stillman, Susan Fisher
Towards human-computer synergetic analysis of large-scale biological data. BMC Bioinform. 14 (S-14) (2013)
Jonathan Stillman
On Heuristics for Finding Loop Cutsets in Multiply-Connected Belief Networks CoRR (2013)
Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman
Uncertainty and Incompleteness CoRR (2013)
Jonathan Stillman, Piero P. Bonissone
Developing New Technologies for the ARPA-Rome Planning Initiative. IEEE Expert 10 (1) (1995)
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)
Jonathan Stillman, Richard Arthur, Andrew Deitsch
Tachyon: A Constraint-Based Temporal Model and its Implementation. SIGART Bull. 4 (3) (1993)
Jonathan Stillman
The Complexity of Propositional Default Logics. AAAI (1992)
Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
Semi-Unification. Theor. Comput. Sci. 81 (2) (1991)
Jonathan Stillman
It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics. AAAI (1990)
Paliath Narendran, Jonathan Stillman
It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair. STACS (1989)
Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman
Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. UAI (1989)
Paliath Narendran, Jonathan Stillman
Formal Verification of the Sobel Image Processing Chip. DAC (1988)
Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman
Semi-Unification. FSTTCS (1988)