Gregory M. Provan (provan-gm)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Pradhan, Malcolm, Henrion, Max, Provan, Gregory M., Favero, Brendan A. del and Huang, Kurt. 1996. “The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation.” Artificial Intelligence 85(1–2): 363–397.
Provan, Gregory M. 1988. “A Complexity Analysis of Assumption-Based Truth Maintenance Systems.” in Reason Maintenance Systems and Their Applications, edited by Barbara M. Smith and Gerald Kelleher, pp. 98–113. Chichester, West Sussex: Ellis Horwood, Ltd.
Provan, Gregory M. 2002. “A Model-Based Diagnosis Framework for Distributed Embedded Systems.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 341–352. San Francisco, California: Morgan Kaufmann Publishers.
Provan, Gregory M. and Poole, David L. 1991. “The Utility of Consistency-Based Diagnostic Techniques.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 461–472. San Francisco, California: Morgan Kaufmann Publishers.