|
2024 Journal Article Using conversant artificial intelligence to improve diagnostic reasoning: ready for prime time?Scott, Ian A., Miller, Tim and Crock, Carmel (2024). Using conversant artificial intelligence to improve diagnostic reasoning: ready for prime time?. Medical Journal of Australia, 221 (5), 240-243. doi: 10.5694/mja2.52401 |
|
2024 Journal Article Capturing the ghost in the machine: a process for development and validation of measures of phenomenal consciousness in deliriumEeles, Eamonn, Tran, David Duc, Ward, Sarah, Teodorczuk, Andrew, Ray, Julian, Miller, Tim and Dissanayaka, Nadeeka N. (2024). Capturing the ghost in the machine: a process for development and validation of measures of phenomenal consciousness in delirium. Age and Ageing, 53 (7) afae144. doi: 10.1093/ageing/afae144 |
|
2023 Journal Article Directive explanations for actionable explainability in machine learning applicationsSingh, Ronal, Miller, Tim, Lyons, Henrietta, Sonenberg, Liz, Velloso, Eduardo, Vetere, Frank, Howe, Piers and Dourish, Paul (2023). Directive explanations for actionable explainability in machine learning applications. ACM Transactions on Interactive Intelligent Systems, 13 (4) 23, 1-26. doi: 10.1145/3579363 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
2013 Journal Article Efficient storage and retrieval in agent protocol libraries using subsumption hierarchiesMiller, Tim and McBurney, Peter (2013). Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems, 9 (2), 101-134. doi: 10.3233/mgs-130202 |
|
2013 Journal Article Using Dependency Structures for Prioritization of Functional Test SuitesHaidry, Shifa-e-Zehra and Miller, Tim (2013). Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 39 (2), 258-275. doi: 10.1109/tse.2012.26 |
|
2012 Journal Article Understanding socially oriented roles and goals through motivational modellingMiller, Tim, Pedell, Sonja, Sterling, Leon, Vetere, Frank and Howard, Steve (2012). Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 85 (9), 2160-2170. doi: 10.1016/j.jss.2012.04.049 |
|
2012 Journal Article A case study in model-based testing of specifications and implementationsMiller, Tim and Strooper, Paul (2012). A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 22 (1), 33-63. doi: 10.1002/stvr.431 |
