Gregory M. Provan

From MaRDI portal



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