Gregory M. Provan

Adnan Darwiche, Gregory M. Provan: A Standard Approach for Optimizing Belief Network Inference using Query DAGs. CoRR abs/1302.1532 (2013)

Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke: Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities? CoRR abs/1302.3582 (2013)

Gregory M. Provan: Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. CoRR abs/1302.4979 (2013)

Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders: An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. CoRR abs/1302.6818 (2013)

Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion: Knowledge Engineering for Large Belief Networks. CoRR abs/1302.6839 (2013)

Gregory M. Provan: Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. CoRR abs/1303.1458 (2013)

Gregory M. Provan: Dynamic Network Updating Techniques For Diagnostic Reasoning. CoRR abs/1303.5739 (2013)

David L. Poole, Gregory M. Provan: What is an Optimal Diagnosis? CoRR abs/1304.1087 (2013)

Gregory M. Provan: A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition. CoRR abs/1304.1523 (2013)

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

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate Model-Based Diagnosis Using Greedy Stochastic Search. J. Artif. Intell. Res. (JAIR) 38: 371-413 (2010)

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: A Model-Based Active Testing Approach to Sequential Diagnosis. J. Artif. Intell. Res. (JAIR) 39: 301-334 (2010)

Peter Struss, Gregory M. Provan, Johan de Kleer, Gautam Biswas: Special Issue on Model-Based Diagnostics. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 870-873 (2010)

Jun Wang, Gregory M. Provan: A Benchmark Diagnostic Model Generation System. IEEE Transactions on Systems, Man, and Cybernetics, Part A 40(5): 959-981 (2010)

Marion Behrens, Gregory M. Provan: Temporal Model-Based Diagnostics Generation for HVAC Control Systems. ICMT 2010: 31-44

Jun Wang, Gregory M. Provan: Topological Analysis of Specific Spatial Complex Networks. Advances in Complex Systems 12(1): 45-71 (2009)

Jun Wang, Gregory M. Provan: Characterizing the Structural Complexity of Real-World Complex Networks. Complex (1) 2009: 1178-1189

Jun Wang, Gregory M. Provan: A Comparative Analysis of Specific Spatial Network Topological Models. Complex (2) 2009: 1514-1525

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

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

Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas Kuhn, Arjan J. C. van Gemund: Automated Redesign with the General Redesign Engine. SARA 2009

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

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

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

Alberto Venturini, Gregory M. Provan: Incremental Algorithms for Approximate Compilation. AAAI 2008: 1495-1498

Gregory M. Provan: Test Generation for Model-Based Diagnosis. ECAI 2008: 199-203

Adamo Santana, Gregory M. Provan: An Analysis of Bayesian Network Model-Approximation Techniques. ECAI 2008: 851-852

Margarita Razgon, Gregory M. Provan: Adding Flexibility to Russian Doll Search. ICTAI (1) 2008: 163-171

Igor Razgon, Barry O'Sullivan, Gregory M. Provan: Generalizing Global Constraints Based on Network Flows. CSCLP 2007: 127-141

Margarita Razgon, Barry O'Sullivan, Gregory M. Provan: Search Ordering Heuristics for Restarts-Based Constraint Solving. FLAIRS Conference 2007: 182-183

Olga Heling-Tveretina, Gregory M. Provan: On Approximate Knowledge Compilation with Weighted Decision Diagrams. IC-AI 2007: 470-475

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

Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Approximate Model-Based Diagnosis Using Greedy Stochastic Search. SARA 2007: 139-154

Barry O'Sullivan, Gregory M. Provan: Approximate Compilation for Embedded Model-based Reasoning. AAAI 2006: 894-899

Gregory M. Provan: An Empirical Analysis of the Complexity of Model-Based Diagnosis. ECAI 2006: 783-784

Gregory M. Provan: Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS 2006: 217-226

Gregory M. Provan: Approximate Model-Based Diagnosis Using Preference-Based Compilation. SARA 2005: 182-193

Gregory M. Provan: Inferential Complexity Control for Model-Based Abduction. KR 2004: 415-426

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

Gregory M. Provan, Yi-Liang Chen: Agent-Based, Distributed Diagnosis for Shipboard Systems. BASYS 2002: 281-288

Gregory M. Provan: A Model-Based Diagnosis Framework for Distributed Embedded Systems. KR 2002: 341-352

Gregory M. Provan, Yi-Liang Chen: Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies. IEEE Micro 21(5): 64-76 (2001)

Gregory M. Provan, David Glover: An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components. AI Commun. 12(1-2): 19-32 (1999)

Adnan Darwiche, Gregory M. Provan: Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. J. Artif. Intell. Res. (JAIR) 6: 147-176 (1997)

Pat Langley, Gregory M. Provan, Padhraic Smyth: Learning with Probabilistic Representations. Machine Learning 29(2-3): 91-101 (1997)

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

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

Adnan Darwiche, Gregory M. Provan: Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. CoRR cs.AI/9705101 (1997)

Malcolm Pradhan, Max Henrion, Gregory M. Provan, Brendan Del Favero, Kurt Huang: The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation. Artif. Intell. 85(1-2): 363-397 (1996)

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

Gregory M. Provan, Moninder Singh: Data Mining and Model Simplicity: A Case Study in Diagnosis. KDD 1996: 57-62

Adnan Darwiche, Gregory M. Provan: Query DAGs: A practical paradigm for implementing belief-network inference. UAI 1996: 203-210

Max Henrion, Malcolm Pradhan, Brendan Del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke: Why is diagnosis using belief networks insensitive to imprecision in probabilities? UAI 1996: 307-314

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

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

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

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

Gregory M. Provan, John R. Clarke: Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain. IEEE Trans. Pattern Anal. Mach. Intell. 15(3): 299-307 (1993)

Teow-Hin Ngair, Gregory M. Provan: A Lattice-Theoretic Analysis of ATMS Problem Solving. ECSQARU 1993: 282-289

Gregory M. Provan: Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. UAI 1993: 40-47

Gregory M. Provan: The validity of Dempster-Shafer belief functions. Int. J. Approx. Reasoning 6(3): 389-399 (1992)

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

Gregory M. Provan, David L. Poole: The Utility of Consistency-Based Diagnostic Techniques. KR 1991: 461-472

Gregory M. Provan: Dynamic Network Updating Techniques for Diagnostic Reasoning. UAI 1991: 279-286

Gregory M. Provan: A logic-based analysis of Dempster-Shafer theory. Int. J. Approx. Reasoning 4(5-6): 451-495 (1990)

Gregory M. Provan: The Computational Complexity of Multiple-Context Truth Maintenance Systems. ECAI 1990: 522-527

Gregory M. Provan: An Analysis Of Knowledge Representation Schemes For High Level Vision. ECCV 1990: 537-541

David L. Poole, Gregory M. Provan: What is the most likely diagnosis? UAI 1990: 89-106

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

Gregory M. Provan: The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System. UAI 1989: 389-406

Gregory M. Provan: Solving Diagnostic Problems Using Extended Truth Maintenance Systems. ECAI 1988: 547-552

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