|
2023 Journal Article Model tree methods for explaining deep reinforcement learning agents in real-time robotic applicationsGjaerum, Vilde B., Strumke, Inga, Lover, Jakob, Miller, Timothy and Lekkas, Anastasios M. (2023). Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications. Neurocomputing, 515, 133-144. doi: 10.1016/j.neucom.2022.10.014 |
|
2022 Conference Publication Characterizing text revisions to better support collaborativePing, Tan Ping, Verspoor, Karin and Miller, Timothy (2022). Characterizing text revisions to better support collaborative. 2022 International Conference on Digital Transformation and Intelligence (ICDI), Kuching, Sarawak, Malaysia, 1-2 December 2022. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICDI57181.2022.10007395 |
|
2022 Conference Publication What's the appeal? Perceptions of review processes for algorithmic decisionsLyons, Henrietta, Wijenayake, Senuri, Miller, Tim and Velloso, Eduardo (2022). What's the appeal? Perceptions of review processes for algorithmic decisions. CHI Conference on Human Factors in Computing Systems (CHI), New Orleans, LA, United States, 30 April-5 May 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3491102.3517606 |
|
2022 Journal Article Efficient multi-agent epistemic planning: teaching planners about nested beliefMuise, Christian, Belle, Vaishak, Felli, Paolo, McIlraith, Sheila, Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2022). Efficient multi-agent epistemic planning: teaching planners about nested belief. Artificial Intelligence, 302 103605, 1-36. doi: 10.1016/j.artint.2021.103605 |
|
2021 Journal Article Modeling communication of collaborative multiagent system under epistemic planningAlshehri, Abeer, Miller, Tim and Sonenberg, Liz (2021). Modeling communication of collaborative multiagent system under epistemic planning. International Journal of Intelligent Systems, 36 (10), 5959-5980. doi: 10.1002/int.22536 |
|
2021 Conference Publication Invertible concept-based explanations for CNN models with non-negative concept activation vectorsZhang, Ruihan, Madumal, Prashan, Miller, Tim, Ehinger, Krista A. and Rubinstein, Benjamin I. P. (2021). Invertible concept-based explanations for CNN models with non-negative concept activation vectors. 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence, Virtual, 2-9 February 2021. Palo Alto, CA United States: Association for the Advancement of Artificial Intelligence. doi: 10.1609/aaai.v35i13.17389 |
|
2021 Journal Article Contrastive explanation: a structural-model approachMiller, Tim (2021). Contrastive explanation: a structural-model approach. The Knowledge Engineering Review, 36 e14, 36. doi: 10.1017/s0269888921000102 |
|
2020 Journal Article Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping reviewPayrovnaziri, Seyedeh Neelufar, Chen, Zhaoyi, Rengifo-Moreno, Pablo, Miller, Tim, Bian, Jiang, Chen, Jonathan H., Liu, Xiuwen and He, Zhe (2020). Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review. Journal of the American Medical Informatics Association, 27 (7), 1173-1185. doi: 10.1093/jamia/ocaa053 |
|
2020 Journal Article Combining gaze and AI planning for online human intention recognitionSingh, Ronal, Miller, Tim, Newn, Joshua, Velloso, Eduardo, Vetere, Frank and Sonenberg, Liz (2020). Combining gaze and AI planning for online human intention recognition. Artificial Intelligence, 284 103275. doi: 10.1016/j.artint.2020.103275 |
|
2020 Journal Article Demand-Driven Transparency for Monitoring Intelligent AgentsVered, Mor, Howe, Piers, Miller, Tim, Sonenberg, Liz and Velloso, Eduardo (2020). Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Transactions on Human-Machine Systems, 50 (3), 264-275. doi: 10.1109/thms.2020.2988859 |
|
2019 Journal Article XAI—Explainable artificial intelligenceGunning, David, Stefik, Mark, Choi, Jaesik, Miller, Timothy, Stumpf, Simone and Yang, Guang-Zhong (2019). XAI—Explainable artificial intelligence. Science Robotics, 4 (37). doi: 10.1126/scirobotics.aay7120 |
|
2019 Conference Publication Motivational Modelling in Software for Homelessness: Lessons from an Industrial StudyBurrows, Rachel, Lopez-Lorca, Antonio, Sterling, Leon, Miller, Tim, Mendoza, Antonette and Pedell, Sonja (2019). Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. 2019 IEEE 27th International Requirements Engineering Conference (RE), Jeju, Korea, 23-27 September 2019. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/re.2019.00039 |
|
2019 Journal Article Explanation in artificial intelligence: insights from the social sciencesMiller, Tim (2019). Explanation in artificial intelligence: insights from the social sciences. Artificial Intelligence, 267, 1-38. doi: 10.1016/j.artint.2018.07.007 |
|
2018 Journal Article Explaining Explanation, Part 4: A Deep Dive on Deep NetsHoffman, Robert, Miller, Tim, Mueller, Shane T., Klein, Gary and Clancey, William J. (2018). Explaining Explanation, Part 4: A Deep Dive on Deep Nets. Ieee Intelligent Systems, 33 (3), 87-95. doi: 10.1109/MIS.2018.033001421 |
|
2018 Book Chapter Social Planning for Trusted AutonomyMiller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2018). Social Planning for Trusted Autonomy. Foundations of Trusted Autonomy. (pp. 67-86) Cham, Switzerland: Springer. doi: 10.1007/978-3-319-64816-3_4 |
|
2017 Journal Article A framework for automatically ensuring the conformance of agent designsAbushark, Yoosef, Thangarajah, John, Harland, James and Miller, Tim (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131, 266-310. doi: 10.1016/j.jss.2017.05.098 |
|
2016 Journal Article Requirements specification via activity diagrams for agent-based systemsAbushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7 |
|
2015 Conference Publication Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based ModelsAbushark, Yoosef, Thangarajah, John, Miller, Tim, Harland, James and Winikoff, Michael (2015). Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2014 Journal Article Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround SimulatorMiller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827 |
|
2014 Conference Publication Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect LocationAbushark, Yoosef, Thangarajah, John, Miller, Tim and Harland, James (2014). Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris France, May 05-09, 2014. NEW YORK: ASSOC COMPUTING MACHINERY. |
