Gregory Provan
Gregory Provan
Professor of Computer Science, University College Cork
Verified email at
Cited by
Cited by
Knowledge engineering for large belief networks
M Pradhan, G Provan, B Middleton, M Henrion
Uncertainty Proceedings 1994, 484-490, 1994
The sensitivity of belief networks to imprecise probabilities: An experimental investigation
M Pradhan, M Henrion, G Provan, B Del Favero, K Huang
Artificial intelligence 85 (1-2), 363-397, 1996
Efficient learning of selective Bayesian network classifiers
M Singh, GM Provan
Proceedings of the Thirteenth International Conference on International …, 1996
Distributed maintenance system based on causal networks
GM Provan, CJ Sitter
US Patent 6,208,955, 2001
Exploring the duality in conflict-directed model-based diagnosis
R Stern, M Kalech, A Feldman, G Provan
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 828-834, 2012
Why is diagnosis using belief networks insensitive to imprecision in probabilities?
M Henrion, M Pradhan, B Del Favero, K Huang, GM Provan, P O'Rorke
arXiv preprint arXiv:1302.3582, 2013
A logic-based analysis of Dempster-Shafer theory
GM Provan
International Journal of Approximate Reasoning 4 (5-6), 451-495, 1990
Modeling and diagnosis of timed discrete event systems-a factory automation example
YL Chen, G Provan
Proceedings of the 1997 American Control Conference (Cat. No. 97CH36041) 1 …, 1997
Embedded diagnostic system and method
G Provan, A Darwiche
US Patent 6,539,337, 2003
Approximate model-based diagnosis using greedy stochastic search
A Feldman, G Provan, A Van Gemund
Journal of Artificial Intelligence Research 38, 371-413, 2010
Exploiting system structure in model-based diagnosis of discrete-event systems
A Darwiche, G Provan
Proc. 7th Intl. Workshop on Principles of Diagnosis 95105, 1996
Dynamic network construction and updating techniques for the diagnosis of acute abdominal pain
GM Provan, JR Clarke
IEEE Transactions on Pattern Analysis and Machine Intelligence 15 (3), 299-307, 1993
Query DAGs: A practical paradigm for implementing belief-network inference
A Darwiche, G Provan
Journal of Artificial Intelligence Research 6, 147-176, 1997
Computing Minimal Diagnoses by Greedy Stochastic Search.
A Feldman, GM Provan, AJC Van Gemund
AAAI 8, 911-918, 2008
Stochastic model predictive controller for the integration of building use and temperature regulation
AED Mady, G Provan, C Ryan, K Brown
Proceedings of the AAAI conference on artificial intelligence 25 (1), 1371-1376, 2011
Integrated stoichiometric, thermodynamic and kinetic modelling of steady state metabolism
RMT Fleming, I Thiele, G Provan, HP Nasheuer
Journal of theoretical biology 264 (3), 683-692, 2010
A comparison of induction algorithms for selective and non-selective Bayesian classifiers
M Singh, GM Provan
Machine Learning Proceedings 1995, 497-505, 1995
Codon size reduction as the origin of the triplet genetic code
PV Baranov, M Venin, G Provan
PLoS One 4 (5), e5708, 2009
Tradeoffs in constructing and evaluating temporal influence diagrams
GM Provan
Uncertainty in Artificial Intelligence, 40-47, 1993
The validity of Dempster-Shafer belief functions
GM Provan
International Journal of Approximate Reasoning 6 (3), 389-399, 1992
The system can't perform the operation now. Try again later.
Articles 1–20