dblp.uni-trier.dewww.uni-trier.de

Gregory M. Provan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
55EEJun Wang, Gregory M. Provan: Characterizing the Structural Complexity of Real-World Complex Networks. Complex (1) 2009: 1178-1189
54EEJun Wang, Gregory M. Provan: A Comparative Analysis of Specific Spatial Network Topological Models. Complex (2) 2009: 1514-1525
53EEAlexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI 2009: 778-784
52EEAlexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI 2009: 785-790
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
47EEGregory M. Provan: Test Generation for Model-Based Diagnosis. ECAI 2008: 199-203
46EEAdamo Santana, Gregory M. Provan: An Analysis of Bayesian Network Model-Approximation Techniques. ECAI 2008: 851-852
45EEMargarita Razgon, Gregory M. Provan: Adding Flexibility to Russian Doll Search. ICTAI (1) 2008: 163-171
2007
44EEIgor 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
41EEGregory M. Provan, Jun Wang: Automated Benchmark Model Generators for Model-Based Diagnostic Inference. IJCAI 2007: 513-518
40EEAlexander 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
37EEGregory M. Provan: Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS 2006: 217-226
2005
36EEGregory 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
31EEGregory 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
28EEAdnan Darwiche, Gregory M. Provan: A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI 1997: 116-123
27EEAdnan 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
22EEAdnan Darwiche, Gregory M. Provan: Query DAGs: A practical paradigm for implementing belief-network inference. UAI 1996: 203-210
21EEMax 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
20EEMalcolm 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
18EEGregory M. Provan: Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. UAI 1995: 464-471
1994
17EEMax Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders: An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. UAI 1994: 319-326
16EEMalcolm 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
14EEGregory M. Provan: Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. UAI 1993: 40-47
13EEGregory 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
12EEGregory 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
9EEGregory 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
7EEGregory M. Provan: An Analysis Of Knowledge Representation Schemes For High Level Vision. ECCV 1990: 537-541
6EEDavid Poole, Gregory M. Provan: What is the most likely diagnosis? UAI 1990: 89-106
5EEGregory 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
3EEGregory 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

Coauthor Index

1Yi-Liang Chen [31] [33]
2John R. Clarke [13]
3Adnan Darwiche [22] [26] [27] [28] [29]
4Brendan Del Favero [17] [20] [21]
5Alexander Feldman [40] [48] [49] [52] [53]
6Arjan J. C. van Gemund [40] [48] [49] [52] [53]
7David Glover [30]
8Olga Heling-Tveretina [42]
9Max Henrion [16] [17] [20] [21]
10Kurt Huang [20] [21]
11Pat Langley [25]
12Colin McDiarmid (Colin J. H. McDiarmid) [11]
13Blackford Middleton [16]
14Teow-Hin Ngair [15]
15Paul O'Rorke [21]
16Barry O'Sullivan [39] [43] [44]
17David Poole [6] [10]
18Malcolm Pradhan [16] [20] [21]
19Igor Razgon [44]
20Margarita Razgon [43] [45]
21Gillian Sanders [17]
22Adamo Santana [46]
23Moninder Singh [19] [23] [24]
24Padhraic Smyth [25]
25Alberto Venturini [51]
26Jun Wang [41] [50] [54] [55]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)