M. Birna van Riemsdijk

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

Using Default Logic to Create Adaptable User Models for Behavior Support Agents.

[BibT_eX]

[DOI]

Johanna Wolff

Victor de Boer

Dirk Heylen

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

2023

Using psychological characteristics of situations for social situation comprehension in support agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., October, 2023

Using Non-Monotonic Reasoning for Understandable and Flexible User-Models.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

What Can I Do to Help You?

[BibT_eX]

[DOI]

Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023

Acquiring Semantic Knowledge for User Model Updates via Human-Agent Alignment Dialogues.

[BibT_eX]

[DOI]

Proceedings of the HHAI 2023: Augmenting Human Intellect, 2023

2022

Misalignment in Semantic User Model Elicitation via Conversational Agents: A Case Study in Navigation Support for Visually Impaired People.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Interact., 2022

Toward Social Situation Awareness in Support Agents.

[BibT_eX]

[DOI]

Pradeep K. Murukannaiah

IEEE Intell. Syst., 2022

Abstract Argumentation for Hybrid Intelligence Scenarios.

[BibT_eX]

[DOI]

Loan Ho

Victor de Boer

Stefan Schlobach

Myrthe Tielman

Proceedings of the 1st International Workshop on Argumentation for eXplainable AI co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021

Self-identification with a Virtual Experience and Its Moderating Effect on Self-efficacy and Presence.

[BibT_eX]

[DOI]

Ding Ding

Nexhmedin Morina

Int. J. Hum. Comput. Interact., 2021

Towards Social Situation Awareness in Support Agents.

[BibT_eX]

[DOI]

CoRR, 2021

2020

A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence.

[BibT_eX]

[DOI]

Computer, 2020

Predicting the Priority of Social Situations for Personal Assistant Agents.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

Grouping Situations Based on their Psychological Characteristics Gives Insight into Personal Values.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop Modelling and Reasoning in Context co-located with the 24th European Conference on Artificial Intelligence, 2020

2019

A user-centred social commitment model for location sharing applications in the family life domain.

[BibT_eX]

[DOI]

Alex Kayal

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

A Formal Graphical Language of Interdependence in Teamwork.

[BibT_eX]

[DOI]

Changyun Wei

IEEE Intell. Syst., 2019

From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents.

[BibT_eX]

[DOI]

Malte S. Kließ

Mariëlle Stoelinga

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Closeness with Robots as Social Partners.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

Who's That? - Social Situation Awareness for Behaviour Support Agents - A Feasibility Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Deriving Norms from Actions, Values and Context.

[BibT_eX]

[DOI]

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

2018

Automatic Resolution of Normative Conflicts in Supportive Technology Based on User Values.

[BibT_eX]

[DOI]

Alex Kayal

ACM Trans. Internet Techn., 2018

Socially adaptive electronic partners for improved support of children's values: An empirical study with a location-sharing mobile app.

[BibT_eX]

[DOI]

Alex Kayal

Int. J. Child Comput. Interact., 2018

A Temporal Logic for Modelling Activities of Daily Living.

[BibT_eX]

[DOI]

Malte S. Kließ

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

What Should I Do? Deriving Norms from Actions, Values and Context.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop Modelling and Reasoning in Context co-located with the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) and the 23rd European Conference on Artificial Intelligence (ECAI 2018), 2018

Modelling the Social Environment: Towards Socially Adaptive Electronic Partners.

[BibT_eX]

[DOI]

2017

Automated multi-level governance compliance checking.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

Requirements for a Temporal Logic of Daily Activities for Supportive Technology.

[BibT_eX]

[DOI]

Malte S. Kliess

Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017

2016

The design of virtual audiences: Noticeable and recognizable behavioral styles.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2016

2015

Creating Socially Adaptive Electronic Partners: Interaction, Reasoning and Ethical Challenges.

[BibT_eX]

[DOI]

Victor R. Lesser

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

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.

[BibT_eX]

[DOI]

Louise A. Dennis

Michael Fisher

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

Revising Institutions Governed by Institutions for Compliant Regulations.

[BibT_eX]

[DOI]

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

A Framework for Institutions Governing Institutions.

[BibT_eX]

[DOI]

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

2014

Coactive design: designing support for interdependence in joint activity.

[BibT_eX]

[DOI]

Maarten Sierhuis

J. Hum. Robot Interact., 2014

A Value-Sensitive Mobile Social Application for Families and Children.

[BibT_eX]

[DOI]

Proceedings of the Posters, 2014

Supporting Request Acceptance with Use Policies.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems X, 2014

Request driven social sensing.

[BibT_eX]

[DOI]

Martijn Warnier

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

Context-sensitive sharedness criteria for teamwork.

[BibT_eX]

[DOI]

Maaike Harbers

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

2013

An Expressive Virtual Audiencewith Flexible Behavioral Styles.

[BibT_eX]

[DOI]

IEEE Trans. Affect. Comput., 2013

Agent reasoning for norm compliance: a semantic approach.

[BibT_eX]

[DOI]

Louise A. Dennis

Michael Fisher

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

Re-checking Normative System Coherence.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

A Value-Centric Model to Ground Norms and Requirements for ePartners of Children.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

A real-time semantics for norms with deadlines.

[BibT_eX]

[DOI]

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

2012

Negotiation Game for Improving Decision Making in Self-managing Teams.

[BibT_eX]

[DOI]

Thomas Rens

Zhiyong Wang

Proceedings of the Modern Advances in Intelligent Systems and Tools, 2012

