| 2008 |
|---|
| 51 | | Alberto Venturini,
Gregory M. Provan:
Incremental Algorithms for Approximate Compilation.
AAAI 2008: 1495-1498 |
| 50 | | Jun Wang,
Gregory M. Provan:
Generating Application-Specific Benchmark Models for Complex Systems.
AAAI 2008: 566-571 |
| 49 | | Alexander Feldman,
Gregory M. Provan,
Arjan J. C. van Gemund:
Computing Minimal Diagnoses by Greedy Stochastic Search.
AAAI 2008: 911-918 |
| 48 | | Alexander Feldman,
Gregory M. Provan,
Arjan J. C. van Gemund:
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.
AAAI 2008: 919-924 |
| 47 | EE | Gregory M. Provan:
Test Generation for Model-Based Diagnosis.
ECAI 2008: 199-203 |
| 46 | EE | Adamo Santana,
Gregory M. Provan:
An Analysis of Bayesian Network Model-Approximation Techniques.
ECAI 2008: 851-852 |
| 45 | EE | Margarita Razgon,
Gregory M. Provan:
Adding Flexibility to Russian Doll Search.
ICTAI (1) 2008: 163-171 |
| 2007 |
|---|
| 44 | EE | Igor Razgon,
Barry O'Sullivan,
Gregory M. Provan:
Generalizing Global Constraints Based on Network Flows.
CSCLP 2007: 127-141 |
| 43 | | Margarita Razgon,
Barry O'Sullivan,
Gregory M. Provan:
Search Ordering Heuristics for Restarts-Based Constraint Solving.
FLAIRS Conference 2007: 182-183 |
| 42 | | Olga Heling-Tveretina,
Gregory M. Provan:
On Approximate Knowledge Compilation with Weighted Decision Diagrams.
IC-AI 2007: 470-475 |
| 41 | EE | Gregory M. Provan,
Jun Wang:
Automated Benchmark Model Generators for Model-Based Diagnostic Inference.
IJCAI 2007: 513-518 |
| 40 | EE | Alexander Feldman,
Gregory M. Provan,
Arjan J. C. van Gemund:
Approximate Model-Based Diagnosis Using Greedy Stochastic Search.
SARA 2007: 139-154 |
| 2006 |
|---|
| 39 | | Barry O'Sullivan,
Gregory M. Provan:
Approximate Compilation for Embedded Model-based Reasoning.
AAAI 2006 |
| 38 | | Gregory M. Provan:
An Empirical Analysis of the Complexity of Model-Based Diagnosis.
ECAI 2006: 783-784 |
| 37 | EE | Gregory M. Provan:
Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure.
ICECCS 2006: 217-226 |
| 2005 |
|---|
| 36 | EE | Gregory M. Provan:
Approximate Model-Based Diagnosis Using Preference-Based Compilation.
SARA 2005: 182-193 |
| 2004 |
|---|
| 35 | | Gregory M. Provan:
Inferential Complexity Control for Model-Based Abduction.
KR 2004: 415-426 |
| 2003 |
|---|
| 34 | | Gregory M. Provan:
A Novel Framework for Integrating Discrete Event System Control and Diagnosis.
IJCAI 2003: 1341-1342 |
| 2002 |
|---|
| 33 | | Gregory M. Provan,
Yi-Liang Chen:
Agent-Based, Distributed Diagnosis for Shipboard Systems.
BASYS 2002: 281-288 |
| 32 | | Gregory M. Provan:
A Model-Based Diagnosis Framework for Distributed Embedded Systems.
KR 2002: 341-352 |
| 2001 |
|---|
| 31 | EE | Gregory M. Provan,
Yi-Liang Chen:
Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies.
IEEE Micro 21(5): 64-76 (2001) |
| 1999 |
|---|
| 30 | | Gregory M. Provan,
David Glover:
An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components.
AI Commun. 12(1-2): 19-32 (1999) |
| 1997 |
|---|
| 29 | | Adnan Darwiche,
Gregory M. Provan:
The Effect of Observations on the Complexity of Model-Based Diagnosis.
AAAI/IAAI 1997: 94-99 |
| 28 | EE | Adnan Darwiche,
Gregory M. Provan:
A Standard Approach for Optimizing Belief Network Inference Using Query DAGs.
UAI 1997: 116-123 |
| 27 | EE | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference
CoRR cs.AI/9705101: (1997) |
| 26 | | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference.
J. Artif. Intell. Res. (JAIR) 6: 147-176 (1997) |
| 25 | | Pat Langley,
Gregory M. Provan,
Padhraic Smyth:
Learning with Probabilistic Representations.
Machine Learning 29(2-3): 91-101 (1997) |
| 1996 |
|---|
| 24 | | Moninder Singh,
Gregory M. Provan:
Efficient Learning of Selective Bayesian Network Classifiers.
ICML 1996: 453-461 |
| 23 | | Gregory M. Provan,
Moninder Singh:
Data Mining and Model Simplicity: A Case Study in Diagnosis.
KDD 1996: 57-62 |
| 22 | EE | Adnan Darwiche,
Gregory M. Provan:
Query DAGs: A practical paradigm for implementing belief-network inference.
UAI 1996: 203-210 |
| 21 | EE | 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 |
| 20 | EE | 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) |
| 1995 |
|---|
| 19 | | Moninder Singh,
Gregory M. Provan:
A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers.
ICML 1995: 497-505 |
| 18 | EE | Gregory M. Provan:
Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning.
UAI 1995: 464-471 |
| 1994 |
|---|
| 17 | EE | Max Henrion,
Gregory M. Provan,
Brendan Del Favero,
Gillian Sanders:
An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning.
UAI 1994: 319-326 |
| 16 | EE | Malcolm Pradhan,
Gregory M. Provan,
Blackford Middleton,
Max Henrion:
Knowledge Engineering for Large Belief Networks.
UAI 1994: 484-490 |
| 1993 |
|---|
| 15 | | Teow-Hin Ngair,
Gregory M. Provan:
A Lattice-Theoretic Analysis of ATMS Problem Solving.
ECSQARU 1993: 282-289 |
| 14 | EE | Gregory M. Provan:
Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams.
UAI 1993: 40-47 |
| 13 | EE | 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) |
| 1992 |
|---|
| 12 | EE | Gregory M. Provan:
The validity of Dempster-Shafer belief functions.
Int. J. Approx. Reasoning 6(3): 389-399 (1992) |
| 1991 |
|---|
| 11 | | Colin J. H. McDiarmid,
Gregory M. Provan:
An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms.
IJCAI 1991: 172-177 |
| 10 | | Gregory M. Provan,
David Poole:
The Utility of Consistency-Based Diagnostic Techniques.
KR 1991: 461-472 |
| 9 | EE | Gregory M. Provan:
Dynamic Network Updating Techniques for Diagnostic Reasoning.
UAI 1991: 279-286 |
| 1990 |
|---|
| 8 | | Gregory M. Provan:
The Computational Complexity of Multiple-Context Truth Maintenance Systems.
ECAI 1990: 522-527 |
| 7 | | Gregory M. Provan:
An Analysis Of Knowledge Representation Schemes For High Level Vision.
ECCV 1990: 537-541 |
| 6 | EE | David Poole,
Gregory M. Provan:
What is the most likely diagnosis?
UAI 1990: 89-106 |
| 5 | EE | Gregory M. Provan:
A logic-based analysis of Dempster-Shafer theory.
Int. J. Approx. Reasoning 4(5-6): 451-495 (1990) |
| 1989 |
|---|
| 4 | | Gregory M. Provan:
An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions.
IJCAI 1989: 1115-1120 |
| 3 | EE | Gregory M. Provan:
The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System.
UAI 1989: 389-406 |
| 1988 |
|---|
| 2 | | Gregory M. Provan:
Solving Diagnostic Problems Using Extended Truth Maintenance Systems.
ECAI 1988: 547-552 |
| 1987 |
|---|
| 1 | | Gregory M. Provan:
Efficiency Analysis of Multiple-Context TMSs in Scene Representation.
AAAI 1987: 173-177 |
