References
Bacchus, F. (1988), ‘Representing and Reasoning with Probabilistic Knowledge’,Research Report CS-88-31, Waterloo, Ontario: University of Waterloo Department of Computer Science.
Carnap, R. (1950),The Logical Foundations of Probability, Chicago: University of Chicago Press.
Church, A. (1956),Introduction To Mathematical Logic, Princeton: Princeton University Press.
Fagin, R. and Halpern, J. Y. (1991), ‘Uncertainty, Belief, and Probability,’Computational Intelligence 7, 160–173.
Godambe, V. P. and Sprott, D. A. (eds.) (1971),Foundations of Statistical Inference, Toronto: Holt Rinehart and Winston of Canada.
Halpern, J. Y. (1990), ‘An Analysis of First-Order Logics of Probability’,Artificial Intelligence 46, 311–350.
Keynes, J. M. (1921),A Treatise on Probability, New York: Macmillan.
Kyburg, H. E., Jr. (1991), ‘Beyond Specificity’, in B. Bouchon-Meunier, R. R. Yager, and L. A. Zadeh (eds.),Uncertainty in Knowledge Bases, Lecture Notes in Computer Science. Berlin: Springer Verlag, pp. 204–212.
Nagel, E. (1949),Principles of the Theory of Probability, Chicago: University of Chicago Press; originally published in 1939.
Pollock, J. L. (1984),Foundations of Philosophical Semantics, Princeton: Princeton University Press.
Ramsey, F. P. (1931),The Foundations of Mathematics and Other Essays, New York: Humanities Press.
Savage, L. J. (1954),Foundations of Statistics, New York, John Wiley.
Shafer, G. (1976),A Mathematical Theory of Evidence, Princeton: Princeton University Press.
Shortliffe, E. H. (1976)Computer-Based Medical Consultantions: Mycin, New York: American Elsevier.
References
Boyer, Robert S. and Moore, J Strother (1979),A Computational Logic Handbook, New York: Academic Press.
Fejer, Peter A. and Simovici, Dan A. (1991),Mathematical Foundations of Computer Science 1, Berlin: Springer Verlag.
Fetzer, James H. (1988), ‘Program Verification: The Very Idea’,Communications of the ACM 31, 1048–1063.
Fetzer, James H. (1991), ‘Philosophical Aspects of Program Verification’,Minds and Machines 1, 197–216.
Hamming, Richard W. (1992), Review of Fejer and Simovici 1991,Computer 25 (1) (January 1992), pp. 134–135.
Nelson, David A. (1992), ‘Deductive Program Verification (A Practitioner's Commentary)’,Minds and Machines 2, 283–307.
Poundstone, William (1992),Prisoner's Dilemma: John von Neumann, Game Theory and the Puzzle of the Bomb, New York: Doubleday.
Pountain, R. (1991), ‘VIPER's Demise Is Bad News for Formal Design Methods’,Byte, Vol. 16, No. 9, p. 88IS-3. [Editor's note: This page reference is toByte's international section.]
Reilly, K. D. F. (1991), Review ofA Computational Logic Handbook, Computing Reviews 32 (1), pp. 57–58.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kyburg, H.E., Nelson, D.A. Discussion reviews. Mind Mach 4, 81–101 (1994). https://doi.org/10.1007/BF00974206
Issue Date:
DOI: https://doi.org/10.1007/BF00974206