Efficiency Analysis of Multiple-Context TMSs in Scene Representation. - Gregory M. Provan (AAAI, 1987)

Solving Diagnostic Problems Using Extended Truth Maintenance Systems. - Gregory M. Provan (ECAI, 1988)

Complexity analysis of truth maintenance systems with application to high level vision. - Gregory M. Provan (1988)

An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions. - Gregory M. Provan (IJCAI, 1989)

The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System. - Gregory M. Provan (UAI, 1989)

The Computational Complexity of Multiple-Context Truth Maintenance Systems. - Gregory M. Provan (ECAI, 1990)

An Analysis Of Knowledge Representation Schemes For High Level Vision. - Gregory M. Provan (ECCV, 1990)

What is the most likely diagnosis? - David L. Poole; Gregory M. Provan (UAI, 1990)

A logic-based analysis of Dempster-Shafer theory. - Gregory M. Provan (Int. J. Approx. Reason., 1990)

An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms. - Colin J. H. McDiarmid; Gregory M. Provan (IJCAI, 1991)

The Utility of Consistency-Based Diagnostic Techniques. - Gregory M. Provan; David L. Poole (KR, 1991)

Dynamic Network Updating Techniques for Diagnostic Reasoning. - Gregory M. Provan (UAI, 1991)

The validity of Dempster-Shafer belief functions. - Gregory M. Provan (Int. J. Approx. Reason., 1992)

A Lattice-Theoretic Analysis of ATMS Problem Solving. - Teow-Hin Ngair; Gregory M. Provan (ECSQARU, 1993)

Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams. - Gregory M. Provan (UAI, 1993)

Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain. - Gregory M. Provan; John R. Clarke (IEEE Trans. Pattern Anal. Mach. Intell., 1993)

An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning. - Max Henrion; Gregory M. Provan; Brendan Del Favero; Gillian Sanders (UAI, 1994)

Knowledge Engineering for Large Belief Networks. - Malcolm Pradhan; Gregory M. Provan; Blackford Middleton; Max Henrion (UAI, 1994)

Tradeoffs in Knowledge-Based Construction of Probabilistic Models. - Gregory M. Provan (IEEE Trans. Syst. Man Cybern. Syst., 1994)

Learning Bayesian Networks Using Feature Selection. - Gregory M. Provan; Moninder Singh (AISTATS, 1995)

A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers. - Moninder Singh; Gregory M. Provan (ICML, 1995)

Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning. - Gregory M. Provan (UAI, 1995)

Efficient Learning of Selective Bayesian Network Classifiers. - Moninder Singh; Gregory M. Provan (ICML, 1996)

Data Mining and Model Simplicity: A Case Study in Diagnosis. - Gregory M. Provan; Moninder Singh (KDD, 1996)

Why is diagnosis using belief networks insensitive to imprecision in probabilities? - Max Henrion; Malcolm Pradhan; Brendan Del Favero; Kurt Huang; Gregory M. Provan; Paul O'Rorke (UAI, 1996)

The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation. - Malcolm Pradhan; Max Henrion; Gregory M. Provan; Brendan Del Favero; Kurt Huang (Artif. Intell., 1996)

The Effect of Observations on the Complexity of Model-Based Diagnosis. - Adnan Darwiche; Gregory M. Provan (AAAI/IAAI, 1997)

A Standard Approach for Optimizing Belief Network Inference Using Query DAGs. - Adnan Darwiche; Gregory M. Provan (UAI, 1997)

Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference. - Adnan Darwiche; Gregory M. Provan (J. Artif. Intell. Res., 1997)

Learning with Probabilistic Representations. - Pat Langley; Gregory M. Provan; Padhraic Smyth (Mach. Learn., 1997)

A generic and symbolic model-based diagnostic reasoner with highly scalable properties. - Amit Misra; Gregory M. Provan; Gabor Karsai; George Bloor; Ethan Scarl (SMC, 1998)

An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components. - Gregory M. Provan; David Glover (AI Commun., 1999)

Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems. - Gregory M. Provan; Yi-Liang Chen (ACC, 2000)

