Provan, Gregory M.

34 publications

AAAI 2014 Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration Alexander Feldman, Gregory M. Provan

IJCAI 2013 Machine-Learning-Based Circuit Synthesis Lior Rokach, Meir Kalech, Gregory M. Provan, Alexander Feldman

AAAI 2012 Exploring the Duality in Conflict-Directed Model-Based Diagnosis Roni Tzvi Stern, Meir Kalech, Alexander Feldman, Gregory M. Provan

AAAI 2011 Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation Alie El-Din Mady, Gregory M. Provan, Conor Ryan, Kenneth N. Brown

JAIR 2010 A Model-Based Active Testing Approach to Sequential Diagnosis Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

JAIR 2010 Approximate Model-Based Diagnosis Using Greedy Stochastic Search Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

IJCAI 2009 FRACTAL: Efficient Fault Isolation Using Active Testing Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

IJCAI 2009 Solving Strong-Fault Diagnostic Models by Model Relaxation Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2008 Computing Minimal Diagnoses by Greedy Stochastic Search Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2008 Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund

AAAI 2008 Generating Application-Specific Benchmark Models for Complex Systems Jun Wang, Gregory M. Provan

AAAI 2008 Incremental Algorithms for Approximate Compilation Alberto Venturini, Gregory M. Provan

IJCAI 2007 Automated Benchmark Model Generators for Model-Based Diagnostic Inference Gregory M. Provan, Jun Wang

AAAI 2006 Approximate Compilation for Embedded Model-Based Reasoning Barry O'Sullivan, Gregory M. Provan

IJCAI 2003 A Novel Framework for Integrating Discrete Event System Control and Diagnosis Gregory M. Provan

AISTATS 2001 Stochastic System Monitoring and Control Gregory M. Provan

UAI 1997 A Standard Approach for Optimizing Belief Network Inference Using Query DAGs Adnan Darwiche, Gregory M. Provan

MLJ 1997 Learning with Probabilistic Representations Pat Langley, Gregory M. Provan, Padhraic Smyth

JAIR 1997 Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference Adnan Darwiche, Gregory M. Provan

AAAI 1997 The Effect of Observations on the Complexity of Model-Based Diagnosis Adnan Darwiche, Gregory M. Provan

ICML 1996 Efficient Learning of Selective Bayesian Network Classifiers Moninder Singh, Gregory M. Provan

UAI 1996 Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference Adnan Darwiche, Gregory M. Provan

UAI 1996 Why Is Diagnosis Using Belief Networks Insensitive to Imprecision in Probabilities? Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke

ICML 1995 A Comparison of Induction Algorithms for Selective and Non-Selective Bayesian Classifiers Moninder Singh, Gregory M. Provan

UAI 1995 Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning Gregory M. Provan

AISTATS 1995 Learning Bayesian Networks Using Feature Selection Gregory M. Provan, Moninder Singh

UAI 1994 An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders

UAI 1994 Knowledge Engineering for Large Belief Networks Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion

UAI 1993 Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams Gregory M. Provan

IJCAI 1991 An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms Colin J. H. McDiarmid, Gregory M. Provan

ECCV 1990 An Analysis of Knowledge Representation Schemes for High Level Vision Gregory M. Provan

UAI 1990 What Is the Most Likely Diagnosis? David L. Poole, Gregory M. Provan

IJCAI 1989 An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions Gregory M. Provan

AAAI 1987 Efficiency Analysis of Multiple-Context TMSs in Scene Representation Gregory M. Provan