Overview
Background
I am a Professor of Artificial Intelligence in the School of Electrical Engineering and Computer Science at The University of Queensland, Meaanjin/Brisbane, Australia.
My research draws on machine learning, reinforcement learning, AI planning, interaction design, and cognitive science, to help people to make better decisions. I have done work on areas including explainable AI, human-AI planning, and human-centered decision support.
Prior to my appointment at The University of Queensland, Tim was a Professor of Computer Science in the School of Computing and Information Systems at The University of Melbourne, where I was founding co-director of The Centre for AI and Digital Ethics. I am an honorary professor at the University of Melbourne.
If you are an organisation applying artificial intelligence or looking to apply artificial intelligence, especially in south-east Queensland, please reach out. I am always interested to hear what organisations are currently doing, the opportunities and barriers in this space, and how the University of Queensland can help.
If you are prospective PhD student interested in studying for a PhD under my supervisor, see here.
Availability
- Professor Tim Miller is:
- Not available for supervision
- Media expert
Qualifications
- Doctor of Philosophy of Computer Science, The University of Queensland
Works
Search Professor Tim Miller’s works on UQ eSpace
2023
Journal Article
Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications
Gjaerum, 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 collaborative
Ping, 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 decisions
Lyons, 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 belief
Muise, 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 planning
Alshehri, 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 vectors
Zhang, 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 approach
Miller, Tim (2021). Contrastive explanation: a structural-model approach. The Knowledge Engineering Review, 36 e14, 1-24. doi: 10.1017/s0269888921000102
2020
Journal Article
Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review
Payrovnaziri, 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 recognition
Singh, 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 Agents
Vered, 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 intelligence
Gunning, 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 Study
Burrows, 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 sciences
Miller, 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 Nets
Hoffman, 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 Autonomy
Miller, 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 designs
Abushark, 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 systems
Abushark, 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 Models
Abushark, 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 Simulator
Miller, 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 Location
Abushark, 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.
Funding
Current funding
Supervision
Availability
- Professor Tim Miller is:
- Not available for supervision
Supervision history
Current supervision
-
Doctor Philosophy
Human-centered verification of language model outputs
Principal Advisor
Other advisors: Professor Guido Zuccon, Dr Joel Mackenzie
-
Master Philosophy
Explainable decision support for skin cancer detection using machine learning
Principal Advisor
Other advisors: Dr Alina Bialkowski
-
Doctor Philosophy
Developing inclusive and culturally sensitive design guidelines for AI-enabled smart homes for people with disabilities in developing countries, based on local needs, preferences, and values
Associate Advisor
Other advisors: Associate Professor Dhaval Vyas
-
Doctor Philosophy
Human in the Loop Decision Systems for Online Safety
Associate Advisor
Other advisors: Professor Gianluca Demartini
Media
Enquiries
Contact Professor Tim Miller directly for media enquiries about:
- artificial intelligence
Need help?
For help with finding experts, story ideas and media enquiries, contact our Media team: