Jonathan Stillman

According to our database, Jonathan Stillman authored at least 12 papers between 1988 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Uncertainty and Incompleteness

Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman

CoRR, 2013

On Heuristics for Finding Loop Cutsets in Multiply-Connected Belief Networks

Jonathan Stillman

CoRR, 2013

Towards human-computer synergetic analysis of large-scale biological data.

Rahul Singh, Hui Yang, Ben Dalziel, Daniel Asarnow, William Murad, David Foote, Matthew Gormley, Jonathan Stillman, Susan Fisher

BMC Bioinform., 2013

1995

Developing New Technologies for the ARPA-Rome Planning Initiative.

Jonathan Stillman, Piero P. Bonissone

IEEE Expert, 1995

1994

Temporal Reasoning for Automated Workflow in Health Care Enterprises.

Ira J. Haimowitz, James Farley, Glenn S. Fields, Jonathan Stillman, Barbara J. Vivier

Proceedings of the Electronic Commerce, 1994

1993

Tachyon: A Constraint-Based Temporal Model and its Implementation.

Jonathan Stillman, Richard Arthur, Andrew Deitsch

SIGART Bull., 1993

1992

The Complexity of Propositional Default Logics.

Jonathan Stillman

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Semi-Unification.

Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman

Theor. Comput. Sci., 1991

1990

It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics.

Jonathan Stillman

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning.

Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman

Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair.

Paliath Narendran, Jonathan Stillman

Proceedings of the STACS 89, 1989

1988

Formal Verification of the Sobel Image Processing Chip.

Paliath Narendran, Jonathan Stillman

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988