The SCEAS System
Navigation Menu

Search the dblp DataBase


Gregory M. Provan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gregory M. Provan
    Solving Diagnostic Problems Using Extended Truth Maintenance Systems. [Citation Graph (1, 0)][DBLP]
    ECAI, 1988, pp:547-552 [Conf]
  2. Adnan Darwiche, Gregory M. Provan
    The Effect of Observations on the Complexity of Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:94-99 [Conf]
  3. Barry O'Sullivan, Gregory M. Provan
    Approximate Compilation for Embedded Model-based Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  4. Gregory M. Provan
    Efficiency Analysis of Multiple-Context TMSs in Scene Representation. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:173-177 [Conf]
  5. Gregory M. Provan
    An Empirical Analysis of the Complexity of Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:783-784 [Conf]
  6. Gregory M. Provan
    The Computational Complexity of Multiple-Context Truth Maintenance Systems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:522-527 [Conf]
  7. Gregory M. Provan
    An Analysis Of Knowledge Representation Schemes For High Level Vision. [Citation Graph (0, 0)][DBLP]
    ECCV, 1990, pp:537-541 [Conf]
  8. Teow-Hin Ngair, Gregory M. Provan
    A Lattice-Theoretic Analysis of ATMS Problem Solving. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:282-289 [Conf]
  9. Moninder Singh, Gregory M. Provan
    A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers. [Citation Graph (0, 0)][DBLP]
    ICML, 1995, pp:497-505 [Conf]
  10. Moninder Singh, Gregory M. Provan
    Efficient Learning of Selective Bayesian Network Classifiers. [Citation Graph (0, 0)][DBLP]
    ICML, 1996, pp:453-461 [Conf]
  11. Gregory M. Provan, Yi-Liang Chen
    Agent-Based, Distributed Diagnosis for Shipboard Systems. [Citation Graph (0, 0)][DBLP]
    BASYS, 2002, pp:281-288 [Conf]
  12. Colin J. H. McDiarmid, Gregory M. Provan
    An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:172-177 [Conf]
  13. Gregory M. Provan
    A Novel Framework for Integrating Discrete Event System Control and Diagnosis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1341-1342 [Conf]
  14. Gregory M. Provan
    An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1115-1120 [Conf]
  15. Gregory M. Provan, Jun Wang
    Automated Benchmark Model Generators for Model-Based Diagnostic Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:513-518 [Conf]
  16. Gregory M. Provan, Moninder Singh
    Data Mining and Model Simplicity: A Case Study in Diagnosis. [Citation Graph (0, 0)][DBLP]
    KDD, 1996, pp:57-62 [Conf]
  17. Gregory M. Provan
    A Model-Based Diagnosis Framework for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:341-352 [Conf]
  18. Gregory M. Provan
    Inferential Complexity Control for Model-Based Abduction. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:415-426 [Conf]
  19. Gregory M. Provan, David Poole
    The Utility of Consistency-Based Diagnostic Techniques. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:461-472 [Conf]
  20. Gregory M. Provan
    Approximate Model-Based Diagnosis Using Preference-Based Compilation. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:182-193 [Conf]
  21. Adnan Darwiche, Gregory M. Provan
    Query DAGs: A practical paradigm for implementing belief-network inference. [Citation Graph (0, 0)][DBLP]
    UAI, 1996, pp:203-210 [Conf]
  22. Adnan Darwiche, Gregory M. Provan
    A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. [Citation Graph (0, 0)][DBLP]
    UAI, 1997, pp:116-123 [Conf]
  23. 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? [Citation Graph (0, 0)][DBLP]
    UAI, 1996, pp:307-314 [Conf]
  24. Max Henrion, Gregory M. Provan, Brendan Del Favero, Gillian Sanders
    An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:319-326 [Conf]
  25. David Poole, Gregory M. Provan
    What is the most likely diagnosis? [Citation Graph (0, 0)][DBLP]
    UAI, 1990, pp:89-106 [Conf]
  26. Malcolm Pradhan, Gregory M. Provan, Blackford Middleton, Max Henrion
    Knowledge Engineering for Large Belief Networks. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:484-490 [Conf]
  27. Gregory M. Provan
    The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System. [Citation Graph (0, 0)][DBLP]
    UAI, 1989, pp:389-406 [Conf]
  28. Gregory M. Provan
    Dynamic Network Updating Techniques for Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1991, pp:279-286 [Conf]
  29. Gregory M. Provan
    Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. [Citation Graph (0, 0)][DBLP]
    UAI, 1993, pp:40-47 [Conf]
  30. Gregory M. Provan
    Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    UAI, 1995, pp:464-471 [Conf]
  31. Malcolm Pradhan, Max Henrion, Gregory M. Provan, Brendan Del Favero, Kurt Huang
    The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1996, v:85, n:1-2, pp:363-397 [Journal]
  32. Gregory M. Provan, David Glover
    An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1999, v:12, n:1-2, pp:19-32 [Journal]
  33. Adnan Darwiche, Gregory M. Provan
    Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference [Citation Graph (0, 0)][DBLP]
    CoRR, 1997, v:0, n:, pp:- [Journal]
  34. Gregory M. Provan
    A logic-based analysis of Dempster-Shafer theory. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1990, v:4, n:5-6, pp:451-495 [Journal]
  35. Gregory M. Provan
    The validity of Dempster-Shafer belief functions. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1992, v:6, n:3, pp:389-399 [Journal]
  36. Adnan Darwiche, Gregory M. Provan
    Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1997, v:6, n:, pp:147-176 [Journal]
  37. Gregory M. Provan, Yi-Liang Chen
    Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2001, v:21, n:5, pp:64-76 [Journal]
  38. Pat Langley, Gregory M. Provan, Padhraic Smyth
    Learning with Probabilistic Representations. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 1997, v:29, n:2-3, pp:91-101 [Journal]
  39. Gregory M. Provan, John R. Clarke
    Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 1993, v:15, n:3, pp:299-307 [Journal]
  40. Margarita Razgon, Barry O'Sullivan, Gregory M. Provan
    Search Ordering Heuristics for Restarts-Based Constraint Solving. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:182-183 [Conf]
  41. Gregory M. Provan
    Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:217-226 [Conf]
  42. Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
    Approximate Model-Based Diagnosis Using Greedy Stochastic Search. [Citation Graph (0, 0)][DBLP]
    SARA, 2007, pp:139-154 [Conf]

  43. Incremental Algorithms for Approximate Compilation. [Citation Graph (, )][DBLP]

  44. Computing Minimal Diagnoses by Greedy Stochastic Search. [Citation Graph (, )][DBLP]

  45. Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. [Citation Graph (, )][DBLP]

  46. Generating Application-Specific Benchmark Models for Complex Systems. [Citation Graph (, )][DBLP]

  47. Generalizing Global Constraints Based on Network Flows. [Citation Graph (, )][DBLP]

  48. Test Generation for Model-Based Diagnosis. [Citation Graph (, )][DBLP]

  49. An Analysis of Bayesian Network Model-Approximation Techniques. [Citation Graph (, )][DBLP]

  50. On Approximate Knowledge Compilation with Weighted Decision Diagrams. [Citation Graph (, )][DBLP]

  51. Adding Flexibility to Russian Doll Search. [Citation Graph (, )][DBLP]

  52. FRACTAL: Efficient Fault Isolation Using Active Testing. [Citation Graph (, )][DBLP]

  53. Solving Strong-Fault Diagnostic Models by Model Relaxation. [Citation Graph (, )][DBLP]

  54. Automated Redesign with the General Redesign Engine. [Citation Graph (, )][DBLP]

  55. Temporal Model-Based Diagnostics Generation for HVAC Control Systems. [Citation Graph (, )][DBLP]

  56. Characterizing the Structural Complexity of Real-World Complex Networks. [Citation Graph (, )][DBLP]

  57. A Comparative Analysis of Specific Spatial Network Topological Models. [Citation Graph (, )][DBLP]

Search in 0.007secs, Finished in 0.009secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002