Takip et
Tim Miller
Tim Miller
School of Computing and Information Systems, University of Melbourne
unimelb.edu.au üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Explanation in artificial intelligence: Insights from the social sciences
T Miller
Artificial intelligence 267, 1-38, 2019
23122019
XAI—Explainable artificial intelligence
D Gunning, M Stefik, J Choi, T Miller, S Stumpf, GZ Yang
Science Robotics 4 (37), eaay7120, 2019
16202019
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
2972017
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
2452009
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
1452020
Planning over multi-agent epistemic states: A classical planning approach
C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
1062015
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
872015
Towards a grounded dialog model for explainable artificial intelligence
P Madumal, T Miller, F Vetere, L Sonenberg
arXiv preprint arXiv:1806.08055, 2018
84*2018
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
832006
Contrastive explanation: A structural-model approach
T Miller
The Knowledge Engineering Review 36, 2021
822021
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
752020
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
692021
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
662013
Using dependency structures for prioritization of functional test suites
S Haidry, T Miller
IEEE Transactions on Software Engineering 39 (2), 258-275, 2013
66*2013
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
612014
Commercial applications of agents: Lessons, experiences and challenges
RA Belecheanu, S Munroe, M Luck, T Payne, T Miller, P McBurney, ...
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
512006
The rise of the intergenerational state: aging and development
T Miller
Population Aging and the Generational Economy, 161-184, 2011
482011
Amongst first-class protocols
T Miller, J McGinnis
International Workshop on Engineering Societies in the Agents World, 208-223, 2007
482007
Using constraints and process algebra for specification of first-class agent interaction protocols
T Miller, P McBurney
International Workshop on Engineering Societies in the Agents World, 245-264, 2006
382006
A framework and tool support for the systematic testing of model-based specifications
T Miller, P Strooper
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 409-439, 2003
372003
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20