Follow
Tim Miller
Tim Miller
School of Electrical Engineering and Computer Science, The University of Queensland
Verified email at uq.edu.au - Homepage
Title
Cited by
Cited by
Year
Explanation in artificial intelligence: Insights from the social sciences
T Miller
Artificial intelligence 267, 1-38, 2019
55182019
XAI—Explainable artificial intelligence
D Gunning, M Stefik, J Choi, T Miller, S Stumpf, GZ Yang
Science robotics 4 (37), eaay7120, 2019
36312019
Explainable AI: Beware of inmates running the asylum or: How I learnt to stop worrying and love the social and behavioural sciences
T Miller, P Howe, L Sonenberg
arXiv preprint arXiv:1712.00547, 2017
5182017
Formalizing trust in artificial intelligence: Prerequisites, causes and goals of human trust in AI
A Jacovi, A Marasović, T Miller, Y Goldberg
Proceedings of the 2021 ACM conference on fairness, accountability, and …, 2021
4852021
Explainable reinforcement learning through a causal lens
P Madumal, T Miller, L Sonenberg, F Vetere
Proceedings of the AAAI conference on artificial intelligence 34 (03), 2493-2500, 2020
3822020
Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review
SN Payrovnaziri, Z Chen, P Rengifo-Moreno, T Miller, J Bian, JH Chen, ...
Journal of the American Medical Informatics Association 27 (7), 1173-1185, 2020
2722020
Population aging and intergenerational transfers: Introducing age into national accounts
A Mason, R Lee, AC Tung, MS Lai, T Miller
Developments in the Economics of Aging, 89-122, 2009
2622009
Contrastive explanation: A structural-model approach
T Miller
The Knowledge Engineering Review 36, e14, 2021
2152021
Good proctor or “big brother”? Ethics of online exam supervision technologies
S Coghlan, T Miller, J Paterson
Philosophy & Technology 34 (4), 1581-1606, 2021
2082021
Towards a grounded dialog model for explainable artificial intelligence
P Madumal, T Miller, F Vetere, L Sonenberg
arXiv preprint arXiv:1806.08055, 2018
163*2018
Planning over multi-agent epistemic states: A classical planning approach
C Muise, V Belle, P Felli, S McIlraith, T Miller, A Pearce, L Sonenberg
Proceedings of the AAAI conference on artificial intelligence 29 (1), 2015
1382015
Formal and coformal spaces
J Neisendorfer, T Miller
Illinois Journal of Mathematics 22 (4), 565-580, 1978
1341978
Emotion-led modelling for people-oriented requirements engineering: the case study of emergency systems
T Miller, S Pedell, AA Lopez-Lorca, A Mendoza, L Sterling, A Keirnan
Journal of Systems and Software 105, 54-71, 2015
1262015
Explainable ai is dead, long live explainable ai! hypothesis-driven decision support using evaluative ai
T Miller
Proceedings of the 2023 ACM conference on fairness, accountability, and …, 2023
872023
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents
S Munroe, T Miller, RA Belecheanu, M Pěchouček, P McBurney, M Luck
The Knowledge Engineering Review 21 (4), 345-392, 2006
872006
Combining gaze and AI planning for online human intention recognition
R Singh, T Miller, J Newn, E Velloso, F Vetere, L Sonenberg
Artificial Intelligence 284, 103275, 2020
862020
Using dependency structures for prioritization of functional test suites
S Haidry, T Miller
IEEE Transactions on Software Engineering 39 (2), 258-275, 2013
83*2013
Model-based test oracle generation for automated unit testing of agent systems
L Padgham, Z Zhang, J Thangarajah, T Miller
IEEE Transactions on Software Engineering 39 (9), 1230-1244, 2013
752013
Invertible concept-based explanations for cnn models with non-negative concept activation vectors
R Zhang, P Madumal, T Miller, KA Ehinger, BIP Rubinstein
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11682 …, 2021
732021
Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator
T Miller, B Lu, L Sterling, G Beydoun
Software Engineering, IEEE Transactions on 40 (10), 1007 - 1024, 2014
732014
The system can't perform the operation now. Try again later.
Articles 1–20