Tim Miller

Orcid: 0000-0003-4908-6063

Affiliations:
  • University of Queensland, Brisbane, Australia
  • University of Melbourne, Parkville, VIC, Australia (former)
  • University of Melbourne, School of Computing and Information Systems, Australia (former)


According to our database1, Tim Miller authored at least 128 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Explainable agency: human preferences for simple or complex explanations.
CoRR, 2024

Towards the new XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence.
CoRR, 2024

2023
Directive Explanations for Actionable Explainability in Machine Learning Applications.
ACM Trans. Interact. Intell. Syst., December, 2023

Increasing the Value of XAI for Users: A Psychological Perspective.
Künstliche Intell., December, 2023

The effects of explanations on automation bias.
Artif. Intell., September, 2023

Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications.
Neurocomputing, 2023

Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven decision support.
CoRR, 2023

Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review.
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Explainable AI is Dead, Long Live Explainable AI!: Hypothesis-driven Decision Support using Evaluative AI.
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Diverse, Top-k, and Top-Quality Planning Over Simulators.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Planning with Multi-Agent Belief Using Justified Perspectives.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Explainable Goal Recognition: A Framework Based on Weight of Evidence.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Explaining Model Confidence Using Counterfactuals.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS.
J. Artif. Intell. Res., 2022

Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness.
Health Informatics J., 2022

Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs.
CoRR, 2022

Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence.
CoRR, 2022

Efficient multi-agent epistemic planning: Teaching planners about nested belief.
Artif. Intell., 2022

Special issue on Explainable Artificial Intelligence (XAI).
Artif. Intell., 2022

What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions.
Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021
Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions.
Proc. ACM Hum. Comput. Interact., 2021

Contrastive explanation: a structural-model approach.
Knowl. Eng. Rev., 2021

Goal Recognition for Deceptive Human Agents through Planning and Gaze.
J. Artif. Intell. Res., 2021

Modeling communication of collaborative multiagent system under epistemic planning.
Int. J. Intell. Syst., 2021

Emotionalism Within People-Oriented Software Design.
Frontiers Comput. Sci., 2021

Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems.
CoRR, 2021

LEx: A Framework for Operationalising Layers of Machine Learning Explanations.
CoRR, 2021

Fair and Responsible AI: A Focus on the Ability to Contest.
CoRR, 2021

Designing for Contestation: Insights from Administrative Law.
CoRR, 2021

Directive Explanations for Actionable Explainability in Machine Learning Applications.
CoRR, 2021

Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI.
Proceedings of the FAccT '21: 2021 ACM Conference on Fairness, 2021

Collaborative Human-Agent Planning for Resilience.
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV, 2021

Observing Multiplayer Boardgame Play at a Distance.
Proceedings of the CHI PLAY '21: The Annual Symposium on Computer-Human Interaction in Play, 2021

Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Demand-Driven Transparency for Monitoring Intelligent Agents.
IEEE Trans. Hum. Mach. Syst., 2020

Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review.
J. Am. Medical Informatics Assoc., 2020

Improving Interpretability of CNN Models Using Non-Negative Concept Activation Vectors.
CoRR, 2020

Distal Explanations for Explainable Reinforcement Learning Agents.
CoRR, 2020

Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop.
AI Mag., 2020

Combining gaze and AI planning for online human intention recognition.
Artif. Intell., 2020

A Closer Look at Generalisation in RAVEN.
Proceedings of the Computer Vision - ECCV 2020, 2020

Explainable Reinforcement Learning through a Causal Lens.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
XAI - Explainable artificial intelligence.
Sci. Robotics, 2019

"But why?" Understanding explainable artificial intelligence.
XRDS, 2019

Improving Performance of Multiagent Cooperation Using Epistemic Planning.
CoRR, 2019

Let's Make It Personal, A Challenge in Personalizing Medical Inter-Human Communication.
CoRR, 2019

What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS.
CoRR, 2019

Explanation in artificial intelligence: Insights from the social sciences.
Artif. Intell., 2019

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness.
Proceedings of the 17th European Conference on Computer-Supported Cooperative Work, 2019

A Grounded Interaction Protocol for Explainable Artificial Intelligence.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Explaining Explanation, Part 4: A Deep Dive on Deep Nets.
IEEE Intell. Syst., 2018

Towards a Grounded Dialog Model for Explainable Artificial Intelligence.
CoRR, 2018

Emotional Attachment Framework for People-Oriented Software.
CoRR, 2018

Combining Planning with Gaze for Online Human Intention Recognition.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Symbolic Execution with Invariant Inlay: Evaluating the Potential.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care.
Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017
A framework for automatically ensuring the conformance of agent designs.
J. Syst. Softw., 2017

