Volume

Volume 10

	Probabilistic Deduction with Conditional Constraints over Basic Events - T. Lukasiewicz
	Efficient Heuristic Hypothesis Ranking - S. Chien, A. Stechert and D. Mutz
	Issues in Stacked Generalization - K. M. Ting and I. H. Witten
	Cooperation between Top-Down and Bottom-Up Theorem Provers - D. Fuchs and M. Fuchs
	The Good Old Davis-Putnam Procedure Helps Counting Models - E. Birnbaum and E. L. Lozinskii
	Modeling Belief in Dynamic Systems, Part II: Revision and Update - N. Friedman and J. Y. Halpern
	Order of Magnitude Comparisons of Distance - E. Davis
	Variational Cumulant Expansions for Intractable Distributions - D. Barber
	Solving Highly Constrained Search Problems with Quantum Computers - T. Hogg
	Squeaky Wheel Optimization - D. E. Joslin and D. P. Clements
	A Counter Example to Theorems of Cox and Fine - J. Y. Halpern
	Extensible Knowledge Representation: the Case of Description Reasoners - A. Borgida
	Learning to Order Things - W. W. Cohen, R. E. Schapire and Y. Singer
	Constructing Conditional Plans by a Theorem-Prover - J. Rintanen
	Variational Probabilistic Inference and the QMR-DT Network - T. S. Jaakkola and M. I. Jordan
	Efficient Implementation of the Plan Graph in STAN - D. Long and M. Fox