Gregory M. Provan

	2010
62		Marion Behrens, Gregory M. Provan: Temporal Model-Based Diagnostics Generation for HVAC Control Systems. ICMT 2010: 31-44
61		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)
60		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)
59		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)
58		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)
	2009
57		Jun Wang, Gregory M. Provan: Characterizing the Structural Complexity of Real-World Complex Networks. Complex (1) 2009: 1178-1189
56		Jun Wang, Gregory M. Provan: A Comparative Analysis of Specific Spatial Network Topological Models. Complex (2) 2009: 1514-1525
55		Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: FRACTAL: Efficient Fault Isolation Using Active Testing. IJCAI 2009: 778-784
54		Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund: Solving Strong-Fault Diagnostic Models by Model Relaxation. IJCAI 2009: 785-790
53		Alexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas Kuhn, Arjan J. C. van Gemund: Automated Redesign with the General Redesign Engine. SARA 2009
52		Jun Wang, Gregory M. Provan: Topological Analysis of Specific Spatial Complex Networks. Advances in Complex Systems 12(1): 45-71 (2009)
	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		Gregory M. Provan: Test Generation for Model-Based Diagnosis. ECAI 2008: 199-203
46		Adamo Santana, Gregory M. Provan: An Analysis of Bayesian Network Model-Approximation Techniques. ECAI 2008: 851-852
45		Margarita Razgon, Gregory M. Provan: Adding Flexibility to Russian Doll Search. ICTAI (1) 2008: 163-171
	2007
44		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		Gregory M. Provan, Jun Wang: Automated Benchmark Model Generators for Model-Based Diagnostic Inference. IJCAI 2007: 513-518
40		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: 894-899
38		Gregory M. Provan: An Empirical Analysis of the Complexity of Model-Based Diagnosis. ECAI 2006: 783-784
37		Gregory M. Provan: Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. ICECCS 2006: 217-226
	2005
36		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		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		Adnan Darwiche, Gregory M. Provan: A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. UAI 1997: 116-123
27		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		Adnan Darwiche, Gregory M. Provan: Query DAGs: A practical paradigm for implementing belief-network inference. UAI 1996: 203-210
21		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		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		Gregory M. Provan: Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. UAI 1995: 464-471
	1994
17		Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders: An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. UAI 1994: 319-326
16		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		Gregory M. Provan: Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. UAI 1993: 40-47
13		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		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		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		David Poole, Gregory M. Provan: What is the most likely diagnosis? UAI 1990: 89-106
5		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page