Logics of Common Ground.
J. Artif. Intell. Res., 2017

Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences.
CoRR, 2017

Requirements specification via activity diagrams for agent-based systems.
Auton. Agents Multi Agent Syst., 2017

Leveraging abstract interpretation for efficient dynamic symbolic execution.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Real-Time UAV Maneuvering via Automated Planning in Simulations.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Minds of Many: Opponent Modeling in a Stochastic Game.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
Social planning for social HRI.
CoRR, 2016

Planning for a Single Agent in a Multi-Agent Environment Using FOND.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Belief Update for Proper Epistemic Knowledge Bases.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Generating source inputs for metamorphic testing using dynamic symbolic execution.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

Communication and Shared Mental Models for Teams Performing Interdependent Tasks.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

Requirements Specification in The Prometheus Methodology via Activity Diagrams.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Does it Fit Me Better? User Segmentation in Requirements Engineering.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Compositional Symbolic Execution: Incremental Solving Revisited.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

'Knowing Whether' in Proper Epistemic Knowledge Bases.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems.
J. Syst. Softw., 2015

Viewpoint Modelling with Emotions: A Case Study.
Int. J. People Oriented Program., 2015

Computing Social Behaviours Using Agent Models.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Team Formation via Automated Planning.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Communication in Human-Agent Teams for Tasks with Joint Action.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Compositional Symbolic Execution Using Fine-Grained Summaries.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Looking Closer at Compositional Symbolic Execution.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Using Metamorphic Testing to Improve Dynamic Symbolic Execution.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator.
IEEE Trans. Software Eng., 2014

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others.
Proceedings of the Social Robotics - 6th International Conference, 2014

One size doesn't fit all: diversifying "the user" using personas and emotional scenarios.
Proceedings of the 6th International Workshop on Social Software Engineering, 2014

A Preliminary Analysis of Interdependence in Multiagent Systems.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing.
Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures, 2014

Anticipatory stigmergic collision avoidance under noise.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Checking The Correctness of Agent Designs Against Model-Based Requirements.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Robust anticipatory stigmergic collision avoidance in multi-agent systems.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Checking consistency of agent designs against interaction protocols for early-phase defect location.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing.
Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014

Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography.
Proceedings of the Perspectives on Culture and Agent-based Simulations, 2014

2013
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems.
IEEE Trans. Software Eng., 2013

Using Dependency Structures for Prioritization of Functional Test Suites.
IEEE Trans. Software Eng., 2013

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies.
Multiagent Grid Syst., 2013

The role of users' emotions and associated quality goals on appropriation of systems: two case studies.
Proceedings of the Australasian Conference on Information Systems, 2013

2012
A case study in model-based testing of specifications and implementations.
Softw. Test. Verification Reliab., 2012

Understanding socially oriented roles and goals through motivational modelling.
J. Syst. Softw., 2012

2011
Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols.
Comput. Intell., 2011

TATM: A Trust Mechanism for Social Traders in Double Auctions.
Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Substantiating quality goals with field data for socially-oriented requirements engineering.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems.
Proceedings of the Advanced Agent Technology, 2011

2010
Shared artefacts as participatory Babel fish.
Proceedings of the 11th Conference on Participatory Design, 2010

Ontology-mediated Validation of Software Models.
Proceedings of the Information Systems Development, 2010

Ontology-based Validation of Agent Oriented Modelling.
Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Characterising and matching iterative and recursive agent interaction protocols.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Test Coverage Criteria for Agent Interaction Testing.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Engaging Stakeholders with Agent-Oriented Requirements Modelling.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009
Having fun at home: interleaving fieldwork and goal models.
Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009

2008
Annotation and Matching of First-Class Agent Interaction Protocols.
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

On illegal composition of first-class agent interaction protocols.
Proceedings of the Computer Science 2008, 2008

2007
A formal semantics for Gaia liveness rules and expressions.
Int. J. Agent Oriented Softw. Eng., 2007

First-Class Protocols for Agent-Based Coordination of Scientific Instruments.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Amongst First-Class Protocols.
Proceedings of the Engineering Societies in the Agents World VIII, 2007

2006
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents.
Knowl. Eng. Rev., 2006

Reflections on: When Internet companies morph.
First Monday, 2006

Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.
Proceedings of the Engineering Societies in the Agents World VII, 2006

Commercial applications of agents: lessons, experiences and challenges.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Multi-agent System Specification Using TCOZ.
Proceedings of the Multiagent System Technologies, Third German Conference, 2005

CZT Support for Z Extensions.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2002
When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy.
First Monday, 2002

Strategic 'Morphing' and the Survivability of E-commerce Firms.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002


  Loading...