|
| |
Journal
 |
|
|
"Topological
Analysis of Specific Spatial Complex Networks", Advances in Complex
Systems,Vol. 12, No. 1 (2009) 1–27. (J. Wang and G. Provan).
|
|
"Integrated stoichiometric,
thermodynamic and kinetic modelling of steady state metabolism", to appear,
Biophysical Journal, (R. Fleming, I. Thiele, G. Provan, B. Palsson,
H. Nasheuer). |
|
|
|
"Model-Based
Fault-Tolerant Control Reconfiguration for General Network Topologies",
IEEE Micro, special issue on Fault-Tolerant embedded systems, 21(5):
64-76, 2001. (G. Provan and Y-L. Chen). |
|
"A
Model-based Approach to Model Integration and Diagnosis", J. AI
Communications, 1998. (G. Provan and D. Glover.)
|
|
"Learning with
Probabilistic Representations", Machine Learning Journal, 29:
2-3, pp. 91-101, 1997 (P. Langley, G. Provan, and P. Smyth).
|
|
|
|
|
|
"Tradeoffs in
Constructing and Evaluating Probabilistic Networks", IEEE Trans. Systems,
Man and Cybernetics, 24(11), November, 1994.
|
|
"Dynamic Network
Construction and Updating Techniques for the Diagnosis of Acute Abdominal
Pain", IEEE Trans. Pattern Analysis and Machine Intelligence, 15(3),
1993. (G. Provan and J.R. Clarke) |
|
"The Search for a Universal Uncertainty Calculus", International Journal of
Approximate Reasoning, 5/6, 1991. |
|
"A
Logic-based Analysis of Dempster Shafer Theory", International Journal of
Approximate Reasoning, 4: 451-498, 1990. |
|
"Agent-Based,
Distributed Diagnosis for Shipboard Systems", in Knowledge and Technology in Production and Services, edited by V. Marik,
L. Camarinha-Matos and H. Afsarmanesh, Kluwer, 2002. (G. Provan and Y-L.
Chen). |
|
"Learning
Bayesian Networks Using Feature Selection", in Learning from Data: AI and
Statistics 5, ed. by D. Fisher and H.J. Lenz, Lecture Notes in Statistics
12, Springer-Verlag, NY, NY. (G. Provan and M. Singh).
|
|
"Model Selection for
Temporal Influence Diagrams", in AI and Statistics, 4 ed. by P.
Cheeseman, J.C. Baltzer AG Scientific Publishing Co., Switzerland, 1994.
|
|
"Computing
an Optimal Diagnosis", in Uncertainty in Artificial Intelligence 6,
ed. by P. Bonissone, M. Henrion, et al., Springer-Verlag, 1991. (G. Provan
and D. Poole.) |
|
"The Application of
Dempster Shafer Theory to a Logic-based Visual Recognition System", in
Uncertainty in Artificial Intelligence 5, ed. by M. Henrion et al.,
Springer-Verlag, 1990, 389-406. |
|
"A
Complexity Analysis of Assumption-Based Truth Maintenance Systems", in
Reason Maintenance Systems and their Applications, 1988, B.M. Smith and G.
Kelleher (editors), Ellis Horwood. |
Journal
Submissions under Review
International Conferences
|
|
|
|
|
Paul Stack, Karsten Menzel, Menouer Boubekeur, Weiping Song, Mateo Burillo, Rosta Spinar and Essa Jafer,
"Maintenance
Middleware for Provision of Building Performance Data",
8th European Conference on Product & Process Modelling (ECPPM 2010)
, Ireland,
September 14-16, 2010.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alexander Feldman and Gregory Provan and Arjan van Gemund,
"Computing Multiple Minimal Diagnoses", Proc. International Conf. on Prognostics and Health Management (PHM'09)
, July, 2009.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"Integrated
stoichiometric, thermodynamic and kinetic modelling of steady state
metabolism”, R.M.T. Fleming, I. Thiele, G. Provan, B. Palsson, H.P.
Nasheuer. Proc.
RECOMB Conference on Systems Biology,
San Diego, November 30 - December 1, 2007. |
|
|
|
"Approximate Compilation
with Weighted BDDs: A General Framework", O. Heling-Tveretina and G. Provan,
Proc. LATA’07,
2007. |
|
|
|
|
|
|
|
|
|
|
|
|
|
"The
Computational Complexity of Complex Systems: the Role of Topology and
Functionality", in Proc. European Conference on Complex Systems,
Oxford, UK, September 2006. |
|
|
|
“Approximation of Binary
Decision Diagrams Using Randomization”, O. Heling-Tveretina and G. Provan,
Proc. MFCSIT'06, Cork, Ireland, 2006. |
|
|
|
|
|
|
|
|
|
"Automatic
Generation of Benchmark Diagnosis Models", in Proc. International Workshop
on Principles of Diagnosis, Penaranda del Duero, Spain, June 2006. |
|
|
|
|
|
|
|
"A
Novel Framework for Integrating Discrete-Event Control and Diagnosis",
Proc. IJCAI, Cancun, Mexico, August 2003. |
|
"A
Framework for Integrating Discrete-Event Control and Diagnosis",
In Proc. Itnl. Workshop on Principles of Diagnosis, Washington, DC,
June 2003: 187-192. |
|
"Prognosis
and Condition-Based Monitoring: An Open Systems Architecture",
Proc. Safeprocess-2003, Washington, DC, June 2003. |
|
"On
the Diagnosability of Decentralized, Timed, Discrete-Event Systems",
Proc. Conf. On Decision and Control, Dec. 2002, Las Vegas, NV.
|
|
|
|
|
|
|
|
"Model-Based
Control Reconfiguration: A Shipboard System Example",
Proc. Itnl. Symp. on Intelligent Control, pages 320-325, Mexico City,
Mexico, Sept. 2001. (Y.-L. Chen and G. Provan) |
|
"Abstraction
in Model-based Diagnostics". In Proc. Itnl. Workshop
on Principles of Diagnosis, Italy, April
2001. |
|
|
|
"Characterizing Controllability
and Observability Properties of Temporal Causal Network Modeling for
Discrete Event Systems", Proc. American Control Conference, June
2000, Chicago, Ill. (G. Provan, Y.-L. Chen) |
|
"An
Integration of Model-Based Diagnosis and Reliability Theory", Proc.
Int'l. Workshop on Principles of Diagnosis, June 2000. |
|
"Diagnosis and Control of Discrete-Event Systems using Temporal Causal
Networks,",
Proc. Conf. On Information Sciences and Systems, Princeton Univ.,
Princeton, NJ, March 2000. (G. Provan, Y.-L. Chen) |
|
"Software Toolkit for
Aerospace Systems Diagnostics", Proc. IEEE Aerospace Conference, Big
Sky, MT, March 2000. (Gregory Provan, Dick Elsley) |
|
"A
Comparison of Finite State Machine and Causal Network Approaches to the
Modeling and Diagnosis of Discrete Event Systems". In Proc. ACC,
Phoenix, AZ, 2000. (G. Provan and Y.-L. Chen.) |
|
|
|
"Model-Based
Diagnostics and Recovery: An Integrated Approach”, Proc. Int'l. Workshop
on Principles of Diagnosis, June 1999, pp. 226-233. |
|
"Modeling
and Diagnosing Rocket Engines: a Multi-Modeling Approach”, Proc. Int'l.
Workshop on Principles of Diagnosis, May 1998, pp. 102-109.
|
|
"Model-based
diagnosis for factory automation: Challenges and open problems. In Proc.
10th Intl. Workshop on Principles of Diagnosis, pages 68-77, Loch Awe,
Scotland, June 1999, pp. 68-77. (Yousri El Fattah, Gregory M. Provan,
Adnan Darwiche) |
|
|
|
"Reusable Rocket Engine Advanced
Health Management System: Architecture and Technology Evaluation Summary",
Proc. AIAA99, 1999. (C.D. Pettit, S. Barkhoudarian, A.G. Daumann,
Jr., G.M. Provan, Y.M. El Fattah, D. E. Glover). |
|
"Modeling Temporal
Behavior in the Model-Based Diagnosis of Discrete-Event Systems", Proc.
Int'l. Workshop on Principles of Diagnosis, October 1997. (Y. El-Fattah
and G. Provan). |
|
"A
Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable
Properties", Proc. IEEE
Conf. On SMC, 1998. (A.
Misra, G. Provan, G. Karsai, G. Bloor, E. Scarl) |
|
"Modeling, Diagnosis,
and Control of Timed Discrete Event Systems Using Temporal Causal Networks",
Proc. Workshop on Discrete-Event Systems, August 1998, Cagliari,
Italy, pp. 152—154. (G. Provan and Y.-L. Chen) |
|
|
|
“Automating the
Diagnosis of Factory Automation Systems,” Proceedings of
1998 AAAI Symposium: Special Interest Group on Manufacturing, 1998. (Gregory
M. Provan, Yousri El Fattah) |
|
"Using Database
Specifications To Automate the Diagnosis of Factory Automation Systems",
Proceedings of 1998 International Automobile Exposition, May
1998. (Gregory M. Provan, Yousri. El Fattah, Adnan Darwiche) |
|
"Optimizing
Belief-Network Inference using Query DAGs", Proc. Conference on
Uncertainty in AI, August 1997. (A. Darwiche and G. Provan). |
|
"The Effect of
Observations on the Complexity of Model-Based Diagnosis", Proc. AAAI
Conference, July 1997. (A. Darwiche and G. Provan). |
|
"Modeling
and Diagnosis of Timed Discrete Event Systems -- A Factory Automation
Example", Proc. American Control Conference, June 1997, Albuquerque,
NM, pp. 31—36. (Y.-L. Chen, G. Provan). |
|
"Exploiting
System Structure in the Model-Based Diagnosis of Discrete-Event Systems",
Proc. Int'l. Workshop on Principles of Diagnosis, October 1996. (A.
Darwiche and G. Provan). |
|
"Data Mining
and Model Simplicity: A Case Study in Diagnosis", Proc. Conference on
Knowledge Discovery and Data Mining, August 1996. (Provan and M.
Singh) |
|
"Query DAGs:
A Practical Paradigm for Implementing Belief-Network Inference" Proc.
Conference on Uncertainty in AI, August 1996. (A. Darwiche and G.
Provan). |
|
"Why
is Diagnosis using Belief Networks Insensitive to Imprecision in
Probabilities?" Proc. Conference on Uncertainty in AI, August 1996.
(M. Henrion, M. Pradhan, K. Huang, G. Provan and P. O'Rorke). |
|
"Efficient
Learning of Selective Bayesian Network Classifiers", Proc. Int'l.
Conference on Machine Learning, July 1996, Bari, Italy. (M. Singh and
G. Provan) |
|
"Implementing Belief-Network Inference in Real-World Systems" Proc. Florida
AI Research Symposium, May 1996. (A. Darwiche and G. Provan). |
|
"Model-Based Diagnosis of
Discrete-Event Systems", Proc. Conf. on Discrete Event Systems, La
Jolla, CA, April 1996. (A. Darwiche and G. Provan) |
|
"Abstraction
in Belief Networks: The Role of Intermediate States in Diagnostic
Reasoning", Proc.
Conference on Uncertainty in AI, August 1995: 464-471. |
|
"A
Comparison of Induction Algorithms for Selective and non-Selective Bayesian
Classifiers", Proc. Int'l. Conference on Machine Learning, July 1995:
497-505. (M. Singh and G. Provan). |
|
"Experimental
Analysis of Large Belief Networks for Medical Diagnosis", Proc. SCAMC,
November, 1994. (M. Pradhan, G. Provan and M. Henrion).
|
|
"An Experimental
Comparison of Infinitesimal and Numerical Probabilities for Diagnostic
Reasoning", Proc. Int'l.
Workshop on Principles of Diagnosis, October, 1994. (M. Henrion, A.
Darwiche, M. Goldszmidt, G. Provan and B. del Favero).
|
|
"An Experimental
Comparison of Numerical and Qualitative Probabilistic Reasoning", Proc.
Conf. on Uncertainty in AI, July, 1994. (M. Henrion, G. Provan, B. del Favero and G. Sanders). |
|
"Knowledge Engineering
for Large Belief Networks", Proc. Conf. on Uncertainty in AI, July,
1994. (M. Pradhan, G. Provan, M. Henrion and B. Middleton).
|
|
"Probabilistic
Diagnostic Reasoning: Towards Improving Diagnostic Efficiency", Proc.
Tenth IEEE Conf. on AI for Applications, March 1-4, 1994, San Antonio
TX. |
|
"A Lattice-Theoretic
Analysis of the ATMS", Proc. European Conference on Symbolic and
Quantitative Approaches to Reasoning and Uncertainty, November 1993,
Granada, Spain, (T. Ngair and G. Provan). |
|
"Tradeoffs in
Constructing and Evaluating Temporal Influence Diagrams", Proc. Conf. on
Uncertainty in AI, July, 1993.
|
|
"An
Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms'',
Proc. IJCAI-91, August, 1991. (C.J. McDiarmid and G.
Provan). |
|
"Dynamic
Network Updating Techniques for Diagnostic Reasoning'', Proc. Conf. on
Uncertainty in AI, July, 1991 |
|
"The
Utility of Consistency-Based Diagnosis", Proc. Conf. on Knowledge
Representation and Reasoning, April 1991, 461-472. (G. Provan and D. Poole). |
|
"An
Analysis of Knowledge Representation Languages for High Level Vision'', Proc. European Conference on Computer Vision, April 1990, 522-527. |
|
"What
is an Optimal Diagnosis?", Proc. Conference on Uncertainty in
Artificial Intelligence, 1990, 46-53. (D. Poole and G. Provan.) |
|
"The
Computational Complexity of Multiple-Context Truth Maintenance Systems'',
Proc. European Conference on AI, 1990, 522-527 |
|
"An
Analysis of ATMS-based Techniques for Computing Dempster Shafer Belief
Functions", Proc. IJCAI, 1989, 1115-1120. |
|
"Model-based Object Recognition using an Extended ATMS",
Proc.
Conference on Uncertainty in Artificial Intelligence, 1989, 287-294. |
|
"Complexity Analysis of Multiple-Context TMSs in Scene Representation",
Proc. AAAI, 1987, 173-177. |
|