On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results. - Gregory M. Provan; Yi-Liang Chen (CDC, 2000)

Stochastic System Monitoring and Control. - Gregory M. Provan (AISTATS, 2001)

Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies. - Gregory M. Provan; Yi-Liang Chen (IEEE Micro, 2001)

Distributed diagnosability properties of discrete event systems. - Gregory M. Provan (ACC, 2002)

On the diagnosability of decentralized, timed discrete event systems. - Gregory M. Provan (CDC, 2002)

Agent-Based, Distributed Diagnosis for Shipboard Systems. - Gregory M. Provan; Yi-Liang Chen (BASYS, 2002)

A Model-Based Diagnosis Framework for Distributed Embedded Systems. - Gregory M. Provan (KR, 2002)

A Novel Framework for Integrating Discrete Event System Control and Diagnosis. - Gregory M. Provan (IJCAI, 2003)

Inferential Complexity Control for Model-Based Abduction. - Gregory M. Provan (KR, 2004)

Approximate Model-Based Diagnosis Using Preference-Based Compilation. - Gregory M. Provan (SARA, 2005)

Approximate Compilation for Embedded Model-based Reasoning. - Barry O'Sullivan; Gregory M. Provan (AAAI, 2006)

A Bayesian network framework for stochastic discrete-event control. - Gregory M. Provan (ACC, 2006)

An Empirical Analysis of the Complexity of Model-Based Diagnosis. - Gregory M. Provan (ECAI, 2006)

Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure. - Gregory M. Provan (ICECCS, 2006)

Generalizing Global Constraints Based on Network Flows. - Igor Razgon; Barry O'Sullivan; Gregory M. Provan (CSCLP, 2007)

Search Ordering Heuristics for Restarts-Based Constraint Solving. - Margarita Razgon; Barry O'Sullivan; Gregory M. Provan (FLAIRS, 2007)

On Approximate Knowledge Compilation with Weighted Decision Diagrams. - Olga Heling-Tveretina; Gregory M. Provan (IC-AI, 2007)

Automated Benchmark Model Generators for Model-Based Diagnostic Inference. - Gregory M. Provan; Jun Wang 018 (IJCAI, 2007)

Computing Minimal Diagnoses by Greedy Stochastic Search. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (AAAI, 2008)

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (AAAI, 2008)

Incremental Algorithms for Approximate Compilation. - Alberto Venturini; Gregory M. Provan (AAAI, 2008)

Generating Application-Specific Benchmark Models for Complex Systems. - Jun Wang 018; Gregory M. Provan (AAAI, 2008)

Test Generation for Model-Based Diagnosis. - Gregory M. Provan (ECAI, 2008)

An Analysis of Bayesian Network Model-Approximation Techniques. - Adamo Santana; Gregory M. Provan (ECAI, 2008)

Adding Flexibility to Russian Doll Search. - Margarita Razgon; Gregory M. Provan (ICTAI (1), 2008)

Approximation Techniques for Space-Efficient Compilation in Abductive Inference. - Gregory M. Provan (ISAIM, 2008)

Characterizing the Structural Complexity of Real-World Complex Networks. - Jun Wang 018; Gregory M. Provan (Complex (1), 2009)

A Comparative Analysis of Specific Spatial Network Topological Models. - Jun Wang 018; Gregory M. Provan (Complex (2), 2009)

FRACTAL: Efficient Fault Isolation Using Active Testing. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (IJCAI, 2009)

Solving Strong-Fault Diagnostic Models by Model Relaxation. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (IJCAI, 2009)

Model-driven diagnostics generation for industrial automation. - Marion Behrens; Gregory M. Provan; Menouer Boubekeur; A. Mady (INDIN, 2009)

Compositional model-driven design of embedded code for energy-efficient buildings. - A. Mady; Menouer Boubekeur; Gregory M. Provan (INDIN, 2009)

Automated Redesign with the General Redesign Engine. - Alexander Feldman; Gregory M. Provan; Johan de Kleer; Lukas D. Kuhn; Arjan J. C. van Gemund (SARA, 2009)

