Tim Miller
Tim Miller
School of Computing and Information Systems, University of Melbourne
Bestätigte E-Mail-Adresse bei unimelb.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Explanation in artificial intelligence: Insights from the social sciences
T Miller
Artificial Intelligence 267, 1-38, 2019
7982019
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
1922009
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
1442017
Iarpa janus benchmark-b face dataset
C Whitelam, E Taborsky, A Blanton, B Maze, J Adams, T Miller, N Kalka, ...
Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2017
1342017
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
792006
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
712015
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
602013
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
562015
Using dependency structures for prioritization of functional test suites
S Haidry, T Miller
IEEE Transactions on Software Engineering 39 (2), 258-275, 2013
542013
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
Population aging and intergenerational transfers: introducing age into national income accounts
A Mason, R Lee, AC Tung, MS Lai, T Miller
Developments in the Economics of Aging, 89-122, 2009
462009
Amongst first-class protocols
T Miller, J McGinnis
International Workshop on Engineering Societies in the Agents World, 208-223, 2007
462007
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
452014
The rise of the intergenerational state: aging and development
T Miller
Population aging and the generational economy, 161-184, 2011
392011
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
362003
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
342006
Towards a grounded dialog model for explainable artificial intelligence
P Madumal, T Miller, F Vetere, L Sonenberg
arXiv preprint arXiv:1806.08055, 2018
32*2018
Explainable reinforcement learning through a causal lens
P Madumal, T Miller, L Sonenberg, F Vetere
arXiv preprint arXiv:1905.10958, 2019
312019
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
International Conference on Integrated Formal Methods, 227-245, 2005
312005
Explainable reinforcement learning through a causal lens
P Madumal, T Miller, L Sonenberg, F Vetere
arXiv preprint arXiv:1905.10958, 2019
302019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20