Tim Miller

Piers Douglas Lionel Howe

CoRR, 2024

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach.

[BibT_eX]

[DOI]

CoRR, 2024

An Actionability Assessment Tool for Explainable AI.

[BibT_eX]

[DOI]

CoRR, 2024

Visual Evaluative AI: A Hypothesis-Driven Tool with Concept-Based Explanations and Weight of Evidence.

[BibT_eX]

[DOI]

CoRR, 2024

Explainable agency: human preferences for simple or complex explanations.

[BibT_eX]

[DOI]

CoRR, 2024

Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Directive Explanations for Actionable Explainability in Machine Learning Applications.

[BibT_eX]

[DOI]

ACM Trans. Interact. Intell. Syst., December, 2023

Increasing the Value of XAI for Users: A Psychological Perspective.

[BibT_eX]

[DOI]

Künstliche Intell., December, 2023

The effects of explanations on automation bias.

[BibT_eX]

[DOI]

Mor Vered

Tali Livni

Artif. Intell., September, 2023

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

[BibT_eX]

[DOI]

Neurocomputing, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Diverse, Top-k, and Top-Quality Planning Over Simulators.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Steven Spratley

Krista A. Ehinger

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Planning with Multi-Agent Belief Using Justified Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Explainable Goal Recognition: A Framework Based on Weight of Evidence.

[BibT_eX]

[DOI]

Abeer Alshehri

Mor Vered

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Explaining Model Confidence Using Counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2022

Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness.

[BibT_eX]

[DOI]

Health Informatics J., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence.

[BibT_eX]

[DOI]

CoRR, 2022

Efficient multi-agent epistemic planning: Teaching planners about nested belief.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Special issue on Explainable Artificial Intelligence (XAI).

[BibT_eX]

[DOI]

Artif. Intell., 2022

What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2021

Contrastive explanation: a structural-model approach.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2021

Goal Recognition for Deceptive Human Agents through Planning and Gaze.

[BibT_eX]

[DOI]

Thao Le

Ronal Singh

J. Artif. Intell. Res., 2021

Modeling communication of collaborative multiagent system under epistemic planning.

[BibT_eX]

[DOI]

Abeer Alshehri

Int. J. Intell. Syst., 2021

Emotionalism Within People-Oriented Software Design.

[BibT_eX]

[DOI]

Mohammadhossein Sherkat

Rachel Burrows

Frontiers Comput. Sci., 2021

Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems.

[BibT_eX]

[DOI]

Lyndon Benke

Michael Papasimeon

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Designing for Contestation: Insights from Administrative Law.

[BibT_eX]

[DOI]

CoRR, 2021

Directive Explanations for Actionable Explainability in Machine Learning Applications.

[BibT_eX]

[DOI]

CoRR, 2021

Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI.

[BibT_eX]

[DOI]

Proceedings of the FAccT '21: 2021 ACM Conference on Fairness, 2021

Collaborative Human-Agent Planning for Resilience.

[BibT_eX]

[DOI]

Ronal Singh

Benjamin I. P. Rubinstein

Darryn Reid

Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV, 2021

Observing Multiplayer Boardgame Play at a Distance.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Demand-Driven Transparency for Monitoring Intelligent Agents.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2020

Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review.

[BibT_eX]

[DOI]

Seyedeh Neelufar Payrovnaziri

J. Am. Medical Informatics Assoc., 2020

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

[BibT_eX]

[DOI]

Benjamin I. P. Rubinstein

CoRR, 2020

Distal Explanations for Explainable Reinforcement Learning Agents.

[BibT_eX]

[DOI]

CoRR, 2020

Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop.

[BibT_eX]

[DOI]

Rosina Weber

Daniele Magazzeni

AI Mag., 2020

Combining gaze and AI planning for online human intention recognition.

[BibT_eX]

[DOI]

Artif. Intell., 2020

A Closer Look at Generalisation in RAVEN.

[BibT_eX]

[DOI]

Steven Spratley

Krista A. Ehinger

Proceedings of the Computer Vision - ECCV 2020, 2020

Explainable Reinforcement Learning through a Causal Lens.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

XAI - Explainable artificial intelligence.

[BibT_eX]

[DOI]

Sci. Robotics, 2019

"But why?" Understanding explainable artificial intelligence.

[BibT_eX]

[DOI]

XRDS, 2019

Improving Performance of Multiagent Cooperation Using Epistemic Planning.

[BibT_eX]

[DOI]

Abeer Alshehri

CoRR, 2019

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

[BibT_eX]

[DOI]

Mor Vered

Frank Dignum

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Explanation in artificial intelligence: Insights from the social sciences.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study.

[BibT_eX]

[DOI]

Rachel Burrows

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Computer-Supported Cooperative Work, 2019

A Grounded Interaction Protocol for Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Explaining Explanation, Part 4: A Deep Dive on Deep Nets.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2018

Towards a Grounded Dialog Model for Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

CoRR, 2018

Emotional Attachment Framework for People-Oriented Software.

[BibT_eX]

[DOI]

Mohammadhossein Sherkat

Rachel Burrows

CoRR, 2018

Combining Planning with Gaze for Online Human Intention Recognition.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Symbolic Execution with Invariant Inlay: Evaluating the Potential.

[BibT_eX]

[DOI]

Proceedings of the 25th Australasian Software Engineering Conference, 2018

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care.

[BibT_eX]

[DOI]

Proceedings of the 25th Australasian Software Engineering Conference, 2018

2017

A framework for automatically ensuring the conformance of agent designs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Logics of Common Ground.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Piers Howe

CoRR, 2017

Requirements specification via activity diagrams for agent-based systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