Topological Analysis of Specific Spatial Complex Networks. - Jun Wang 018; Gregory M. Provan (Adv. Complex Syst., 2009)

Preface. - Gregory M. Provan; Ashish Sabharwal (Abstraction, Reformulation, and Approximation, 2010)

Temporal Model-Based Diagnostics Generation for HVAC Control Systems. - Marion Behrens; Gregory M. Provan (ICMT@TOOLS, 2010)

WSAN QoS Driven Control Model for Building Operations. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan (SOCO, 2010)

Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation. - Alie El-Din Mady; Menouer Boubekeur; Gregory M. Provan; Conor Ryan; Kenneth N. Brown (SOCO, 2010)

Reports of the AAAI 2010 Conference Workshops. - David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; et al. (AI Mag., 2010)

Approximate Model-Based Diagnosis Using Greedy Stochastic Search. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (J. Artif. Intell. Res., 2010)

A Model-Based Active Testing Approach to Sequential Diagnosis. - Alexander Feldman; Gregory M. Provan; Arjan J. C. van Gemund (J. Artif. Intell. Res., 2010)

Special Issue on Model-Based Diagnostics. - Peter Struss; Gregory M. Provan; Johan de Kleer; Gautam Biswas (IEEE Trans. Syst. Man Cybern. Part A, 2010)

A Benchmark Diagnostic Model Generation System. - Jun Wang 018; Gregory M. Provan (IEEE Trans. Syst. Man Cybern. Part A, 2010)

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation. - Alie El-Din Mady; Gregory M. Provan; Conor Ryan; Kenneth N. Brown (AAAI, 2011)

Co-design of Wireless Sensor-Actuator Networks for building controls. - Alie El-Din Mady; Gregory M. Provan (CDC/ECC, 2011)

Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications. - Gregory M. Provan (EOOLT, 2011)

Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms. - Ji Ma; David P. Murphy; S. Cian O'Mathuna; Michael Hayes; Gregory M. Provan (TPCG, 2011)

Exploring the Duality in Conflict-Directed Model-Based Diagnosis. - Roni Tzvi Stern; Meir Kalech; Alexander Feldman; Gregory M. Provan (AAAI, 2012)

Visualizing uncertainty in multi-resolution volumetric data using marching cubes. - Ji Ma; David P. Murphy; S. Cian O'Mathuna; Michael Hayes; Gregory M. Provan (AVI, 2012)

Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids. - Ji Ma; David P. Murphy; S. Cian O'Mathuna; Michael Hayes; Gregory M. Provan (GRAPP/IVAPP, 2012)

Designing cost-efficient wireless sensor/actuator networks for building control systems. - Alie El-Din Mady; Gregory M. Provan; Ning Wei (BuildSys@SenSys, 2012)

Analyzing and Visualizing Multivariate Volumetric Scalar Data and Their Uncertainties. - Ji Ma; David P. Murphy; S. Cian O'Mathuna; Michael Hayes; Gregory M. Provan (TPCG, 2012)

CodonLogo: a sequence logo-based viewer for codon patterns. - Virag Sharma; David P. Murphy; Gregory M. Provan; Pavel V. Baranov (Bioinform., 2012)

A model-based control method for decentralized calibration of wireless sensor networks. - Séamus Ó Buadhacháin; Gregory M. Provan (ACC, 2013)

Toward an Equation-Oriented Framework for Diagnosis of Complex Systems. - Alexander Feldman; Gregory M. Provan (EOOLT, 2013)

Machine-Learning-Based Circuit Synthesis. - Lior Rokach; Meir Kalech; Gregory M. Provan; Alexander Feldman (IJCAI, 2013)

The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based Uncertainty Visualization Techniques for Volumetric Scalar Data. - Ji Ma; David P. Murphy; Gregory M. Provan; S. Cian O'Mathuna; Michael Hayes (TPCG, 2013)

What is an Optimal Diagnosis? - David L. Poole; Gregory M. Provan (CoRR, 2013)

A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition - Gregory M. Provan (CoRR, 2013)

Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration. - Alexander Feldman; Gregory M. Provan (AAAI, 2014)

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics. - Gregory M. Provan (SEFM Workshops, 2014)