An empirical study of cognitive agent programs.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2012

Agreeing on Role Adoption in Open Organisations.

[BibT_eX]

[DOI]

Huib Aldewereld

Künstliche Intell., 2012

Autonomy and interdependence in human-agent-robot teams.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2012

Compositionality of Team Mental Models in Relation to Sharedness and Team Performance.

[BibT_eX]

[DOI]

Iris van de Kieft

Maria L. Gini

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

Empirical software engineering for agent programming.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

20 years of agent-oriented programming in distributed AI: history and outlook.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

2011

Beyond Cooperative Robotics: The Central Role of Interdependence in Coactive Design.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2011

State Space Reduction for Model Checking Agent Programs.

[BibT_eX]

[DOI]

Sung-Shik T. Q. Jongmans

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Explaining Negotiation: Obtaining a Shared Mental Model of Preferences.

[BibT_eX]

[DOI]

Iris van de Kieft

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Programming Role Enactment through Reflection.

[BibT_eX]

[DOI]

Huib Aldewereld

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Improving User and Decision Support System Teamwork: An Approach Based on Shared Mental Models.

[BibT_eX]

Iris van de Kieft

Proceedings of the Explanation-aware Computing, 2011

Internet-delivered multi-patient virtual reality exposure therapy system for the treatment of anxiety disorders.

[BibT_eX]

[DOI]

Proceedings of the ECCE 2011, 2011

Reflection about capabilities for role enactment.

[BibT_eX]

[DOI]

Huib Aldewereld

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

Rich goal types in agent programming.

[BibT_eX]

[DOI]

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

A Multi-Party Negotiation Game for Improving Crisis Management Decision Making.

[BibT_eX]

[DOI]

Thomas Rens

Zhiyong Wang

Proceedings of the Robot-Human Teamwork in Dynamic Adverse Environment, 2011

Towards Measuring Sharedness of Team Mental Models by Compositional Means.

[BibT_eX]

[DOI]

Proceedings of the Robot-Human Teamwork in Dynamic Adverse Environment, 2011

2010

Comparing goal-oriented and procedural service orchestration.

[BibT_eX]

[DOI]

Martin Wirsing

Multiagent Grid Syst., 2010

Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents.

[BibT_eX]

[DOI]

Neil Yorke-Smith

Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

An Empirical Study of Patterns in Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Toward coactivity.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM/IEEE International Conference on Human Robot Interaction, 2010

A unified interaction-aware goal framework.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Model Checking Agent Programs by Using the Program Interpreter.

[BibT_eX]

[DOI]

Sung-Shik T. Q. Jongmans

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Formalizing organizational constraints: a semantic approach.

[BibT_eX]

[DOI]

Maarten Sierhuis

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

Shared Mental Models - A Conceptual Analysis.

[BibT_eX]

[DOI]

Bas Vermeulen

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

The Fundamental Principle of Coactive Design: Interdependence Must Shape Autonomy.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

UnrealGoal Bots - Conceptual Design of a Reusable Interface.

[BibT_eX]

[DOI]

Proceedings of the Agents for Games and Simulations II, 2010

2009

Goals in conflict: semantic foundations of goals in agent programming.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

A Computational Semantics for Communicating Rational Agents Based on Mental Models.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

An Empirical Study of Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

Using Rewrite Strategies for Testing BUpL Agents.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Programming Organization-Aware Agents.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World X, 2009

Joint Activity Testbed: Blocks World for Teams (BW4T).

[BibT_eX]

[DOI]

Matthew Johnson

Paul J. Feltovich

Jeffrey M. Bradshaw

Proceedings of the Engineering Societies in the Agents World X, 2009

Agent programming with temporally extended goals.

[BibT_eX]

[DOI]

Wiebe van der Hoek

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

2008

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Goals in agent systems: a unifying framework.

[BibT_eX]

[DOI]

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

Service Specification and Matchmaking Using Description Logic.

[BibT_eX]

[DOI]

Rolf Hennicker

Martin Wirsing

Andreas Schroeder

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Using Goals for Flexible Service Orchestration.

[BibT_eX]

[DOI]

Martin Wirsing

Proceedings of the Service-Oriented Computing: Agents, 2007

Satisfying Maintenance Goals.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies V, 2007

A grounded specification language for agent programs.

[BibT_eX]

[DOI]

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

2006

Semantics of plan revision in intelligent agents.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Dynamic Logic for Plan Revision in Agent Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Goal Types in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Plan Generation and Plan Execution in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Prototyping 3APL in the Maude Term Rewriting Language.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Goal-oriented modularity in agent programming.

[BibT_eX]

[DOI]

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

A Compositional Semantics of Plan Revision in Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Subgoal Semantics in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

Semantics of declarative goals in agent programming.

[BibT_eX]

[DOI]

Birna van Riemsdijk

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

Cognitive agent programming.

[BibT_eX]

[DOI]

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

Programming Multi-Agent Systems in 3APL.

[BibT_eX]

Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004

Dynamics of Declarative Goals in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Dynamic Logic for Plan Revision in Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Enacting and Deacting Roles in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

2003

A Programming Language for Cognitive Agents Goal Directed 3APL.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Agent programming in dribble: from beliefs to goals using plans.

[BibT_eX]

[DOI]

Birna van Riemsdijk

Wiebe van der Hoek

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

2002

Agent Programming in Dribble: From Beliefs to Goals with Plans.

[BibT_eX]

[DOI]

Birna van Riemsdijk

Wiebe van der Hoek