Follow
Gregory Provan
Gregory Provan
Professor of Computer Science, University College Cork
Verified email at cs.ucc.ie
Title
Cited by
Cited by
Year
Knowledge engineering for large belief networks
M Pradhan, G Provan, B Middleton, M Henrion
Uncertainty Proceedings 1994, 484-490, 1994
2661994
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
1751996
Efficient learning of selective Bayesian network classifiers
M Singh, GM Provan
Proceedings of the Thirteenth International Conference on International …, 1996
1381996
Distributed maintenance system based on causal networks
GM Provan, CJ Sitter
US Patent 6,208,955, 2001
1192001
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
1022012
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
992013
A logic-based analysis of Dempster-Shafer theory
GM Provan
International Journal of Approximate Reasoning 4 (5-6), 451-495, 1990
981990
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
901997
Embedded diagnostic system and method
G Provan, A Darwiche
US Patent 6,539,337, 2003
822003
Approximate model-based diagnosis using greedy stochastic search
A Feldman, G Provan, A Van Gemund
Journal of Artificial Intelligence Research 38, 371-413, 2010
782010
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
751996
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
731993
Query DAGs: A practical paradigm for implementing belief-network inference
A Darwiche, G Provan
Journal of Artificial Intelligence Research 6, 147-176, 1997
711997
Computing Minimal Diagnoses by Greedy Stochastic Search.
A Feldman, GM Provan, AJC Van Gemund
AAAI 8, 911-918, 2008
702008
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
672011
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
622010
A comparison of induction algorithms for selective and non-selective Bayesian classifiers
M Singh, GM Provan
Machine Learning Proceedings 1995, 497-505, 1995
621995
Codon size reduction as the origin of the triplet genetic code
PV Baranov, M Venin, G Provan
PLoS One 4 (5), e5708, 2009
592009
Tradeoffs in constructing and evaluating temporal influence diagrams
GM Provan
Uncertainty in Artificial Intelligence, 40-47, 1993
571993
The validity of Dempster-Shafer belief functions
GM Provan
International Journal of Approximate Reasoning 6 (3), 389-399, 1992
501992
The system can't perform the operation now. Try again later.
Articles 1–20