The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization Techniques for 3D Scalar Data. - Ji Ma; David P. Murphy; Gregory M. Provan; S. Cian O'Mathuna; Michael Hayes (Int. J. Image Graph., 2014)

Bayesian Model Selection for Diagnostics. - Gregory M. Provan (MEDI, 2015)

A Framework For Assessing Diagnostics Model Fidelity. - Gregory M. Provan; Alexander Feldman (DX, 2015)

An efficient decentralized clustering algorithm for aggregation of noisy multi-mean data. - Séamus Ó Buadhacháin; Gregory M. Provan (J. Heuristics, 2015)

Learning Dynamical Models Using System Motifs. - Gregory M. Provan (AICS, 2016)

An Improved State Filter Algorithm for SIR Epidemic Forecasting. - Weipéng Huáng; Gregory M. Provan (ECAI, 2016)

A General Characterization of Model-Based Diagnosis. - Gregory M. Provan (ECAI, 2016)

An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. - Gregory M. Provan (DX, 2017)

Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. - Yves Sohege; Gregory M. Provan (DX, 2017)

On-line Reinforcement Learning for Trajectory Following with Unknown Faults. - Yves Sohege; Gregory M. Provan (AICS, 2018)

Comparison of Control and Cooperation Frameworks for Blended Autonomy. - Gregory M. Provan; Yves Sohege (ECC, 2018)

Fault-Tolerant Control for Unseen Faults using Randomized Methods. - Gregory M. Provan; Yves Sohege (SysTol, 2019)

Towards an Explainable Approach for Insider Threat Detection: Constraint Network Learning. - Riccardo Orizio; Satyanarayana Vuppala; Stylianos Basagiannis; Gregory M. Provan (IDSTA, 2020)

A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on Robust Reinforcement Learning. - Yves Sohege; Marcos Quiñones-Grueiro; Gregory M. Provan (ICRA, 2021)

Generating Minimal Controller Sets for Mixing MMAC. - Gregory M. Provan; Marcos Quiñones-Grueiro; Yves Sohege (CDC, 2022)

Quantifying impact on safety from cyber-attacks on cyber-physical systems. - Eleftherios E. Vlahakis; Gregory M. Provan; Gordon Werner; Shanchieh Yang; Nikolaos Athanasopoulos (CoRR, 2022)

Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks on Industrial Control Systems. - Mazen Azzam; Liliana Pasquale; Gregory M. Provan; Bashar Nuseibeh (IEEE Trans. Dependable Secur. Comput., 2022)

Robust Embedded Control using Randomized Switching Algorithms. - Gregory M. Provan; Yves Sohege (ECC, 2023)

Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. - Ruth Helen Bergin; Marco Dalla; Andrea Visentin; Barry O'Sullivan; Gregory M. Provan (SOCS, 2023)

Forensic readiness of industrial control systems under stealthy attacks. - Mazen Azzam; Liliana Pasquale; Gregory M. Provan; Bashar Nuseibeh (Comput. Secur., 2023)

Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks. - Mazen Azzam; Liliana Pasquale; Gregory M. Provan; Bashar Nuseibeh (IEEE Trans. Control. Syst. Technol., 2023)

Toward Explainable AutoEncoder-Based Diagnosis of Dynamical Systems. - Gregory M. Provan (Algorithms, 2023)

MATURE: Multistage Throughput Prediction for Adaptive Video Streaming in Cellular Networks. - Killian Nolan; Darijo Raca; Gregory M. Provan; Ahmed H. Zahran (NOSSDAV, 2024)

Improving Computational Cost of Bayesian Optimization for Controller Tuning with a Multi-stage Tuning Framework. - Marlon J. Ares Milián; Gregory M. Provan; Marcos Quiñones-Grueiro (CoRR, 2024)

Formal Methods for Autonomous Vehicles. - Gregory M. Provan (IT Prof., 2024)

Towards Automated Controller Parameter Design in Cyber-Physical Systems: Improving Computational Cost. - Marlon J. Ares Milián; Gregory M. Provan; Marcos Quiñones-Grueiro (SMARTCOMP, 2025)