Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gregory M. Provan
@article{DBLP:journals/itpro/Provan24,
author = {Gregory M. Provan},
title = {Formal Methods for Autonomous Vehicles},
journal = {{IT} Prof.},
volume = {26},
number = {1},
pages = {50--56},
year = {2024},
url = {https://doi.org/10.1109/MITP.2024.3356158},
doi = {10.1109/MITP.2024.3356158},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/Provan24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/Provan23,
author = {Gregory M. Provan},
title = {Toward Explainable AutoEncoder-Based Diagnosis of Dynamical Systems},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {178},
year = {2023},
url = {https://doi.org/10.3390/a16040178},
doi = {10.3390/A16040178},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/Provan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/AzzamPPN23,
author = {Mazen Azzam and
Liliana Pasquale and
Gregory M. Provan and
Bashar Nuseibeh},
title = {Forensic readiness of industrial control systems under stealthy attacks},
journal = {Comput. Secur.},
volume = {125},
pages = {103010},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2022.103010},
doi = {10.1016/J.COSE.2022.103010},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/compsec/AzzamPPN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/AzzamPPN23,
author = {Mazen Azzam and
Liliana Pasquale and
Gregory M. Provan and
Bashar Nuseibeh},
title = {Efficient Predictive Monitoring of Linear Time-Invariant Systems Under
Stealthy Attacks},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {31},
number = {2},
pages = {735--747},
year = {2023},
url = {https://doi.org/10.1109/TCST.2022.3196809},
doi = {10.1109/TCST.2022.3196809},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/AzzamPPN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ProvanS23,
author = {Gregory M. Provan and
Yves Sohege},
title = {Robust Embedded Control using Randomized Switching Algorithms},
booktitle = {European Control Conference, {ECC} 2023, Bucharest, Romania, June
13-16, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10178350},
timestamp = {Tue, 25 Jul 2023 13:04:39 +0200},
biburl = {https://dblp.org/rec/conf/eucc/ProvanS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BerginDVOP23,
author = {Ruth Helen Bergin and
Marco Dalla and
Andrea Visentin and
Barry O'Sullivan and
Gregory M. Provan},
editor = {Roman Bart{\'{a}}k and
Wheeler Ruml and
Oren Salzman},
title = {Using Machine Learning Classifiers in {SAT} Branching [Extended Abstract]},
booktitle = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
2023, July 14-16, 2023, Prague, Czech Republic},
pages = {169--170},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/socs.v16i1.27298},
doi = {10.1609/SOCS.V16I1.27298},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/BerginDVOP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AzzamPPN22,
author = {Mazen Azzam and
Liliana Pasquale and
Gregory M. Provan and
Bashar Nuseibeh},
title = {Grounds for Suspicion: Physics-Based Early Warnings for Stealthy Attacks
on Industrial Control Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {19},
number = {6},
pages = {3955--3970},
year = {2022},
url = {https://doi.org/10.1109/TDSC.2021.3113989},
doi = {10.1109/TDSC.2021.3113989},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/AzzamPPN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ProvanQS22,
author = {Gregory M. Provan and
Marcos Qui{\~{n}}ones{-}Grueiro and
Yves Sohege},
title = {Generating Minimal Controller Sets for Mixing {MMAC}},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {3009--3014},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9993251},
doi = {10.1109/CDC51059.2022.9993251},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ProvanQS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-12196,
author = {Eleftherios E. Vlahakis and
Gregory M. Provan and
Gordon Werner and
Shanchieh Yang and
Nikolaos Athanasopoulos},
title = {Quantifying impact on safety from cyber-attacks on cyber-physical
systems},
journal = {CoRR},
volume = {abs/2211.12196},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.12196},
doi = {10.48550/ARXIV.2211.12196},
eprinttype = {arXiv},
eprint = {2211.12196},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SohegeQP21,
author = {Yves Sohege and
Marcos Qui{\~{n}}ones{-}Grueiro and
Gregory M. Provan},
title = {A Novel Hybrid Approach for Fault-Tolerant Control of UAVs based on
Robust Reinforcement Learning},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {10719--10725},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9562097},
doi = {10.1109/ICRA48506.2021.9562097},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/SohegeQP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02378,
author = {Mazen Azzam and
Liliana Pasquale and
Gregory M. Provan and
Bashar Nuseibeh},
title = {Efficient Predictive Monitoring of Linear Time-Invariant Systems Under
Stealthy Attacks},
journal = {CoRR},
volume = {abs/2106.02378},
year = {2021},
url = {https://arxiv.org/abs/2106.02378},
eprinttype = {arXiv},
eprint = {2106.02378},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07980,
author = {Mazen Azzam and
Liliana Pasquale and
Gregory M. Provan and
Bashar Nuseibeh},
title = {Grounds for Suspicion: Physics-based Early Warnings for Stealthy Attacks
on Industrial Control Systems},
journal = {CoRR},
volume = {abs/2106.07980},
year = {2021},
url = {https://arxiv.org/abs/2106.07980},
eprinttype = {arXiv},
eprint = {2106.07980},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-07980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idsta/OrizioVBP20,
author = {Riccardo Orizio and
Satyanarayana Vuppala and
Stylianos Basagiannis and
Gregory M. Provan},
title = {Towards an Explainable Approach for Insider Threat Detection: Constraint
Network Learning},
booktitle = {International Conference on Intelligent Data Science Technologies
and Applications, {IDSTA} 2020, Valencia, Spain (Online Event), October
19-22, 2020},
pages = {42--49},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IDSTA50958.2020.9264049},
doi = {10.1109/IDSTA50958.2020.9264049},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/idsta/OrizioVBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/systol/ProvanS19,
author = {Gregory M. Provan and
Yves Sohege},
title = {Fault-Tolerant Control for Unseen Faults using Randomized Methods},
booktitle = {4th Conference on Control and Fault Tolerant Systems, SysTol 2019,
Casablanca, Morocco, September 18-20, 2019},
pages = {159--164},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SYSTOL.2019.8864779},
doi = {10.1109/SYSTOL.2019.8864779},
timestamp = {Mon, 21 Oct 2019 16:59:30 +0200},
biburl = {https://dblp.org/rec/conf/systol/ProvanS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aics/SohegeP18,
author = {Yves Sohege and
Gregory M. Provan},
editor = {Rob Brennan and
J{\"{o}}ran Beel and
Ruth Byrne and
Jeremy Debattista and
Ademar Crotti Junior},
title = {On-line Reinforcement Learning for Trajectory Following with Unknown
Faults},
booktitle = {Proceedings for the 26th {AIAI} Irish Conference on Artificial Intelligence
and Cognitive Science Trinity College Dublin, Dublin, Ireland, December
6-7th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2259},
pages = {291--302},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2259/aics\_27.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/aics/SohegeP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ProvanS18,
author = {Gregory M. Provan and
Yves Sohege},
title = {Comparison of Control and Cooperation Frameworks for Blended Autonomy},
booktitle = {16th European Control Conference, {ECC} 2018, Limassol, Cyprus, June
12-15, 2018},
pages = {1--7},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ECC.2018.8550055},
doi = {10.23919/ECC.2018.8550055},
timestamp = {Thu, 11 Feb 2021 14:14:57 +0100},
biburl = {https://dblp.org/rec/conf/eucc/ProvanS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Provan17,
author = {Gregory M. Provan},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {37--51},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n87m},
doi = {10.29007/N87M},
timestamp = {Sun, 15 Aug 2021 10:46:48 +0200},
biburl = {https://dblp.org/rec/conf/dx/Provan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/SohegeP17,
author = {Yves Sohege and
Gregory M. Provan},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Comparing Switching vs. Mixing {MPC} for Robust Fault-Tolerant Control},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {110--123},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/4rvz},
doi = {10.29007/4RVZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/SohegeP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aics/Provan16,
author = {Gregory M. Provan},
editor = {Derek Greene and
Brian Mac Namee and
Robert J. Ross},
title = {Learning Dynamical Models Using System Motifs},
booktitle = {Proceedings of the 24th Irish Conference on Artificial Intelligence
and Cognitive Science, {AICS} 2016, Dublin, Ireland, September 20-21,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1751},
pages = {161--172},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1751/AICS\_2016\_paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/aics/Provan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HuangP16,
author = {Weip{\'{e}}ng Hu{\'{a}}ng and
Gregory M. Provan},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {An Improved State Filter Algorithm for {SIR} Epidemic Forecasting},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {524--532},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-524},
doi = {10.3233/978-1-61499-672-9-524},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/HuangP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Provan16,
author = {Gregory M. Provan},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {A General Characterization of Model-Based Diagnosis},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1565--1566},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1565},
doi = {10.3233/978-1-61499-672-9-1565},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Provan16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/BuadhachainP15,
author = {S{\'{e}}amus {\'{O}} Buadhach{\'{a}}in and
Gregory M. Provan},
title = {An efficient decentralized clustering algorithm for aggregation of
noisy multi-mean data},
journal = {J. Heuristics},
volume = {21},
number = {2},
pages = {301--328},
year = {2015},
url = {https://doi.org/10.1007/s10732-014-9259-9},
doi = {10.1007/S10732-014-9259-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/BuadhachainP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Provan15,
author = {Gregory M. Provan},
editor = {Ladjel Bellatreche and
Yannis Manolopoulos},
title = {Bayesian Model Selection for Diagnostics},
booktitle = {Model and Data Engineering - 5th International Conference, {MEDI}
2015, Rhodes, Greece, September 26-28, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9344},
pages = {248--256},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23781-7\_20},
doi = {10.1007/978-3-319-23781-7\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/Provan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safeprocess/ProvanF15,
author = {Gregory M. Provan and
Alexander Feldman},
editor = {Yannick Pencol{\'{e}} and
Louise Trav{\'{e}}{-}Massuy{\`{e}}s and
Philippe Dague},
title = {A Framework For Assessing Diagnostics Model Fidelity},
booktitle = {Proceedings of the 26th International Workshop on Principles of Diagnosis
{(DX-2015)} co-located with 9th {IFAC} Symposium on Fault Detection,
Supervision and Safety for Technical Processes (Safeprocess 2015),
Paris, France, August 31 - September 3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1507},
pages = {127--134},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1507/dx15paper17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:16 +0100},
biburl = {https://dblp.org/rec/conf/safeprocess/ProvanF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijig/MaMPOH14,
author = {Ji Ma and
David P. Murphy and
Gregory M. Provan and
S. Cian O'Mathuna and
Michael Hayes},
title = {The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization
Techniques for 3D Scalar Data},
journal = {Int. J. Image Graph.},
volume = {14},
number = {4},
year = {2014},
url = {https://doi.org/10.1142/S021946781450017X},
doi = {10.1142/S021946781450017X},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijig/MaMPOH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanP14,
author = {Alexander Feldman and
Gregory M. Provan},
editor = {Carla E. Brodley and
Peter Stone},
title = {Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2644--2651},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9127},
doi = {10.1609/AAAI.V28I1.9127},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FeldmanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Provan14,
author = {Gregory M. Provan},
editor = {Carlos Canal and
Akram Idani},
title = {A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {131--143},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_9},
doi = {10.1007/978-3-319-15201-1\_9},
timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Provan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeldmanPG14,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
title = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
journal = {CoRR},
volume = {abs/1401.3848},
year = {2014},
url = {http://arxiv.org/abs/1401.3848},
eprinttype = {arXiv},
eprint = {1401.3848},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FeldmanPG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FeldmanPG14a,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
title = {A Model-Based Active Testing Approach to Sequential Diagnosis},
journal = {CoRR},
volume = {abs/1401.3850},
year = {2014},
url = {http://arxiv.org/abs/1401.3850},
eprinttype = {arXiv},
eprint = {1401.3850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FeldmanPG14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DarwicheP14,
author = {Adnan Darwiche and
Gregory M. Provan},
title = {Query DAGs: {A} Practical Paradigm for Implementing Belief Network
Inference},
journal = {CoRR},
volume = {abs/1408.1480},
year = {2014},
url = {http://arxiv.org/abs/1408.1480},
eprinttype = {arXiv},
eprint = {1408.1480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DarwicheP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BuadhachainP13,
author = {S{\'{e}}amus {\'{O}} Buadhach{\'{a}}in and
Gregory M. Provan},
title = {A model-based control method for decentralized calibration of wireless
sensor networks},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {6571--6576},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580870},
doi = {10.1109/ACC.2013.6580870},
timestamp = {Sun, 08 Aug 2021 01:40:56 +0200},
biburl = {https://dblp.org/rec/conf/amcc/BuadhachainP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/FeldmanP13,
author = {Alexander Feldman and
Gregory M. Provan},
editor = {Henrik Nilsson},
title = {Toward an Equation-Oriented Framework for Diagnosis of Complex Systems},
booktitle = {Proceedings of the 5th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2013, April 19, University of
Nottingham, Nottingham, {UK}},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {84},
pages = {65--74},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2013},
url = {http://www.ep.liu.se/ecp/article.asp?issue=084\&\#38;article=008\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/FeldmanP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RokachKPF13,
author = {Lior Rokach and
Meir Kalech and
Gregory M. Provan and
Alexander Feldman},
editor = {Francesca Rossi},
title = {Machine-Learning-Based Circuit Synthesis},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1635--1641},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6712},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/RokachKPF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcg/MaMPOH13,
author = {Ji Ma and
David P. Murphy and
Gregory M. Provan and
S. Cian O'Mathuna and
Michael Hayes},
editor = {Silvester Czanner and
Wen Tang},
title = {The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based
Uncertainty Visualization Techniques for Volumetric Scalar Data},
booktitle = {Theory and Practice of Computer Graphics, Bath, United Kingdom, 2013.
Proceedings},
pages = {25--32},
publisher = {Eurographics Association},
year = {2013},
url = {https://doi.org/10.2312/LocalChapterEvents.TPCG.TPCG13.025-032},
doi = {10.2312/LOCALCHAPTEREVENTS.TPCG.TPCG13.025-032},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcg/MaMPOH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1532,
author = {Adnan Darwiche and
Gregory M. Provan},
title = {A Standard Approach for Optimizing Belief Network Inference using
Query DAGs},
journal = {CoRR},
volume = {abs/1302.1532},
year = {2013},
url = {http://arxiv.org/abs/1302.1532},
eprinttype = {arXiv},
eprint = {1302.1532},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1532.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3582,
author = {Max Henrion and
Malcolm Pradhan and
Brendan Del Favero and
Kurt Huang and
Gregory M. Provan and
Paul O'Rorke},
title = {Why Is Diagnosis Using Belief Networks Insensitive to Imprecision
In Probabilities?},
journal = {CoRR},
volume = {abs/1302.3582},
year = {2013},
url = {http://arxiv.org/abs/1302.3582},
eprinttype = {arXiv},
eprint = {1302.3582},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4979,
author = {Gregory M. Provan},
title = {Abstraction in Belief Networks: The Role of Intermediate States in
Diagnostic Reasoning},
journal = {CoRR},
volume = {abs/1302.4979},
year = {2013},
url = {http://arxiv.org/abs/1302.4979},
eprinttype = {arXiv},
eprint = {1302.4979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6818,
author = {Max Henrion and
Gregory M. Provan and
Brendan Del Favero and
Gillian Sanders},
title = {An Experimental Comparison of Numerical and Qualitative Probabilistic
Reasoning},
journal = {CoRR},
volume = {abs/1302.6818},
year = {2013},
url = {http://arxiv.org/abs/1302.6818},
eprinttype = {arXiv},
eprint = {1302.6818},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6839,
author = {Malcolm Pradhan and
Gregory M. Provan and
Blackford Middleton and
Max Henrion},
title = {Knowledge Engineering for Large Belief Networks},
journal = {CoRR},
volume = {abs/1302.6839},
year = {2013},
url = {http://arxiv.org/abs/1302.6839},
eprinttype = {arXiv},
eprint = {1302.6839},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-1458,
author = {Gregory M. Provan},
title = {Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams},
journal = {CoRR},
volume = {abs/1303.1458},
year = {2013},
url = {http://arxiv.org/abs/1303.1458},
eprinttype = {arXiv},
eprint = {1303.1458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-1458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-5739,
author = {Gregory M. Provan},
title = {Dynamic Network Updating Techniques For Diagnostic Reasoning},
journal = {CoRR},
volume = {abs/1303.5739},
year = {2013},
url = {http://arxiv.org/abs/1303.5739},
eprinttype = {arXiv},
eprint = {1303.5739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-5739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1087,
author = {David L. Poole and
Gregory M. Provan},
title = {What is an Optimal Diagnosis?},
journal = {CoRR},
volume = {abs/1304.1087},
year = {2013},
url = {http://arxiv.org/abs/1304.1087},
eprinttype = {arXiv},
eprint = {1304.1087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1523,
author = {Gregory M. Provan},
title = {A Logical Interpretation of Dempster-Shafer Theory, with Application
to Visual Recognition},
journal = {CoRR},
volume = {abs/1304.1523},
year = {2013},
url = {http://arxiv.org/abs/1304.1523},
eprinttype = {arXiv},
eprint = {1304.1523},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SharmaMPB12,
author = {Virag Sharma and
David P. Murphy and
Gregory M. Provan and
Pavel V. Baranov},
title = {CodonLogo: a sequence logo-based viewer for codon patterns},
journal = {Bioinform.},
volume = {28},
number = {14},
pages = {1935--1936},
year = {2012},
url = {https://doi.org/10.1093/bioinformatics/bts295},
doi = {10.1093/BIOINFORMATICS/BTS295},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/SharmaMPB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SternKFP12,
author = {Roni Tzvi Stern and
Meir Kalech and
Alexander Feldman and
Gregory M. Provan},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Exploring the Duality in Conflict-Directed Model-Based Diagnosis},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {828--834},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8231},
doi = {10.1609/AAAI.V26I1.8231},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SternKFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/MaMOHP12,
author = {Ji Ma and
David P. Murphy and
S. Cian O'Mathuna and
Michael Hayes and
Gregory M. Provan},
editor = {Genny Tortora and
Stefano Levialdi and
Maurizio Tucci},
title = {Visualizing uncertainty in multi-resolution volumetric data using
marching cubes},
booktitle = {International Working Conference on Advanced Visual Interfaces, {AVI}
2012, Capri Island, Naples, Italy, May 22-25, 2012, Proceedings},
pages = {489--496},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254556.2254649},
doi = {10.1145/2254556.2254649},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avi/MaMOHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grapp/MaMOHP12,
author = {Ji Ma and
David P. Murphy and
S. Cian O'Mathuna and
Michael Hayes and
Gregory M. Provan},
editor = {Paul Richard and
Martin Kraus and
Robert S. Laramee and
Jos{\'{e}} Braz},
title = {Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution
Volume Data with Regular Grids},
booktitle = {{GRAPP} {\&} {IVAPP} 2012: Proceedings of the International Conference
on Computer Graphics Theory and Applications and International Conference
on Information Visualization Theory and Applications, Rome, Italy,
24-26 February, 2012},
pages = {751--754},
publisher = {SciTePress},
year = {2012},
timestamp = {Tue, 05 Mar 2024 11:15:19 +0100},
biburl = {https://dblp.org/rec/conf/grapp/MaMOHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/MadyPW12,
author = {Alie El{-}Din Mady and
Gregory M. Provan and
Ning Wei},
editor = {George J. Pappas},
title = {Designing cost-efficient wireless sensor/actuator networks for building
control systems},
booktitle = {BuildSys '12 Proceedings of the Fourth {ACM} Workshop on Embedded
Sensing Systems for Energy-Efficiency in Buildings, Toronto, Canada,
November 6, 2012},
pages = {138--144},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422531.2422556},
doi = {10.1145/2422531.2422556},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/MadyPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcg/MaMOHP12,
author = {Ji Ma and
David P. Murphy and
S. Cian O'Mathuna and
Michael Hayes and
Gregory M. Provan},
editor = {Hamish A. Carr and
Silvester Czanner},
title = {Analyzing and Visualizing Multivariate Volumetric Scalar Data and
Their Uncertainties},
booktitle = {Theory and Practice of Computer Graphics, Rutherford, United Kingdom,
2012. Proceedings},
pages = {61--68},
publisher = {Eurographics Association},
year = {2012},
url = {https://doi.org/10.2312/LocalChapterEvents/TPCG/TPCG12/061-068},
doi = {10.2312/LOCALCHAPTEREVENTS/TPCG/TPCG12/061-068},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcg/MaMOHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MadyPRB11,
author = {Alie El{-}Din Mady and
Gregory M. Provan and
Conor Ryan and
Kenneth N. Brown},
editor = {Wolfram Burgard and
Dan Roth},
title = {Stochastic Model Predictive Controller for the Integration of Building
Use and Temperature Regulation},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1371--1376},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7802},
doi = {10.1609/AAAI.V25I1.7802},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MadyPRB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MadyP11,
author = {Alie El{-}Din Mady and
Gregory M. Provan},
title = {Co-design of Wireless Sensor-Actuator Networks for building controls},
booktitle = {50th {IEEE} Conference on Decision and Control and European Control
Conference, 11th European Control Conference, {CDC/ECC} 2011, Orlando,
FL, USA, December 12-15, 2011},
pages = {5266--5273},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CDC.2011.6160951},
doi = {10.1109/CDC.2011.6160951},
timestamp = {Wed, 24 Feb 2021 08:49:08 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MadyP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eoolt/Provan11,
author = {Gregory M. Provan},
editor = {Fran{\c{c}}ois E. Cellier and
David Broman and
Peter Fritzson and
Edward A. Lee},
title = {Using Equation-Based Languages for Generating Embedded Code for Smart
Building Applications},
booktitle = {Proceedings of the 4th International Workshop on Equation-Based Object-Oriented
Modeling Languages and Tools, {EOOLT} 2011, Zurich, Switzerland, September
5, 2011},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {56},
pages = {87--96},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2011},
url = {http://www.ep.liu.se/ecp/article.asp?issue=056\&\#38;article=010\&\#38;volume=},
timestamp = {Thu, 10 Oct 2019 13:06:30 +0200},
biburl = {https://dblp.org/rec/conf/eoolt/Provan11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcg/MaMOHP11,
author = {Ji Ma and
David P. Murphy and
S. Cian O'Mathuna and
Michael Hayes and
Gregory M. Provan},
editor = {Ian J. Grimstead and
Hamish A. Carr},
title = {Model and Visualise the Relationship between Energy Consumption and
Temperature Distribution in Cold Rooms},
booktitle = {Theory and Practice of Computer Graphics, Warwick, United Kingdom,
2011. Proceedings},
pages = {71--72},
publisher = {Eurographics Association},
year = {2011},
url = {https://doi.org/10.2312/LocalChapterEvents/TPCG/TPCG11/071-072},
doi = {10.2312/LOCALCHAPTEREVENTS/TPCG/TPCG11/071-072},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcg/MaMOHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10,
author = {David W. Aha and
Mark S. Boddy and
Vadim Bulitko and
Artur S. d'Avila Garcez and
Prashant Doshi and
Stefan Edelkamp and
Christopher W. Geib and
Piotr J. Gmytrasiewicz and
Robert P. Goldman and
Pascal Hitzler and
Charles L. Isbell Jr. and
Darsana P. Josyula and
Leslie Pack Kaelbling and
Kristian Kersting and
Maithilee Kunda and
Lu{\'{\i}}s C. Lamb and
Bhaskara Marthi and
Keith McGreggor and
Vivi Nastase and
Gregory M. Provan and
Anita Raja and
Ashwin Ram and
Mark O. Riedl and
Stuart Russell and
Ashish Sabharwal and
Jan{-}Georg Smaus and
Gita Sukthankar and
Karl Tuyls and
Ron van der Meyden and
Alon Y. Halevy and
Lilyana Mihalkova and
Sriraam Natarajan},
title = {Reports of the {AAAI} 2010 Conference Workshops},
journal = {{AI} Mag.},
volume = {31},
number = {4},
pages = {95--108},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i4.2318},
doi = {10.1609/AIMAG.V31I4.2318},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FeldmanPG10,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
title = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
journal = {J. Artif. Intell. Res.},
volume = {38},
pages = {371--413},
year = {2010},
url = {https://doi.org/10.1613/jair.3025},
doi = {10.1613/JAIR.3025},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FeldmanPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FeldmanPG10a,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
title = {A Model-Based Active Testing Approach to Sequential Diagnosis},
journal = {J. Artif. Intell. Res.},
volume = {39},
pages = {301--334},
year = {2010},
url = {https://doi.org/10.1613/jair.3031},
doi = {10.1613/JAIR.3031},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FeldmanPG10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/StrussPKB10,
author = {Peter Struss and
Gregory M. Provan and
Johan de Kleer and
Gautam Biswas},
title = {Special Issue on Model-Based Diagnostics},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {40},
number = {5},
pages = {870--873},
year = {2010},
url = {https://doi.org/10.1109/TSMCA.2010.2055210},
doi = {10.1109/TSMCA.2010.2055210},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/StrussPKB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangP10,
author = {Jun Wang and
Gregory M. Provan},
title = {A Benchmark Diagnostic Model Generation System},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
volume = {40},
number = {5},
pages = {959--981},
year = {2010},
url = {https://doi.org/10.1109/TSMCA.2010.2052039},
doi = {10.1109/TSMCA.2010.2052039},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/WangP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ProvanS10,
author = {Gregory M. Provan and
Ashish Sabharwal},
title = {Preface},
booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010
{AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
series = {{AAAI} Technical Report},
volume = {{WS-10-08}},
publisher = {{AAAI}},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2105},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ProvanS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmt/BehrensP10,
author = {Marion Behrens and
Gregory M. Provan},
editor = {Laurence Tratt and
Martin Gogolla},
title = {Temporal Model-Based Diagnostics Generation for {HVAC} Control Systems},
booktitle = {Theory and Practice of Model Transformations - 3rd International Conference,
ICMT@TOOLS 2010, M{\'{a}}laga, Spain, June 28-July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6142},
pages = {31--44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13688-7\_3},
doi = {10.1007/978-3-642-13688-7\_3},
timestamp = {Wed, 24 Jun 2020 12:50:35 +0200},
biburl = {https://dblp.org/rec/conf/icmt/BehrensP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/MadyBP10,
author = {Alie El{-}Din Mady and
Menouer Boubekeur and
Gregory M. Provan},
editor = {Emilio Corchado and
Paulo Novais and
Cesar Analide and
Javier Sedano},
title = {{WSAN} QoS Driven Control Model for Building Operations},
booktitle = {Soft Computing Models in Industrial and Environmental Applications,
5th International Workshop {(SOCO} 2010), Guimar{\~{a}}es, Portugal,
June 2010},
series = {Advances in Intelligent and Soft Computing},
volume = {73},
pages = {237--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13161-5\_30},
doi = {10.1007/978-3-642-13161-5\_30},
timestamp = {Fri, 27 Mar 2020 08:49:49 +0100},
biburl = {https://dblp.org/rec/conf/softcomp/MadyBP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/MadyBPRB10,
author = {Alie El{-}Din Mady and
Menouer Boubekeur and
Gregory M. Provan and
Conor Ryan and
Kenneth N. Brown},
editor = {Emilio Corchado and
Paulo Novais and
Cesar Analide and
Javier Sedano},
title = {Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based
Optimisation},
booktitle = {Soft Computing Models in Industrial and Environmental Applications,
5th International Workshop {(SOCO} 2010), Guimar{\~{a}}es, Portugal,
June 2010},
series = {Advances in Intelligent and Soft Computing},
volume = {73},
pages = {249--259},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13161-5\_31},
doi = {10.1007/978-3-642-13161-5\_31},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/softcomp/MadyBPRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advcs/WangP09,
author = {Jun Wang and
Gregory M. Provan},
title = {Topological Analysis of Specific Spatial Complex Networks},
journal = {Adv. Complex Syst.},
volume = {12},
number = {1},
pages = {45--71},
year = {2009},
url = {https://doi.org/10.1142/S0219525909002052},
doi = {10.1142/S0219525909002052},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advcs/WangP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complex/WangP09,
author = {Jun Wang and
Gregory M. Provan},
editor = {Jie Zhou},
title = {Characterizing the Structural Complexity of Real-World Complex Networks},
booktitle = {Complex Sciences, First International Conference, Complex 2009, Shanghai,
China, February 23-25, 2009. Revised Papers, Part 1},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {4},
pages = {1178--1189},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02466-5\_118},
doi = {10.1007/978-3-642-02466-5\_118},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/complex/WangP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complex/WangP09a,
author = {Jun Wang and
Gregory M. Provan},
editor = {Jie Zhou},
title = {A Comparative Analysis of Specific Spatial Network Topological Models},
booktitle = {Complex Sciences, First International Conference, Complex 2009, Shanghai,
China, February 23-25, 2009. Revised Papers, Part 2},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {5},
pages = {1514--1525},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02469-6\_31},
doi = {10.1007/978-3-642-02469-6\_31},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/complex/WangP09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeldmanPG09,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Craig Boutilier},
title = {{FRACTAL:} Efficient Fault Isolation Using Active Testing},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {778--784},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/134.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FeldmanPG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeldmanPG09a,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Craig Boutilier},
title = {Solving Strong-Fault Diagnostic Models by Model Relaxation},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {785--790},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/135.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FeldmanPG09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/MadyBP09,
author = {A. Mady and
Menouer Boubekeur and
Gregory M. Provan},
title = {Compositional model-driven design of embedded code for energy-efficient
buildings},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {250--255},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195812},
doi = {10.1109/INDIN.2009.5195812},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/MadyBP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BehrensPBM09,
author = {Marion Behrens and
Gregory M. Provan and
Menouer Boubekeur and
A. Mady},
title = {Model-driven diagnostics generation for industrial automation},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {708--714},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195890},
doi = {10.1109/INDIN.2009.5195890},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/BehrensPBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPKKG09,
author = {Alexander Feldman and
Gregory M. Provan and
Johan de Kleer and
Lukas D. Kuhn and
Arjan J. C. van Gemund},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Automated Redesign with the General Redesign Engine},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/836},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/FeldmanPKKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangP08,
author = {Jun Wang and
Gregory M. Provan},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Generating Application-Specific Benchmark Models for Complex Systems},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {566--571},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-090.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanPG08,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Computing Minimal Diagnoses by Greedy Stochastic Search},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {911--918},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-145.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FeldmanPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FeldmanPG08a,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {919--924},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-146.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FeldmanPG08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VenturiniP08,
author = {Alberto Venturini and
Gregory M. Provan},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Incremental Algorithms for Approximate Compilation},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1495--1498},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-247.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/VenturiniP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Provan08,
author = {Gregory M. Provan},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Test Generation for Model-Based Diagnosis},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {199--203},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-199},
doi = {10.3233/978-1-58603-891-5-199},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Provan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/SantanaP08,
author = {Adamo Santana and
Gregory M. Provan},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {An Analysis of Bayesian Network Model-Approximation Techniques},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {851--852},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-851},
doi = {10.3233/978-1-58603-891-5-851},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/SantanaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/RazgonP08,
author = {Margarita Razgon and
Gregory M. Provan},
title = {Adding Flexibility to Russian Doll Search},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {163--171},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.82},
doi = {10.1109/ICTAI.2008.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/RazgonP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Provan08,
author = {Gregory M. Provan},
title = {Approximation Techniques for Space-Efficient Compilation in Abductive
Inference},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0043\_a2ec7b98507e16ff780c3e8ddb2f56a3.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Provan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/RazgonOP07,
author = {Igor Razgon and
Barry O'Sullivan and
Gregory M. Provan},
editor = {Fran{\c{c}}ois Fages and
Francesca Rossi and
Sylvain Soliman},
title = {Generalizing Global Constraints Based on Network Flows},
booktitle = {Recent Advances in Constraints, 12th Annual {ERCIM} International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5129},
pages = {127--141},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89812-2\_9},
doi = {10.1007/978-3-540-89812-2\_9},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/RazgonOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/RazgonOP07,
author = {Margarita Razgon and
Barry O'Sullivan and
Gregory M. Provan},
editor = {David Wilson and
Geoff Sutcliffe},
title = {Search Ordering Heuristics for Restarts-Based Constraint Solving},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
pages = {182--183},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-035.php},
timestamp = {Wed, 26 Oct 2022 08:35:25 +0200},
biburl = {https://dblp.org/rec/conf/flairs/RazgonOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/Heling-TveretinaP07,
author = {Olga Heling{-}Tveretina and
Gregory M. Provan},
editor = {Hamid R. Arabnia and
Mary Qu Yang and
Jack Y. Yang},
title = {On Approximate Knowledge Compilation with Weighted Decision Diagrams},
booktitle = {Proceedings of the 2007 International Conference on Artificial Intelligence,
{ICAI} 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, {USA}},
pages = {470--475},
publisher = {{CSREA} Press},
year = {2007},
timestamp = {Fri, 06 Feb 2009 14:10:46 +0100},
biburl = {https://dblp.org/rec/conf/icai/Heling-TveretinaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ProvanW07,
author = {Gregory M. Provan and
Jun Wang},
editor = {Manuela M. Veloso},
title = {Automated Benchmark Model Generators for Model-Based Diagnostic Inference},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {513--518},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/081.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ProvanW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/FeldmanPG07,
author = {Alexander Feldman and
Gregory M. Provan and
Arjan J. C. van Gemund},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Approximate Model-Based Diagnosis Using Greedy Stochastic Search},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {139--154},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_13},
doi = {10.1007/978-3-540-73580-9\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/FeldmanPG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OSullivanP06,
author = {Barry O'Sullivan and
Gregory M. Provan},
title = {Approximate Compilation for Embedded Model-based Reasoning},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {894--899},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-141.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/OSullivanP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Provan06,
author = {Gregory M. Provan},
title = {A Bayesian network framework for stochastic discrete-event control},
booktitle = {American Control Conference, {ACC} 2006, Minneapolis, MN, USA, 14-16
June, 2006},
pages = {1--6},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ACC.2006.1657689},
doi = {10.1109/ACC.2006.1657689},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/Provan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Provan06,
author = {Gregory M. Provan},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {An Empirical Analysis of the Complexity of Model-Based Diagnosis},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {783--784},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Provan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Provan06,
author = {Gregory M. Provan},
title = {Multi-Level Modeling and Distributed Agent-Based Inference: the Role
of System Structure},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {217--226},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.63},
doi = {10.1109/ICECCS.2006.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Provan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Provan05,
author = {Gregory M. Provan},
editor = {Jean{-}Daniel Zucker and
Lorenza Saitta},
title = {Approximate Model-Based Diagnosis Using Preference-Based Compilation},
booktitle = {Abstraction, Reformulation and Approximation, 6th International Symposium,
{SARA} 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3607},
pages = {182--193},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11527862\_13},
doi = {10.1007/11527862\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Provan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Provan04,
author = {Gregory M. Provan},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Inferential Complexity Control for Model-Based Abduction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {415--426},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-044.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Provan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Provan03,
author = {Gregory M. Provan},
editor = {Georg Gottlob and
Toby Walsh},
title = {A Novel Framework for Integrating Discrete Event System Control and
Diagnosis},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1341--1342},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/192.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Provan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Provan02,
author = {Gregory M. Provan},
title = {Distributed diagnosability properties of discrete event systems},
booktitle = {American Control Conference, {ACC} 2002, Anchorage, Alaska, USA, May
8-10 2002},
pages = {134--139},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ACC.2002.1024793},
doi = {10.1109/ACC.2002.1024793},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/Provan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/Provan02,
author = {Gregory M. Provan},
title = {On the diagnosability of decentralized, timed discrete event systems},
booktitle = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
NV, USA, December 10-13, 2002},
pages = {405--410},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CDC.2002.1184528},
doi = {10.1109/CDC.2002.1184528},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Provan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-3/ProvanC02,
author = {Gregory M. Provan and
Yi{-}Liang Chen},
editor = {Vladim{\'{\i}}r Mar{\'{\i}}k and
Luis M. Camarinha{-}Matos and
Hamideh Afsarmanesh},
title = {Agent-Based, Distributed Diagnosis for Shipboard Systems},
booktitle = {Knowledge and Technology Integration in Production and Services: Balancing
Knowledge in Product and Service Life Cycle, {IFIP} {TC5/WG5.3} Fifth
{IFIP/IEEE} International Conference on Information Technology for
Balanced Automation Systems in Manufacturing and Services (BASYS'02),
September 25-27, 2002, Cancun, Mexico},
series = {{IFIP} Conference Proceedings},
volume = {229},
pages = {281--288},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 25 Jul 2006 08:46:07 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-3/ProvanC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Provan02,
author = {Gregory M. Provan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Model-Based Diagnosis Framework for Distributed Embedded Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {341--352},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/Provan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/ProvanC01,
author = {Gregory M. Provan and
Yi{-}Liang Chen},
title = {Model-Based Fault-tolerant Control Reconfiguration for General Network
Topologies},
journal = {{IEEE} Micro},
volume = {21},
number = {5},
pages = {64--76},
year = {2001},
url = {https://doi.org/10.1109/40.958700},
doi = {10.1109/40.958700},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/micro/ProvanC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/Provan01,
author = {Gregory M. Provan},
editor = {Thomas S. Richardson and
Tommi S. Jaakkola},
title = {Stochastic System Monitoring and Control},
booktitle = {Proceedings of the Eighth International Workshop on Artificial Intelligence
and Statistics, {AISTATS} 2001, Key West, Florida, USA, January 4-7,
2001},
publisher = {Society for Artificial Intelligence and Statistics},
year = {2001},
url = {http://www.gatsby.ucl.ac.uk/aistats/aistats2001/files/provan128.pdf},
timestamp = {Thu, 21 Jun 2018 07:20:57 +0200},
biburl = {https://dblp.org/rec/conf/aistats/Provan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ProvanC00,
author = {Gregory M. Provan and
Yi{-}Liang Chen},
title = {Characterizing controllability and observability properties of temporal
causal network modeling for discrete event systems},
booktitle = {American Control Conference, {ACC} 2000, Chicago, Illinois, USA, 28-30
June, 2000},
pages = {3540--3544},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ACC.2000.879228},
doi = {10.1109/ACC.2000.879228},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ProvanC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ProvanC00,
author = {Gregory M. Provan and
Yi{-}Liang Chen},
title = {On the relationship between finite state machine and causal network
representations for discrete event system modeling: initial results},
booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney,
Australia, December 12-15, 2000},
pages = {29--34},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CDC.2000.912727},
doi = {10.1109/CDC.2000.912727},
timestamp = {Thu, 31 Mar 2022 11:10:43 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ProvanC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ProvanG99,
author = {Gregory M. Provan and
David Glover},
title = {An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components},
journal = {{AI} Commun.},
volume = {12},
number = {1-2},
pages = {19--32},
year = {1999},
url = {http://content.iospress.com/articles/ai-communications/aic172},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ProvanG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/MisraPKBS98,
author = {Amit Misra and
Gregory M. Provan and
Gabor Karsai and
George Bloor and
Ethan Scarl},
title = {A generic and symbolic model-based diagnostic reasoner with highly
scalable properties},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, {SMC} 1998, Hyatt Regency La Jolla, San Diego, California,
USA, October 11-14,1998},
pages = {3154--3160},
publisher = {{IEEE}},
year = {1998},
url = {https://doi.org/10.1109/ICSMC.1998.726487},
doi = {10.1109/ICSMC.1998.726487},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/MisraPKBS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DarwicheP97,
author = {Adnan Darwiche and
Gregory M. Provan},
title = {Query DAGs: {A} Practical Paradigm for Implementing Belief-Network
Inference},
journal = {J. Artif. Intell. Res.},
volume = {6},
pages = {147--176},
year = {1997},
url = {https://doi.org/10.1613/jair.330},
doi = {10.1613/JAIR.330},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DarwicheP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/LangleyPS97,
author = {Pat Langley and
Gregory M. Provan and
Padhraic Smyth},
title = {Learning with Probabilistic Representations},
journal = {Mach. Learn.},
volume = {29},
number = {2-3},
pages = {91--101},
year = {1997},
url = {https://doi.org/10.1023/A:1007467927290},
doi = {10.1023/A:1007467927290},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/LangleyPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DarwicheP97,
author = {Adnan Darwiche and
Gregory M. Provan},
editor = {Benjamin Kuipers and
Bonnie L. Webber},
title = {The Effect of Observations on the Complexity of Model-Based Diagnosis},
booktitle = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
and Ninth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
{USA}},
pages = {94--99},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1997},
url = {http://www.aaai.org/Library/AAAI/1997/aaai97-015.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DarwicheP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/DarwicheP97,
author = {Adnan Darwiche and
Gregory M. Provan},
editor = {Dan Geiger and
Prakash P. Shenoy},
title = {A Standard Approach for Optimizing Belief Network Inference Using
Query DAGs},
booktitle = {{UAI} '97: Proceedings of the Thirteenth Conference on Uncertainty
in Artificial Intelligence, Brown University, Providence, Rhode Island,
USA, August 1-3, 1997},
pages = {116--123},
publisher = {Morgan Kaufmann},
year = {1997},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=302\&\#38;proceeding\_id=13},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/DarwicheP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-9705101,
author = {Adnan Darwiche and
Gregory M. Provan},
title = {Query DAGs: {A} Practical Paradigm for Implementing Belief-Network
Inference},
journal = {CoRR},
volume = {cs.AI/9705101},
year = {1997},
url = {https://arxiv.org/abs/cs/9705101},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-9705101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/PradhanHPFH96,
author = {Malcolm Pradhan and
Max Henrion and
Gregory M. Provan and
Brendan Del Favero and
Kurt Huang},
title = {The Sensitivity of Belief Networks to Imprecise Probabilities: An
Experimental Investigation},
journal = {Artif. Intell.},
volume = {85},
number = {1-2},
pages = {363--397},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(96)00002-1},
doi = {10.1016/0004-3702(96)00002-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/PradhanHPFH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SinghP96,
author = {Moninder Singh and
Gregory M. Provan},
editor = {Lorenza Saitta},
title = {Efficient Learning of Selective Bayesian Network Classifiers},
booktitle = {Machine Learning, Proceedings of the Thirteenth International Conference
{(ICML} '96), Bari, Italy, July 3-6, 1996},
pages = {453--461},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 23 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/SinghP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ProvanS96,
author = {Gregory M. Provan and
Moninder Singh},
editor = {Evangelos Simoudis and
Jiawei Han and
Usama M. Fayyad},
title = {Data Mining and Model Simplicity: {A} Case Study in Diagnosis},
booktitle = {Proceedings of the Second International Conference on Knowledge Discovery
and Data Mining (KDD-96), Portland, Oregon, {USA}},
pages = {57--62},
publisher = {{AAAI} Press},
year = {1996},
url = {http://www.aaai.org/Library/KDD/1996/kdd96-010.php},
timestamp = {Mon, 05 Jun 2017 13:20:21 +0200},
biburl = {https://dblp.org/rec/conf/kdd/ProvanS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/DarwicheP96,
author = {Adnan Darwiche and
Gregory M. Provan},
editor = {Eric Horvitz and
Finn Verner Jensen},
title = {Query DAGs: {A} practical paradigm for implementing belief-network
inference},
booktitle = {{UAI} '96: Proceedings of the Twelfth Annual Conference on Uncertainty
in Artificial Intelligence, Reed College, Portland, Oregon, USA, August
1-4, 1996},
pages = {203--210},
publisher = {Morgan Kaufmann},
year = {1996},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=369\&\#38;proceeding\_id=12},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/DarwicheP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HenrionPFHPO96,
author = {Max Henrion and
Malcolm Pradhan and
Brendan Del Favero and
Kurt Huang and
Gregory M. Provan and
Paul O'Rorke},
editor = {Eric Horvitz and
Finn Verner Jensen},
title = {Why is diagnosis using belief networks insensitive to imprecision
in probabilities?},
booktitle = {{UAI} '96: Proceedings of the Twelfth Annual Conference on Uncertainty
in Artificial Intelligence, Reed College, Portland, Oregon, USA, August
1-4, 1996},
pages = {307--314},
publisher = {Morgan Kaufmann},
year = {1996},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=381\&\#38;proceeding\_id=12},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HenrionPFHPO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/ProvanS95,
author = {Gregory M. Provan and
Moninder Singh},
editor = {Doug Fisher and
Hans{-}Joachim Lenz},
title = {Learning Bayesian Networks Using Feature Selection},
booktitle = {Learning from Data - Fifth International Workshop on Artificial Intelligence
and Statistics, {AISTATS} 1995, Key West, Florida, USA, January, 1995.
Proceedings},
pages = {291--300},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4612-2404-4\_28},
doi = {10.1007/978-1-4612-2404-4\_28},
timestamp = {Tue, 19 Jun 2018 18:29:38 +0200},
biburl = {https://dblp.org/rec/conf/aistats/ProvanS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/SinghP95,
author = {Moninder Singh and
Gregory M. Provan},
editor = {Armand Prieditis and
Stuart Russell},
title = {A Comparison of Induction Algorithms for Selective and non-Selective
Bayesian Classifiers},
booktitle = {Machine Learning, Proceedings of the Twelfth International Conference
on Machine Learning, Tahoe City, California, USA, July 9-12, 1995},
pages = {497--505},
publisher = {Morgan Kaufmann},
year = {1995},
url = {https://doi.org/10.1016/b978-1-55860-377-6.50068-2},
doi = {10.1016/B978-1-55860-377-6.50068-2},
timestamp = {Wed, 20 Apr 2022 13:29:53 +0200},
biburl = {https://dblp.org/rec/conf/icml/SinghP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Provan95,
author = {Gregory M. Provan},
editor = {Philippe Besnard and
Steve Hanks},
title = {Abstraction in Belief Networks: The Role of Intermediate States in
Diagnostic Reasoning},
booktitle = {{UAI} '95: Proceedings of the Eleventh Annual Conference on Uncertainty
in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20,
1995},
pages = {464--471},
publisher = {Morgan Kaufmann},
year = {1995},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=465\&\#38;proceeding\_id=11},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Provan95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/Provan94,
author = {Gregory M. Provan},
title = {Tradeoffs in Knowledge-Based Construction of Probabilistic Models},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {24},
number = {11},
pages = {1580--1592},
year = {1994},
url = {https://doi.org/10.1109/21.328909},
doi = {10.1109/21.328909},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/Provan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HenrionPFS94,
author = {Max Henrion and
Gregory M. Provan and
Brendan Del Favero and
Gillian Sanders},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
David Poole},
title = {An Experimental Comparison of Numerical and Qualitative Probabilistic
Reasoning},
booktitle = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
1994},
pages = {319--326},
publisher = {Morgan Kaufmann},
year = {1994},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=519\&\#38;proceeding\_id=10},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/HenrionPFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/PradhanPMH94,
author = {Malcolm Pradhan and
Gregory M. Provan and
Blackford Middleton and
Max Henrion},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
David Poole},
title = {Knowledge Engineering for Large Belief Networks},
booktitle = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
1994},
pages = {484--490},
publisher = {Morgan Kaufmann},
year = {1994},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=540\&\#38;proceeding\_id=10},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/PradhanPMH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/ProvanC93,
author = {Gregory M. Provan and
John R. Clarke},
title = {Dynamic Network Construction and Updating Techniques for the Diagnosis
of Acute Abdominal Pain},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {15},
number = {3},
pages = {299--307},
year = {1993},
url = {https://doi.org/10.1109/34.204913},
doi = {10.1109/34.204913},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pami/ProvanC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/NgairP93,
author = {Teow{-}Hin Ngair and
Gregory M. Provan},
editor = {Michael Clarke and
Rudolf Kruse and
Seraf{\'{\i}}n Moral},
title = {A Lattice-Theoretic Analysis of {ATMS} Problem Solving},
booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {747},
pages = {282--289},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0028211},
doi = {10.1007/BFB0028211},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/NgairP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Provan93,
author = {Gregory M. Provan},
editor = {David Heckerman and
E. H. Mamdani},
title = {Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams},
booktitle = {{UAI} '93: Proceedings of the Ninth Annual Conference on Uncertainty
in Artificial Intelligence, The Catholic University of America, Providence,
Washington, DC, USA, July 9-11, 1993},
pages = {40--47},
publisher = {Morgan Kaufmann},
year = {1993},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=561\&\#38;proceeding\_id=9},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Provan93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Provan92,
author = {Gregory M. Provan},
title = {The validity of Dempster-Shafer belief functions},
journal = {Int. J. Approx. Reason.},
volume = {6},
number = {3},
pages = {389--399},
year = {1992},
url = {https://doi.org/10.1016/0888-613X(92)90032-U},
doi = {10.1016/0888-613X(92)90032-U},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Provan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McDiarmidP91,
author = {Colin J. H. McDiarmid and
Gregory M. Provan},
editor = {John Mylopoulos and
Raymond Reiter},
title = {An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms},
booktitle = {Proceedings of the 12th International Joint Conference on Artificial
Intelligence. Sydney, Australia, August 24-30, 1991},
pages = {172--177},
publisher = {Morgan Kaufmann},
year = {1991},
url = {http://ijcai.org/Proceedings/91-1/Papers/028.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:13 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McDiarmidP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ProvanP91,
author = {Gregory M. Provan and
David L. Poole},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {The Utility of Consistency-Based Diagnostic Techniques},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {461--472},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Thu, 02 May 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/ProvanP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Provan91,
author = {Gregory M. Provan},
editor = {Bruce D'Ambrosio and
Philippe Smets},
title = {Dynamic Network Updating Techniques for Diagnostic Reasoning},
booktitle = {{UAI} '91: Proceedings of the Seventh Annual Conference on Uncertainty
in Artificial Intelligence, University of California at Los Angeles,
Los Angeles, CA, USA, July 13-15, 1991},
pages = {279--286},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=709\&\#38;proceeding\_id=7},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Provan91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Provan90,
author = {Gregory M. Provan},
title = {A logic-based analysis of Dempster-Shafer theory},
journal = {Int. J. Approx. Reason.},
volume = {4},
number = {5-6},
pages = {451--495},
year = {1990},
url = {https://doi.org/10.1016/0888-613X(90)90016-U},
doi = {10.1016/0888-613X(90)90016-U},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Provan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Provan90,
author = {Gregory M. Provan},
title = {The Computational Complexity of Multiple-Context Truth Maintenance
Systems},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {522--527},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Provan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/Provan90,
author = {Gregory M. Provan},
editor = {Olivier D. Faugeras},
title = {An Analysis Of Knowledge Representation Schemes For High Level Vision},
booktitle = {Computer Vision - ECCV'90, First European Conference on Computer Vision,
Antibes, France, April 23-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {427},
pages = {537--541},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0014903},
doi = {10.1007/BFB0014903},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/eccv/Provan90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/PooleP90,
author = {David L. Poole and
Gregory M. Provan},
editor = {Piero P. Bonissone and
Max Henrion and
Laveen N. Kanal and
John F. Lemmer},
title = {What is the most likely diagnosis?},
booktitle = {{UAI} '90: Proceedings of the Sixth Annual Conference on Uncertainty
in Artificial Intelligence, MIT, Cambridge, MA, USA, July 27-29, 1990},
pages = {89--106},
publisher = {Elsevier},
year = {1990},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1905\&\#38;proceeding\_id=1006},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/PooleP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Provan89,
author = {Gregory M. Provan},
editor = {N. S. Sridharan},
title = {An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer
Belief Functions},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1115--1120},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/043.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Provan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Provan89,
author = {Gregory M. Provan},
editor = {Max Henrion and
Ross D. Shachter and
Laveen N. Kanal and
John F. Lemmer},
title = {The Application of Dempster Shafer Theory to a Logic-Based Visual
Recognition System},
booktitle = {{UAI} '89: Proceedings of the Fifth Annual Conference on Uncertainty
in Artificial Intelligence, Windsor, Ontario, Canada, August 18-20,
1989},
pages = {389--406},
publisher = {North-Holland},
year = {1989},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1891\&\#38;proceeding\_id=1005},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Provan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Provan88,
author = {Gregory M. Provan},
title = {Complexity analysis of truth maintenance systems with application
to high level vision},
school = {University of Oxford, {UK}},
year = {1988},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236096},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Provan88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Provan88,
author = {Gregory M. Provan},
editor = {Yves Kodratoff},
title = {Solving Diagnostic Problems Using Extended Truth Maintenance Systems},
booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
Germany, August 1-5, 1988, Proceedings},
pages = {547--552},
publisher = {Pitmann Publishing, London},
year = {1988},
timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Provan88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Provan87,
author = {Gregory M. Provan},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Efficiency Analysis of Multiple-Context TMSs in Scene Representation},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {173--177},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-031.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Provan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-09 00:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
