Publications
(1986). On a Search Problem Related to Branch-and-Bound Procedures.
Proceedings of the 27th Annual Symposium on Foundations of Computer Science. 19-28.
(1986). U-Semantics, Second Round.
Quaderni di Semantica. 49-58.
(1986). Varieties of Conditional Sentences.
Proceedings of the Third Eastern States Conference on Linguistics. 163-182.
(1985). Artificial Intelligence Research on the Butterfly Multicomputer.
Proceedings of the Workshop on Artificial Intelligence and Distributed Problem Solving. 109-118.
(1985). Calculations for Cosmic Axion Detection.
55(17), 1797-1800.
(1985). The complexity of parallel computation.
Proceedings of the 23rd Annual Allerton Conference on Communication, Control, and Computing. 1.
(1985). Connectionist Models and Parallelism in High Level Vision.
CVGIP. 31, 178-200.
(1985). Connectionist Models and Their Applications.
9(1), 1-2.
(1985). Connections: Massive Parallelism in Natural and Artificial Intelligence.
277-284.
(1985). Evidential Reasoning in Semantic Networks: A Formal Theory.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. 465-474.
(1985). A fast parallel algorithm for the maximal independent set problem.
Journal of the Association for Computing Machinery. 32(4), 762-773.
(1985). Four Frames Suffice: A Provisional Model of Vision and Space.
Behavioral and Brain Sciences. 8, 265-289.
(1985). Frames and the Semantics of Understanding.
Quaderni di Semantica. 6(2), 222-254.
(1985). Monte-Carlo Algorithms for the Planar Multiterminal Network Reliability Problem.
Journal of Complexity. 1,
(1985). Monte-Carlo Algorithms for the Planar Multiterminal Network Reliability Problem.
Proceedings of the Symposium on the Complexity of Approximately Solved Problems. 45-64.
(1985). Prospects for Axion Detection.
Dark Matter in the Universe: Proceedings of IAU Symposium 117.
(1985). Recent Progress of the Rochester Image Understanding Project.
Proceedings of the DARPA Image Understanding Workshop.
(1985). Research with the Butterfly Multicomputer.
3-23.
(1984). Evidential Inference in Activation Networks.
Proceedings of the 6th Cognitive Science Conference.

]