John Thangarajah

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

SAGE: Generating Symbolic Goals for Myopic Models in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

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

Intention Progression with Maintenance Goals.

[BibT_eX]

[DOI]

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

A Behaviour-Driven Approach for Testing Requirements via User and System Stories in Agent Systems.

[BibT_eX]

[DOI]

Sebastian Rodriguez

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

Feedback-Guided Intention Scheduling for BDI Agents.

[BibT_eX]

[DOI]

Minyi Li

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

2022

Quantifying the progress of goals in intelligent agents.

[BibT_eX]

[DOI]

Neil Yorke-Smith

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

Oracle-SAGE: Planning Ahead in Graph-Based Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Automated Sifting of Stories from Simulated Storyworlds.

[BibT_eX]

[DOI]

Wilkins Leong

Julie Porteous

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Multi-Agent Intention Progression with Reward Machines.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Testing Requirements via User and System Stories in Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Automated Story Sifting Using Story Arcs.

[BibT_eX]

[DOI]

Wilkins Leong

Julie Porteous

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Multi-Agent Intention Progression with Black-Box Agents.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Adapting to Reward Progressivity via Spectral Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Learning Representations, 2021

User and System Stories: An Agile Approach for Managing Requirements in AOSE.

[BibT_eX]

[DOI]

Sebastian Rodriguez

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Intention Progression using Quantitative Summary Information.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Intention Progression under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Intention-Aware Multiagent Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

A Framework for Engineering Human/Agent Teaming Systems.

[BibT_eX]

[DOI]

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

2019

Practical Modelling of Dynamic Decision Making

[BibT_eX]

[DOI]

Thanh Ly

Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-95194-2, 2019

Estimating cognitive load from speech gathered in a complex real-life training exercise.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2019

Deriving Subgoals Autonomously to Accelerate Learning in Sparse Reward Domains.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Exploration in Continuous Control Tasks via Continually Parameterized Skills.

[BibT_eX]

[DOI]

IEEE Trans. Games, 2018

Integrating Skills and Simulation to Solve Complex Navigation Tasks in Infinite Mario.

[BibT_eX]

[DOI]

IEEE Trans. Games, 2018

2017

A framework for automatically ensuring the conformance of agent designs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

A BDI Game Master Agent for Computer Role-Playing Games.

[BibT_eX]

[DOI]

Bao Vo Luong

Comput. Entertain., 2017

Aborting, suspending, and resuming goals and plans in BDI agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

Requirements specification via activity diagrams for agent-based systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

Agent Design Consistency Checking via Planning.

[BibT_eX]

[DOI]

Nitin Yadav

Sebastian Sardiña

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

Real-Time Navigation in Classical Platform Games via Skill Reuse.

[BibT_eX]

[DOI]

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

The Conceptual Modelling of Dynamic Teams for Autonomous Systems.

[BibT_eX]

[DOI]

Michael Papasimeon

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Progressing Intention Progression: A Call for a Goal-Plan Tree Contest.

[BibT_eX]

[DOI]

Neil Yorke-Smith

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Reusing Skills for First-Time Solution of Navigation Tasks in Platform Videogames.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Preference-based reasoning in BDI agent systems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2016

BDI Modelling and Simulation of Human Behaviours in Bushfires.

[BibT_eX]

[DOI]

Proceedings of the Information Systems for Crisis Response and Management in Mediterranean Countries, 2016

Intention Selection with Deadlines.

[BibT_eX]

[DOI]

Yuan Yao

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Checking the Conformance of Requirements in Agent Designs Using ATL.

[BibT_eX]

[DOI]

Nitin Yadav

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 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

Robust Execution of BDI Agent Programs by Exploiting Synergies Between Intentions.

[BibT_eX]

[DOI]

Yuan Yao

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

A framework for modelling tactical decision-making in autonomous systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Effects of domain on measures of semantic relatedness.

[BibT_eX]

[DOI]

Daniel Macías Galindo

Lawrence J. Cavedon

J. Assoc. Inf. Sci. Technol., 2015

Applying norms and preferences for designing flexible game rules.

[BibT_eX]

[DOI]

Edward Booth

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

An improved approach to reinforcement learning in Computer Go.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

Flexible story generation with norms and preferences in computer role playing games.

[BibT_eX]

[DOI]

Edward Booth

Proceedings of the 2015 IEEE Conference on Computational Intelligence and Games, 2015

Estimating the Progress of Maintenance Goals.

[BibT_eX]

[DOI]

Neil Yorke-Smith

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

Agent Oriented Modelling of Tactical Decision Making.

[BibT_eX]

[DOI]

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

Using Agent-Based Tactics Models to Control Virtual Actors in VBS3.

[BibT_eX]

[DOI]

Nik Ambukovski

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 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

2014

Maintenance Goals in Intelligent Agents.