Leveraging abstract interpretation for efficient dynamic symbolic execution.

[BibT_eX]

[DOI]

Friedrich Burkhard von der Osten

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Real-Time UAV Maneuvering via Automated Planning in Simulations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Minds of Many: Opponent Modeling in a Stochastic Game.

[BibT_eX]

[DOI]

Michael Kirley

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Social planning for social HRI.

[BibT_eX]

[DOI]

CoRR, 2016

Planning for a Single Agent in a Multi-Agent Environment Using FOND.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Belief Update for Proper Epistemic Knowledge Bases.

[BibT_eX]

[DOI]

Christian J. Muise

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Generating source inputs for metamorphic testing using dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

Communication and Shared Mental Models for Teams Performing Interdependent Tasks.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

Requirements Specification in The Prometheus Methodology via Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Does it Fit Me Better? User Segmentation in Requirements Engineering.

[BibT_eX]

[DOI]

Mohammadhossein Sherkat

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Compositional Symbolic Execution: Incremental Solving Revisited.

[BibT_eX]

[DOI]

Yude Lin

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

'Knowing Whether' in Proper Epistemic Knowledge Bases.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sonja Pedell

Maheswaree Kissoon Curumsing

Alen Keirnan

J. Syst. Softw., 2015

Viewpoint Modelling with Emotions: A Case Study.

[BibT_eX]

[DOI]

Rajesh Vasa

Int. J. People Oriented Program., 2015

Computing Social Behaviours Using Agent Models.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Team Formation via Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

Communication in Human-Agent Teams for Tasks with Joint Action.

[BibT_eX]

[DOI]

Sirui Li

Weixing Sun

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Compositional Symbolic Execution Using Fine-Grained Summaries.

[BibT_eX]

[DOI]

Yude Lin

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Looking Closer at Compositional Symbolic Execution.

[BibT_eX]

[DOI]

Yude Lin

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.

[BibT_eX]

[DOI]

David A. W. Clarke

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Using Metamorphic Testing to Improve Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others.

[BibT_eX]

[DOI]

Proceedings of the Social Robotics - 6th International Conference, 2014

One size doesn't fit all: diversifying "the user" using personas and emotional scenarios.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Social Software Engineering, 2014

A Preliminary Analysis of Interdependence in Multiagent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hilary Davis

Sonja Pedell

Friedrich Burkhard von der Osten

Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures, 2014

Anticipatory stigmergic collision avoidance under noise.

[BibT_eX]

[DOI]

Michael Kirley

Friedrich Burkhard von der Osten

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Checking The Correctness of Agent Designs Against Model-Based Requirements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Kirley

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.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014

Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography.

[BibT_eX]

[DOI]

Proceedings of the Perspectives on Culture and Agent-based Simulations, 2014

2013

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Using Dependency Structures for Prioritization of Functional Test Suites.

[BibT_eX]

[DOI]

Shifa-e-Zehra Haidry

IEEE Trans. Software Eng., 2013

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2013

The role of users' emotions and associated quality goals on appropriation of systems: two case studies.

[BibT_eX]

[DOI]

Proceedings of the Australasian Conference on Information Systems, 2013

2012

A case study in model-based testing of specifications and implementations.

[BibT_eX]

[DOI]

Paul A. Strooper

Softw. Test. Verification Reliab., 2012

Understanding socially oriented roles and goals through motivational modelling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

2011

Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols.

[BibT_eX]

[DOI]

Comput. Intell., 2011

TATM: A Trust Mechanism for Social Traders in Double Auctions.

[BibT_eX]

[DOI]

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Substantiating quality goals with field data for socially-oriented requirements engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Advanced Agent Technology, 2011

2010

Shared artefacts as participatory Babel fish.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Participatory Design, 2010

Ontology-mediated Validation of Software Models.

[BibT_eX]

[DOI]

Ghassan Beydoun

Proceedings of the Information Systems Development, 2010

Ontology-based Validation of Agent Oriented Modelling.

[BibT_eX]

[DOI]

Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Characterising and matching iterative and recursive agent interaction protocols.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Test Coverage Criteria for Agent Interaction Testing.

[BibT_eX]

[DOI]

Lin Padgham

John Thangarajah

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Engaging Stakeholders with Agent-Oriented Requirements Modelling.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

2009

Having fun at home: interleaving fieldwork and goal models.

[BibT_eX]

[DOI]

Proceedings of the 21st Australasian Computer-Human Interaction Conference, 2009

2008

Annotation and Matching of First-Class Agent Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

On illegal composition of first-class agent interaction protocols.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2008, 2008

2007

A formal semantics for Gaia liveness rules and expressions.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2007

First-Class Protocols for Agent-Based Coordination of Scientific Instruments.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Amongst First-Class Protocols.

[BibT_eX]

[DOI]

Jarred McGinnis

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.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2006

Reflections on: When Internet companies morph.

[BibT_eX]

[DOI]

Robert J. Kauffman

Bin Wang

First Monday, 2006

Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VII, 2006

Commercial applications of agents: lessons, experiences and challenges.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Multi-agent System Specification Using TCOZ.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

CZT Support for Z Extensions.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Integrating Formal Specification and Software Verification and Validation.

[BibT_eX]

[DOI]

Roger Duke

Paul A. Strooper

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

2002

When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy.

[BibT_eX]

[DOI]

Robert J. Kauffman

Bin Wang

First Monday, 2002

Strategic 'Morphing' and the Survivability of E-commerce Firms.

[BibT_eX]

[DOI]

Robert J. Kauffman

Bin Wang

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001

Animation Can Show Only the Presence of Errors, Never Their Absence.

[BibT_eX]

[DOI]