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
48062019
XAI—Explainable artificial intelligence
D Gunning, M Stefik, J Choi, T Miller, S Stumpf, GZ Yang
Science robotics 4 (37), eaay7120, 2019
32172019
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
4812017
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
3702021
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
3382020
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
2602009
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
2272020
Contrastive explanation: A structural-model approach
T Miller
The Knowledge Engineering Review 36, e14, 2021
1922021
Good proctor or “big brother”? Ethics of online exam supervision technologies
S Coghlan, T Miller, J Paterson
Philosophy & Technology 34 (4), 1581-1606, 2021
1652021
Towards a grounded dialog model for explainable artificial intelligence
P Madumal, T Miller, F Vetere, L Sonenberg
arXiv preprint arXiv:1806.08055, 2018
147*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
1332015
Formal and coformal spaces
J Neisendorfer, T Miller
Illinois Journal of Mathematics 22 (4), 565-580, 1978
1311978
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
1192015
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
Using dependency structures for prioritization of functional test suites
S Haidry, T Miller
IEEE Transactions on Software Engineering 39 (2), 258-275, 2013
79*2013
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
762020
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
742013
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
702014
On the formality of connected compact manifolds of dimension less than or equal to
TJ Miller
Illinois Journal of Mathematics 23 (2), 253-258, 1979
651979
Explaining explanation, part 4: a deep dive on deep nets
R Hoffman, T Miller, ST Mueller, G Klein, WJ Clancey
IEEE Intelligent Systems 33 (3), 87-95, 2018
622018
The system can't perform the operation now. Try again later.
Articles 1–20