[BibT_eX]

[DOI]

Simon Duff

Comput. Intell., 2014

An operational semantics for the goal life-cycle in BDI agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2014

SP-MCTS-based Intention Scheduling for BDI Agents.

[BibT_eX]

[DOI]

Yuan Yao

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Quantifying the Completeness of Goals in BDI Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 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

Towards quantifying the completeness of BDI goals.

[BibT_eX]

[DOI]

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

Reasoning with agent preferences in normative multi-agent systems.

[BibT_eX]

[DOI]

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

Tactics development framework (demonstration).

[BibT_eX]

[DOI]

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

Prometheus Research Directions.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering, 2014

2013

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

A BDI game master agent for computer role-playing games.

[BibT_eX]

[DOI]

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

Propagating AUML Protocols to Detailed Design.

[BibT_eX]

[DOI]

Yoosef B. Abushark

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

AUML protocols: from specification to detailed design.

[BibT_eX]

[DOI]

Yoosef B. Abushark

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

2012

Contextual question answering for the health domain.

[BibT_eX]

[DOI]

J. Assoc. Inf. Sci. Technol., 2012

Flexible Conversation Management Using a BDI Agent Approach.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents - 12th International Conference, 2012

Coherent Topic Transition in a Conversational Agent.

[BibT_eX]

[DOI]

Daniel Macías Galindo

Lawrence Cavedon

Proceedings of the INTERSPEECH 2012, 2012

Strategies for Mixed-Initiative Conversation Management using Question-Answer Pairs.

[BibT_eX]

[DOI]

Proceedings of the COLING 2012, 2012

Mixed-initiative conversational system using question-answer pairs mined from the web.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Goal-driven approach to open-ended dialogue management using BDI agents.

[BibT_eX]

[DOI]

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

Agent deliberation via forward and backward chaining in linear logic.

[BibT_eX]

[DOI]

Luke Trodd

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

Measuring plan coverage and overlap for agent reasoning.

[BibT_eX]

[DOI]

Sebastian Sardiña

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

Revising conflicting intention sets in BDI agents.

[BibT_eX]

[DOI]

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

2011

Computationally Effective Reasoning About Goal Interactions.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Reasoning about Preferences in Intelligent Agent Systems.

[BibT_eX]

[DOI]

Simeon Visser

Proceedings of the IJCAI 2011, 2011

Health conversational system based on contextual matching of community-driven question-answer pairs.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Using a Lexical Dictionary and a Folksonomy to Automatically Construct Domain Ontologies.

[BibT_eX]

[DOI]

Daniel Macías Galindo

Lawrence Cavedon

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

Reasoning about preferences in BDI agent systems.

[BibT_eX]

[DOI]

Simeon Visser

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

Scenarios for system requirements traceability and testing.

[BibT_eX]

[DOI]

Gaya Buddhinath Jayatilleke

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

2010

On the Life-Cycle of BDI Agent Goals.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Eclipse-based Prometheus design tool.

[BibT_eX]

[DOI]

Hongyuan Sun

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]

Tim Miller

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

2009

Using three AOSE toolkits to develop a sample design.

[BibT_eX]

[DOI]

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

Automated Testing for Intelligent Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering X - 10th International Workshop, 2009

Testing in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering X - 10th International Workshop, 2009

2008

Automated unit testing intelligent agents in PDT.

[BibT_eX]

[DOI]

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

Suspending and resuming tasks in BDI agents.

[BibT_eX]

[DOI]

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

Prometheus Design Tool.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Model Based Testing for Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - Second International Conference, 2007

Automated Unit Testing for Agent Systems.

[BibT_eX]

Proceedings of the ENASE 2007, 2007

Aborting tasks in BDI agents.

[BibT_eX]

[DOI]

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

AUML protocols and code generation in the Prometheus design tool.

[BibT_eX]

[DOI]

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

The Prometheus Design Tool - A Conference Management System Case Study.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

Open Agent Systems???

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VIII, 8th International Workshop, 2007

2006

Modelling situations in intelligent agents.

[BibT_eX]

[DOI]

Gaya Buddhinath Jayatilleke

Sebastian Sardiña

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

Component Agent Framework for domain-Experts (CAFnE) toolkit.

[BibT_eX]

[DOI]

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

On proactivity and maintenance goals.

[BibT_eX]

[DOI]

Simon Duff

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

Designing Institutional Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005

Tool Support for Agent Development using the Prometheus Methodology.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2004

An Empirical Evaluation of Reasoning about Resource Conflicts.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Detecting & Avoiding Interference Between Goals in Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Detecting & exploiting positive goal interaction in intelligent agents.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Declarative & Procedural Goals in Intelligent Agent Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Avoiding Resource Conflicts in Intelligent Agents.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Representation and Reasoning for Goals in BDI Agents.

[BibT_eX]

[DOI]