Gregory M. Provan

From MaRDI portal
(Redirected from Person:918732)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
Fault Diagnosis of Hybrid Dynamic and Complex Systems
2020-08-20Paper
Model-based diagnosis with probabilistic models
Fault Diagnosis of Dynamic Systems
2019-10-17Paper
A model-based active testing approach to sequential diagnosis
Journal of Artificial Intelligence Research
2010-11-10Paper
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
2010-08-06Paper
TOPOLOGICAL ANALYSIS OF SPECIFIC SPATIAL COMPLEX NETWORKS
Advances in Complex Systems
2009-04-28Paper
Generalizing Global Constraints Based on Network Flows
Lecture Notes in Computer Science
2009-01-13Paper
scientific article; zbMATH DE number 802832 (Why is no real title available?)1996-01-04Paper
The validity of Dempster-Shafer belief functions
International Journal of Approximate Reasoning
1992-09-27Paper
scientific article; zbMATH DE number 4189255 (Why is no real title available?)1990-01-01Paper
A logic-based analysis of Dempster-Shafer theory
International Journal of Approximate Reasoning
1990-01-01Paper
scientific article; zbMATH DE number 4176504 (Why is no real title available?)1989-01-01Paper


Research outcomes over time


This page was built for person: Gregory M. Provan