BibTeX records: Kevin McAreavey

download as .bib file

@inproceedings{DBLP:conf/icaart/YuanMLL24,
  author       = {Yining Yuan and
                  Kevin McAreavey and
                  Shujun Li and
                  Weiru Liu},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Multi-Granular Evaluation of Diverse Counterfactual Explanations},
  booktitle    = {Proceedings of the 16th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2024, Volume 2, Rome, Italy, February 24-26,
                  2024},
  pages        = {186--197},
  publisher    = {{SCITEPRESS}},
  year         = {2024},
  url          = {https://doi.org/10.5220/0012349900003636},
  doi          = {10.5220/0012349900003636},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/YuanMLL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/complexnetworks/WuMLM23,
  author       = {Yiwen Wu and
                  Kevin McAreavey and
                  Weiru Liu and
                  Ryan McConville},
  editor       = {Hocine Cherifi and
                  Luis M. Rocha and
                  Chantal Cherifi and
                  Murat Donduran},
  title        = {A Comparative Analysis of Information Cascade Prediction Using Dynamic
                  Heterogeneous and Homogeneous Graphs},
  booktitle    = {Complex Networks {\&} Their Applications {XII} - Proceedings of
                  The Twelfth International Conference on Complex Networks and their
                  Applications: {COMPLEX} {NETWORKS} 2023, Menton, France, 28-30 November,
                  2023, Volume 4},
  series       = {Studies in Computational Intelligence},
  volume       = {1144},
  pages        = {168--179},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-53503-1\_14},
  doi          = {10.1007/978-3-031-53503-1\_14},
  timestamp    = {Mon, 15 Apr 2024 15:57:37 +0200},
  biburl       = {https://dblp.org/rec/conf/complexnetworks/WuMLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/McAreaveyL23,
  author       = {Kevin McAreavey and
                  Weiru Liu},
  editor       = {Zied Bouraoui and
                  Srdjan Vesic},
  title        = {Modifications of the Miller Definition of Contrastive (Counterfactual)
                  Explanations},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 17th European Conference, {ECSQARU} 2023, Arras, France, September
                  19-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14294},
  pages        = {54--67},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45608-4\_5},
  doi          = {10.1007/978-3-031-45608-4\_5},
  timestamp    = {Fri, 24 Nov 2023 11:44:34 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/McAreaveyL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/xai/LiuML23,
  author       = {Xiaowei Liu and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Luca Longo},
  title        = {Contrastive Visual Explanations for Reinforcement Learning via Counterfactual
                  Rewards},
  booktitle    = {Explainable Artificial Intelligence - First World Conference, xAI
                  2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part {II}},
  series       = {Communications in Computer and Information Science},
  volume       = {1902},
  pages        = {72--87},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44067-0\_4},
  doi          = {10.1007/978-3-031-44067-0\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/xai/LiuML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/xai/HuLZML23,
  author       = {Jingyu Hu and
                  Yizhu Liang and
                  Weiyu Zhao and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Luca Longo},
  title        = {An Interactive {XAI} Interface with Application in Healthcare for
                  Non-experts},
  booktitle    = {Explainable Artificial Intelligence - First World Conference, xAI
                  2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part {I}},
  series       = {Communications in Computer and Information Science},
  volume       = {1901},
  pages        = {649--670},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44064-9\_35},
  doi          = {10.1007/978-3-031-44064-9\_35},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/xai/HuLZML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2307-10832,
  author       = {Kevin McAreavey and
                  Weiru Liu},
  title        = {Modifications of the Miller definition of contrastive (counterfactual)
                  explanations},
  journal      = {CoRR},
  volume       = {abs/2307.10832},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.10832},
  doi          = {10.48550/ARXIV.2307.10832},
  eprinttype    = {arXiv},
  eprint       = {2307.10832},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-10832.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tits/ChanceGMLPE22,
  author       = {Greg Chance and
                  Abanoub Ghobrial and
                  Kevin McAreavey and
                  S{\'{e}}verin Lemaignan and
                  Tony Pipe and
                  Kerstin Eder},
  title        = {On Determinism of Game Engines Used for Simulation-Based Autonomous
                  Vehicle Verification},
  journal      = {{IEEE} Trans. Intell. Transp. Syst.},
  volume       = {23},
  number       = {11},
  pages        = {20538--20552},
  year         = {2022},
  url          = {https://doi.org/10.1109/TITS.2022.3177887},
  doi          = {10.1109/TITS.2022.3177887},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tits/ChanceGMLPE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/ZhangML22,
  author       = {Yuhao Zhang and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {Developing and Experimenting on Approaches to Explainability in {AI}
                  Systems},
  booktitle    = {Proceedings of the 14th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February
                  3-5, 2022},
  pages        = {518--527},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010900300003116},
  doi          = {10.5220/0010900300003116},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/ZhangML22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/McAreaveyBL22,
  author       = {Kevin McAreavey and
                  Kim Bauters and
                  Weiru Liu},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {A Smart Home Testbed for Evaluating {XAI} with Non-experts},
  booktitle    = {Proceedings of the 14th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2022, Volume 3, Online Streaming, February
                  3-5, 2022},
  pages        = {773--784},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  url          = {https://doi.org/10.5220/0010908100003116},
  doi          = {10.5220/0010908100003116},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/McAreaveyBL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iconac/MaMML22,
  author       = {Hongnan Ma and
                  Kevin McAreavey and
                  Ryan McConville and
                  Weiru Liu},
  title        = {Explainable {AI} for Non-Experts: Energy Tariff Forecasting},
  booktitle    = {27th International Conference on Automation and Computing, {ICAC}
                  2022, Bristol, United Kingdom, September 1-3, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICAC55051.2022.9911105},
  doi          = {10.1109/ICAC55051.2022.9911105},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iconac/MaMML22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iconac/ShiML22,
  author       = {Yiwei Shi and
                  Kevin McAreavey and
                  Weiru Liu},
  title        = {Evaluating contrastive explanations for {AI} planning with non-experts:
                  a smart home battery scenario},
  booktitle    = {27th International Conference on Automation and Computing, {ICAC}
                  2022, Bristol, United Kingdom, September 1-3, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICAC55051.2022.9911125},
  doi          = {10.1109/ICAC55051.2022.9911125},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iconac/ShiML22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijis/MaLMLJZC21,
  author       = {Wenjun Ma and
                  Weiru Liu and
                  Kevin McAreavey and
                  Xudong Luo and
                  Yuncheng Jiang and
                  Jieyu Zhan and
                  Zhenzhou Chen},
  title        = {A decision support framework for security resource allocation under
                  ambiguity},
  journal      = {Int. J. Intell. Syst.},
  volume       = {36},
  number       = {1},
  pages        = {5--52},
  year         = {2021},
  url          = {https://doi.org/10.1002/int.22288},
  doi          = {10.1002/INT.22288},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/MaLMLJZC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2104-06262,
  author       = {Greg Chance and
                  Abanoub Ghobrial and
                  Kevin McAreavey and
                  S{\'{e}}verin Lemaignan and
                  Tony Pipe and
                  Kerstin Eder},
  title        = {On Determinism of Game Engines used for Simulation-based Autonomous
                  Vehicle Verification},
  journal      = {CoRR},
  volume       = {abs/2104.06262},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.06262},
  eprinttype    = {arXiv},
  eprint       = {2104.06262},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-06262.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijis/MaLLMJM19,
  author       = {Wenjun Ma and
                  Weiru Liu and
                  Xudong Luo and
                  Kevin McAreavey and
                  Yuncheng Jiang and
                  Jianbing Ma},
  title        = {A Dempster-Shafer theory and uninorm-based framework of reasoning
                  and multiattribute decision-making for surveillance system},
  journal      = {Int. J. Intell. Syst.},
  volume       = {34},
  number       = {11},
  pages        = {3077--3104},
  year         = {2019},
  url          = {https://doi.org/10.1002/int.22175},
  doi          = {10.1002/INT.22175},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijis/MaLLMJM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/XuMBL19,
  author       = {Mengwei Xu and
                  Kevin McAreavey and
                  Kim Bauters and
                  Weiru Liu},
  title        = {Intention Interleaving Via Classical Replanning},
  booktitle    = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
  pages        = {85--92},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICTAI.2019.00021},
  doi          = {10.1109/ICTAI.2019.00021},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/XuMBL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eswa/MaMLL18,
  author       = {Wenjun Ma and
                  Kevin McAreavey and
                  Weiru Liu and
                  Xudong Luo},
  title        = {Acceptable costs of minimax regret equilibrium: {A} Solution to security
                  games with surveillance-driven probabilistic information},
  journal      = {Expert Syst. Appl.},
  volume       = {108},
  pages        = {206--222},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.eswa.2018.03.066},
  doi          = {10.1016/J.ESWA.2018.03.066},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/MaMLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jifs/ParraCM18,
  author       = {Maria del Pilar Pozos Parra and
                  Oscar Ch{\'{a}}vez{-}Bosquez and
                  Kevin McAreavey},
  title        = {Merginator: {A} belief merging tool for consensus support},
  journal      = {J. Intell. Fuzzy Syst.},
  volume       = {34},
  number       = {5},
  pages        = {3199--3210},
  year         = {2018},
  url          = {https://doi.org/10.3233/JIFS-169503},
  doi          = {10.3233/JIFS-169503},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jifs/ParraCM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MaJLLM18,
  author       = {Wenjun Ma and
                  Yuncheng Jiang and
                  Weiru Liu and
                  Xudong Luo and
                  Kevin McAreavey},
  editor       = {Sheila A. McIlraith and
                  Kilian Q. Weinberger},
  title        = {Expected Utility with Relative Loss Reduction: {A} Unifying Decision
                  Model for Resolving Four Well-Known Paradoxes},
  booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
                  (AAAI-18), the 30th innovative Applications of Artificial Intelligence
                  (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
                  Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
                  2-7, 2018},
  pages        = {687--695},
  publisher    = {{AAAI} Press},
  year         = {2018},
  url          = {https://doi.org/10.1609/aaai.v32i1.11322},
  doi          = {10.1609/AAAI.V32I1.11322},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MaJLLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/asunam/SharmaM0G18,
  author       = {Rajesh Sharma and
                  Kevin McAreavey and
                  Jun Hong and
                  Faisal Ghaffar},
  editor       = {Ulrik Brandes and
                  Chandan Reddy and
                  Andrea Tagarelli},
  title        = {Individual-Level Social Capital in Weighted and Attributed Social
                  Networks},
  booktitle    = {{IEEE/ACM} 2018 International Conference on Advances in Social Networks
                  Analysis and Mining, {ASONAM} 2018, Barcelona, Spain, August 28-31,
                  2018},
  pages        = {1032--1037},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ASONAM.2018.8508302},
  doi          = {10.1109/ASONAM.2018.8508302},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asunam/SharmaM0G18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/complexnetworks/Spratt0ML18,
  author       = {Christopher Spratt and
                  Jun Hong and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Luca Maria Aiello and
                  Chantal Cherifi and
                  Hocine Cherifi and
                  Renaud Lambiotte and
                  Pietro Li{\'{o}} and
                  Luis M. Rocha},
  title        = {Community-Based Measures for Social Capital},
  booktitle    = {Complex Networks and Their Applications {VII} - Volume 2 Proceedings
                  The 7th International Conference on Complex Networks and Their Applications
                  {COMPLEX} {NETWORKS} 2018},
  series       = {Studies in Computational Intelligence},
  volume       = {813},
  pages        = {327--338},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-05414-4\_26},
  doi          = {10.1007/978-3-030-05414-4\_26},
  timestamp    = {Thu, 07 Jul 2022 13:32:56 +0200},
  biburl       = {https://dblp.org/rec/conf/complexnetworks/Spratt0ML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/XuBML18,
  author       = {Mengwei Xu and
                  Kim Bauters and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Lefteri H. Tsoukalas and
                  {\'{E}}ric Gr{\'{e}}goire and
                  Miltiadis Alamaniotis},
  title        = {A Framework for Plan Library Evolution in {BDI} Agent Systems},
  booktitle    = {{IEEE} 30th International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2018, 5-7 November 2018, Volos, Greece},
  pages        = {414--421},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICTAI.2018.00071},
  doi          = {10.1109/ICTAI.2018.00071},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/XuBML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sum/XuBML18,
  author       = {Mengwei Xu and
                  Kim Bauters and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Davide Ciucci and
                  Gabriella Pasi and
                  Barbara Vantaggi},
  title        = {A Formal Approach to Embedding First-Principles Planning in {BDI}
                  Agent Systems},
  booktitle    = {Scalable Uncertainty Management - 12th International Conference, {SUM}
                  2018, Milan, Italy, October 3-5, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11142},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-00461-3\_23},
  doi          = {10.1007/978-3-030-00461-3\_23},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/XuBML18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jair/BautersMLHLS17,
  author       = {Kim Bauters and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong and
                  Llu{\'{\i}}s Godo Lacasa and
                  Carles Sierra},
  title        = {Managing Different Sources of Uncertainty in a {BDI} Framework in
                  a Principled Way with Tractable Fragments},
  journal      = {J. Artif. Intell. Res.},
  volume       = {58},
  pages        = {731--775},
  year         = {2017},
  url          = {https://doi.org/10.1613/jair.5287},
  doi          = {10.1613/JAIR.5287},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jair/BautersMLHLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/kais/CalderwoodMLH17,
  author       = {Sarah Calderwood and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong},
  title        = {Context-dependent combination of sensor information in Dempster-Shafer
                  theory for {BDI}},
  journal      = {Knowl. Inf. Syst.},
  volume       = {51},
  number       = {1},
  pages        = {259--285},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10115-016-0978-0},
  doi          = {10.1007/S10115-016-0978-0},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/CalderwoodMLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/McAreaveyBLH17,
  author       = {Kevin McAreavey and
                  Kim Bauters and
                  Weiru Liu and
                  Jun Hong},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {The Event Calculus in Probabilistic Logic Programming with Annotated
                  Disjunctions},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {105--113},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091146},
  timestamp    = {Wed, 27 Sep 2017 07:24:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/McAreaveyBLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/CalderwoodMLH17,
  author       = {Sarah Calderwood and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong},
  editor       = {H. Jaap van den Herik and
                  Ana Paula Rocha and
                  Joaquim Filipe},
  title        = {Modelling and Reasoning with Uncertain Event-observations for Event
                  Inference},
  booktitle    = {Proceedings of the 9th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2017, Volume 2, Porto, Portugal, February 24-26,
                  2017},
  pages        = {308--317},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006254103080317},
  doi          = {10.5220/0006254103080317},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/CalderwoodMLH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/KilloughBML017,
  author       = {Ronan Killough and
                  Kim Bauters and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong},
  title        = {Resource-Based Dynamic Rewards for Factored MDPs},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {1320--1327},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00198},
  doi          = {10.1109/ICTAI.2017.00198},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KilloughBML017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaart/KilloughBMLH16,
  author       = {Ronan Killough and
                  Kim Bauters and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong},
  editor       = {H. Jaap van den Herik and
                  Joaquim Filipe},
  title        = {Risk-aware Planning in {BDI} Agents},
  booktitle    = {Proceedings of the 8th International Conference on Agents and Artificial
                  Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
                  2016},
  pages        = {322--329},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005703103220329},
  doi          = {10.5220/0005703103220329},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/KilloughBMLH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lanmr/Chavez-BosquezP16,
  author       = {Oscar Ch{\'{a}}vez{-}Bosquez and
                  Pilar Pozos Parra and
                  Kevin McAreavey},
  editor       = {Mauricio Javier Osorio Galindo and
                  Jos{\'{e}} Raymundo Marcial{-}Romero and
                  Claudia Zepeda Cort{\'{e}}s and
                  Iv{\'{a}}n Olmos Pineda},
  title        = {On the development of a logic calculator: a novel tool to perform
                  logical operations},
  booktitle    = {Proceedings of the Tenth Latin American Workshop on Logic/Languages,
                  Algorithms and New Methods of Reasoning, {LANMR} 2016, Puebla, Mexico,
                  August 15, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1659},
  pages        = {9--16},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1659/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/lanmr/Chavez-BosquezP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecsqaru/MaLM15,
  author       = {Wenjun Ma and
                  Weiru Liu and
                  Kevin McAreavey},
  editor       = {S{\'{e}}bastien Destercke and
                  Thierry Denoeux},
  title        = {Game-Theoretic Resource Allocation with Real-Time Probabilistic Surveillance
                  Information},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
                  July 15-17, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9161},
  pages        = {151--161},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-20807-7\_14},
  doi          = {10.1007/978-3-319-20807-7\_14},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/MaLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wcicss/CalderwoodMLH15,
  author       = {Sarah Calderwood and
                  Kevin McAreavey and
                  Weiru Liu and
                  Jun Hong},
  title        = {Contextual merging of uncertain information for better informed plan
                  selection in {BDI} systems},
  booktitle    = {2015 World Congress on Industrial Control Systems Security, {WCICSS}
                  2015, London, United Kingdom, December 14-16, 2015},
  pages        = {64--65},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/WCICSS.2015.7420326},
  doi          = {10.1109/WCICSS.2015.7420326},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wcicss/CalderwoodMLH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/McAreavey14,
  author       = {Kevin McAreavey},
  title        = {Finding and measuring inconsistency in arbitrary knowledge bases},
  school       = {Queen's University Belfast, {UK}},
  year         = {2014},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.675856},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/McAreavey14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijar/McAreaveyLM14,
  author       = {Kevin McAreavey and
                  Weiru Liu and
                  Paul Miller},
  title        = {Computational approaches to finding and measuring inconsistency in
                  arbitrary knowledge bases},
  journal      = {Int. J. Approx. Reason.},
  volume       = {55},
  number       = {8},
  pages        = {1659--1693},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ijar.2014.06.003},
  doi          = {10.1016/J.IJAR.2014.06.003},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijar/McAreaveyLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sum/ParraML13,
  author       = {Pilar Pozos Parra and
                  Kevin McAreavey and
                  Weiru Liu},
  editor       = {Weiru Liu and
                  V. S. Subrahmanian and
                  Jef Wijsen},
  title        = {On the Merit of Selecting Different Belief Merging Operators},
  booktitle    = {Scalable Uncertainty Management - 7th International Conference, {SUM}
                  2013, Washington, DC, USA, September 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8078},
  pages        = {331--345},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40381-1\_26},
  doi          = {10.1007/978-3-642-40381-1\_26},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sum/ParraML13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stairs/McAreaveyLMM12,
  author       = {Kevin McAreavey and
                  Weiru Liu and
                  Paul Miller and
                  Chris Meenan},
  editor       = {Kristian Kersting and
                  Marc Toussaint},
  title        = {Tools for Finding Inconsistencies in Real-world Logic-based Systems},
  booktitle    = {{STAIRS} 2012 - Proceedings of the Sixth Starting {AI} Researchers'
                  Symposium, Montpellier, France, 27-28 August 2012},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {241},
  pages        = {192--203},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {https://doi.org/10.3233/978-1-61499-096-3-192},
  doi          = {10.3233/978-1-61499-096-3-192},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stairs/McAreaveyLMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijsc/McAreaveyLMM11,
  author       = {Kevin McAreavey and
                  Weiru Liu and
                  Paul Miller and
                  Kedian Mu},
  title        = {Measuring Inconsistency in a Network Intrusion Detection Rule Set
                  Based on Snort},
  journal      = {Int. J. Semantic Comput.},
  volume       = {5},
  number       = {3},
  pages        = {281--322},
  year         = {2011},
  url          = {https://doi.org/10.1142/S1793351X11001274},
  doi          = {10.1142/S1793351X11001274},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsc/McAreaveyLMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dexaw/McAreaveyLM11,
  author       = {Kevin McAreavey and
                  Weiru Liu and
                  Paul Miller},
  editor       = {Franck Morvan and
                  A Min Tjoa and
                  Roland R. Wagner},
  title        = {Measuring Inconsistency in Network Intrusion Rules},
  booktitle    = {2011 Database and Expert Systems Applications, DEXA, International
                  Workshops, Toulouse, France, August 29 - Sept. 2, 2011},
  pages        = {339--344},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DEXA.2011.51},
  doi          = {10.1109/DEXA.2011.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexaw/McAreaveyLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.