Koen V. Hindriks

According to our database, Koen V. Hindriks authored at least 213 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Survey on Dialogue Management in Human-robot Interaction.

Merle M. Reimann, Florian A. Kunneman, Catharine Oertel, Koen V. Hindriks

ACM Trans. Hum. Robot Interact., June, 2024

Spectral oversubtraction? An approach for speech enhancement after robot ego speech filtering in semi-real-time.

Yue Li, Koen V. Hindriks, Florian A. Kunneman

CoRR, 2024

Single-Channel Robot Ego-Speech Filtering during Human-Robot Interaction.

Yue Li, Koen V. Hindriks, Florian Kunneman

Proceedings of the 2024 International Symposium on Technological Advances in Human-Robot Interaction, 2024

A Near-Real-Time Processing Ego Speech Filtering Pipeline Designed for Speech Interruption During Human-Robot Interaction.

Yue Li, Florian A. Kunneman, Koen V. Hindriks

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

Audio-Visual Speech Recognition for Human-Robot Interaction: a Feasibility Study.

Sander Goetzee, Konstantin Mihhailov, Roel Van De Laar, Kim Baraka, Koen V. Hindriks

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

Automating Gaze Target Annotation in Human-Robot Interaction.

Linlin Cheng, Koen V. Hindriks, Artem V. Belopolsky

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

Shaping Relatable Robots: A Child-Centered Approach to Social Personalization.

Elena Malnatsky, Shenghui Wang, Koen V. Hindriks, Mike E. U. Ligthart

Proceedings of the Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

Back to School - Sustaining Recurring Child-Robot Educational Interactions After a Long Break.

Mike E. U. Ligthart, Simone M. de Droog, Marianne Bossema, Lamia Elloumi, Mirjam de Haas, Matthijs H. J. Smakman, Koen V. Hindriks, Somaya Ben Allouch

Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction, 2024

"Give Me an Example Like This": Episodic Active Reinforcement Learning from Demonstrations.

Muhan Hou, Koen V. Hindriks, Guszti Eiben, Kim Baraka

Proceedings of the 12th International Conference on Human-Agent Interaction, 2024

2023

Experiences of Users with an Online Self-Guided Mental Health Training Program Using Gamification.

Laura M. van der Lubbe, Charlotte Gerritsen, Michel C. A. Klein, Rachel F. Rodgers, Koen V. Hindriks

J. Heal. Informatics Res., June, 2023

It Takes Two: Using Co-creation to Facilitate Child-Robot Co-regulation.

Mike E. U. Ligthart, Mark A. Neerincx, Koen V. Hindriks

ACM Trans. Hum. Robot Interact., 2023

Automatic Emotion Recognition for Groups: A Review.

Emmeke Veltmeijer, Charlotte Gerritsen, Koen V. Hindriks

IEEE Trans. Affect. Comput., 2023

Emotion contagion in agent-based simulations of crowds: a systematic review.

Erik van Haeringen, Charlotte Gerritsen, Koen V. Hindriks

Auton. Agents Multi Agent Syst., 2023

Social Robots in the Wild and the Novelty Effect.

Merle M. Reimann, Jesper van de Graaf, Nina van Gulik, Stephanie van de Sanden, Tibert Verhagen, Koen V. Hindriks

Proceedings of the Social Robotics - 15th International Conference, 2023

A Semi-Real-Time Method for Social Robots to Detect and Locate Overlapping Speech Events.

Yue Li, Koen V. Hindriks, Florian Kunneman

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

A Process-Oriented Framework for Robot Imitation Learning in Human-Centered Interactive Tasks.

Muhan Hou, Koen V. Hindriks, A. E. Eiben, Kim Baraka

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Shaping Imbalance into Balance: Active Robot Guidance of Human Teachers for Better Learning from Demonstrations.

Muhan Hou, Koen V. Hindriks, A. E. Eiben, Kim Baraka

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Boundary Conditions for Human Gaze Estimation on A Social Robot using State-of-the-Art Models.

Linlin Cheng, Artem V. Belopolsky, Koen V. Hindriks

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Predicting Interaction Quality Aspects Using Level-Based Scores for Conversational Agents.

Merle M. Reimann, Catharine Oertel, Florian A. Kunneman, Koen V. Hindriks

Proceedings of the 23rd ACM International Conference on Intelligent Virtual Agents, 2023

Design Specifications for a Social Robot Math Tutor.

Mike E. U. Ligthart, Simone M. de Droog, Marianne Bossema, Lamia Elloumi, Kees Hoogland, Matthijs H. J. Smakman, Koen V. Hindriks, Somaya Ben Allouch

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

2022

A cloud-based middleware for multi-modal interaction services and applications.

Bilgin Avenoglu, Vincent J. Koeman, Koen V. Hindriks

J. Ambient Intell. Smart Environ., 2022

Getting acquainted: First steps for child-robot relationship formation.

Mike E. U. Ligthart, Mark A. Neerincx, Koen V. Hindriks

Frontiers Robotics AI, 2022

Effects of Robot Clothing on First Impressions, Gender, Human-Likeness, and Suitability of a Robot for Occupations.

Koen V. Hindriks, Marijn Hagenaar, Anna Laura Huckelba

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Exploring requirements and opportunities for social robots in primary mathematics education.

Lamia Elloumi, Marianne Bossema, Simone M. de Droog, Matthijs H. J. Smakman, Stan van Ginkel, Mike E. U. Ligthart, Kees Hoogland, Koen V. Hindriks, Somaya Ben Allouch

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Automatic Recognition of Emotional Subgroups in Images.

Emmeke Veltmeijer, Charlotte Gerritsen, Koen V. Hindriks

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

Robotic Improvisers: Rule-Based Improvisation and Emergent Behaviour in HRI.

Irene Alcubilla Troughton, Kim Baraka, Koen V. Hindriks, Maaike Bleeker

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

Memory-Based Personalization for Fostering a Long-Term Child-Robot Relationship.

Mike E. U. Ligthart, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

A Sequence-Based Dialog Management Framework for Co-Regulated Dialog.

Florian Kunneman, Koen V. Hindriks

Proceedings of the HHAI 2022: Augmenting Human Intellect, 2022

2021

Who Wants to Grant Robots Rights?

Maartje M. A. de Graaf, Frank A. Hindriks, Koen V. Hindriks

Frontiers Robotics AI, 2021

Empowering vulnerable target groups with serious games and gamification.

Laura M. van der Lubbe, Charlotte Gerritsen, Michel C. A. Klein, Koen V. Hindriks

Entertain. Comput., 2021

Core Elements of Social Interaction for Constructive Human-Robot Interaction.

Mike E. U. Ligthart, Mark A. Neerincx, Koen V. Hindriks

CoRR, 2021

Integrating Valence and Arousal Within an Agent-Based Model of Emotion Contagion.

Erik van Haeringen, Charlotte Gerritsen, Koen V. Hindriks

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

SUPPLE: A Dialogue Management Approach Based on Conversation Patterns.

Florian Kunneman, Koen V. Hindriks

Proceedings of the Conversational AI for Natural Human-Centric Interaction, 2021

On using Theorem Proving for Cognitive Agent-oriented Programming.

Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Co-creation as a Facilitator for Co-regulation in Child-Robot Interaction.

Mike Ligthart, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021

2020

A Feasibility Study of a Social Robot Collecting Patient Reported Outcome Measurements from Older Adults.

Roel Boumans, Fokke B. van Meulen, Koen V. Hindriks, Mark A. Neerincx, Marcel G. M. Olde Rikkert

Int. J. Soc. Robotics, 2020

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

Zeynep Akata, Dan Balliet, Maarten de Rijke, Frank Dignum, Virginia Dignum, Guszti Eiben, Antske Fokkens, Davide Grossi, Koen V. Hindriks, Holger H. Hoos, Hayley Hung, Catholijn M. Jonker, Christof Monz, Mark A. Neerincx, Frans A. Oliehoek, Henry Prakken, Stefan Schlobach, Linda C. van der Gaag, Frank van Harmelen, Herke van Hoof, Birna van Riemsdijk, Aimee van Wynsberghe, Rineke Verbrugge, Bart Verheij, Piek Vossen, Max Welling

Computer, 2020

Agent programming in the cognitive era.

Rafael H. Bordini, Amal El Fallah Seghrouchni, Koen V. Hindriks, Brian Logan, Alessandro Ricci

Auton. Agents Multi Agent Syst., 2020

Interviewing Style for a Social Robot Engaging Museum Visitors for a Marketing Research Interview.

Judith Schermer, Koen V. Hindriks

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

On the Expressivity of a Parametric Humanoid Emotion Model.

Pooja Prajod, Koen V. Hindriks

Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

A Study on Automated Receptionists in a Real-World Scenario.

Ralf Wolter, Koen V. Hindriks, Dalya Samur, Catholijn M. Jonker

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Design Patterns for an Interactive Storytelling Robot to Support Children's Engagement and Agency.

Mike Ligthart, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the HRI '20: ACM/IEEE International Conference on Human-Robot Interaction, 2020

2019

A Formal Graphical Language of Interdependence in Teamwork.

Changyun Wei, Koen V. Hindriks, M. Birna van Riemsdijk, Catholijn M. Jonker

IEEE Intell. Syst., 2019

Getting Acquainted for a Long-Term Child-Robot Interaction.

Mike Ligthart, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the Social Robotics - 11th International Conference, 2019

A Robot Math Tutor that Gives Feedback.

Koen V. Hindriks, Sander Liebens

Proceedings of the Social Robotics - 11th International Conference, 2019

Enthusiastic Robots Make Better Contact.

Elie Saad, Joost Broekens, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Welcoming Robot Behaviors for Drawing Attention.

Elie Saad, Mark A. Neerincx, Koen V. Hindriks

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

What Could Go Wrong?! 2nd Workshop: Lessons Learned When Doing HRI User Studies with Off-the-Shelf Social Robots.

Shirley A. Elprama, An Jacobs, Mike Ligthart, Koen V. Hindriks, Katie Winkle

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

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems.

Vincent J. Koeman, Louise A. Dennis, Matt Webster, Michael Fisher, Koen V. Hindriks

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

A Child and a Robot Getting Acquainted - Interaction Design for Eliciting Self-Disclosure.

Mike Ligthart, Timo Fernhout, Mark A. Neerincx, Kelly L. A. van Bindsbergen, Martha A. Grootenhuis, Koen V. Hindriks

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

Recognising and Explaining Bidding Strategies in Negotiation Support Systems.

Vincent J. Koeman, Koen V. Hindriks, Jonathan Gratch, Catholijn M. Jonker

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

Evaluating Cognitive and Affective Intelligent Agent Explanations in a Long-Term Health-Support Application for Children with Type 1 Diabetes.

Frank Kaptein, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 8th International Conference on Affective Computing and Intelligent Interaction, 2019

2018

Automating failure detection in cognitive agent programs.

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

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

An Interview Robot for Collecting Patient Data in a Hospital.

Koen V. Hindriks, Roel Boumans, Fokke B. van Meulen, Mark A. Neerincx, Marcel G. M. Olde Rikkert

ERCIM News, 2018

Ontology Design for Task Allocation and Management in Urban Search and Rescue Missions.

Elie Saad, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

On the Effects of Team Size and Communication Load on the Performance in Exploration Games.

Chris Rozemuller, Mark A. Neerincx, Koen V. Hindriks

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Reducing Stress by Bonding with a Social Robot: Towards Autonomous Long-Term Child-Robot Interaction.

Mike Ligthart, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

What Could Go Wrong: Lessons Learned When Doing HRI User Studies with Off-the-Shelf Social Robots.

An Jacobs, Mike Ligthart, Shirley A. Elprama, Koen V. Hindriks, Katie Winkle

Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Persistent Robot-Assisted Disaster Response.

Joachim de Greeff, Tina Mioch, Willeke van Vught, Koen V. Hindriks, Mark A. Neerincx, Ivana Kruijff-Korbayová

Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Do You Have Pain?: A Robot who Cares.

Roel Boumans, Fokke B. van Meulen, Koen V. Hindriks, Mark A. Neerincx, Marcel G. M. Olde Rikkert

Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Proof of Concept of a Social Robot for Patient Reported Outcome Measurements in Elderly Persons.

Roel Boumans, Fokke B. van Meulen, Koen V. Hindriks, Mark A. Neerincx, Marcel G. M. Olde Rikkert

Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft.

Vincent J. Koeman, Harm J. Griffioen, Danny C. Plenge, Koen V. Hindriks

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

StarCraft as a Testbed for Engineering Complex Distributed Systems Using Cognitive Agent Technology.

Vincent J. Koeman, Harm J. Griffioen, Danny C. Plenge, Koen V. Hindriks

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

2017

Specifying and testing the design rationale of social robots for behavior change in children.

Rosemarijn Looije, Mark A. Neerincx, Koen V. Hindriks

Cogn. Syst. Res., 2017

Designing a source-level debugger for cognitive agent programs.

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

Auton. Agents Multi Agent Syst., 2017

Expectation management in child-robot interaction.

Mike Ligthart, Olivier A. Blanson Henkemans, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Personalised self-explanation by robots: The role of goals versus beliefs in robot-action explanation for children and adults.

Frank Kaptein, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Omniscient Debugging for GOAL Agents in Eclipse (Demonstration).

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

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

Omniscient Debugging for Cognitive Agent Programs.

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

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

Incremental Development of Large-Scale Human-Robot Teamwork in Disaster Response Environments.

Joachim de Greeff, Nanja J. J. M. Smets, Koen V. Hindriks, Mark A. Neerincx, Ivana Kruijff-Korbayová

Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, 2017

The role of emotion in self-explanations by cognitive agents.

Frank Kaptein, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, 2017

Self-explanations of a cognitive agent by citing goals and emotions.

Frank Kaptein, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, 2017

Automated Negotiating Agents Competition (ANAC).

Catholijn M. Jonker, Reyhan Aydogan, Tim Baarslag, Katsuhide Fujita, Takayuki Ito, Koen V. Hindriks

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A survey of values, technologies and contexts in pervasive healthcare.

Christian Detweiler, Koen V. Hindriks

Pervasive Mob. Comput., 2016

Dynamic task allocation for multi-robot search and retrieval tasks.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Appl. Intell., 2016

Altruistic coordination for multi-robot cooperative pathfinding.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Appl. Intell., 2016

Learning about the opponent in automated bilateral negotiation: a comprehensive survey of opponent modeling techniques.

Tim Baarslag, Mark J. C. Hendrikx, Koen V. Hindriks, Catholijn M. Jonker

Auton. Agents Multi Agent Syst., 2016

CAAF: A Cognitive Affective Agent Programming Framework.

Frank Kaptein, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Intelligent Virtual Agents - 16th International Conference, 2016

A Comparative Study of Programming Agents in POSH and GOAL.

Rien Korstanje, Cyril Brom, Jakub Gemrot, Koen V. Hindriks

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Ontological Reasoning for Human-Robot Teaming in Search and Rescue Missions.

Timea Bagosi, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Eleventh ACM/IEEE International Conference on Human Robot Interation, 2016

An Introduction to the Pocket Negotiator: A General Purpose Negotiation Support System.

Catholijn M. Jonker, Reyhan Aydogan, Tim Baarslag, Joost Broekens, Christian A. Detweiler, Koen V. Hindriks, Alina Huldtgren, Wouter Pasman

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Boolean Negotiation Games.

Nils Bulling, Koen V. Hindriks

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

Using Automatic Failure Detection for Cognitive Agents in Eclipse (AAMAS 2016 DEMONSTRATION).

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Using Automatic Failure Detection for Cognitive Agents in Eclipse: (Demonstration).

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

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

A Survey of Opponent Modeling Techniques in Automated Negotiation.

Tim Baarslag, Mark J. C. Hendrikx, Koen V. Hindriks, Catholijn M. Jonker

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

2015

TRADR Project: Long-Term Human-Robot Teaming for Robot Assisted Disaster Response.

Ivana Kruijff-Korbayová, Francis Colas, Mario Gianni, Fiora Pirri, Joachim de Greeff, Koen V. Hindriks, Mark A. Neerincx, Petter Ögren, Tomás Svoboda, Rainer Worst

Künstliche Intell., 2015

Heuristics for using CP-nets in utility-based negotiation without knowing utilities.

Reyhan Aydogan, Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Pinar Yolum

Knowl. Inf. Syst., 2015

The Automated Negotiating Agents Competition, 2010-2015.

Tim Baarslag, Reyhan Aydogan, Koen V. Hindriks, Katsuhide Fujita, Takayuki Ito, Catholijn M. Jonker

AI Mag., 2015

Mood contagion of robot body language in human robot interaction.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Auton. Agents Multi Agent Syst., 2015

Designing a Source-Level Debugger for Cognitive Agent Programs.

Vincent J. Koeman, Koen V. Hindriks

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

A Fully Integrated Development Environment for Agent-Oriented Programming.

Vincent J. Koeman, Koen V. Hindriks

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection, 2015

On the need for a coordination mechanism to guarantee task completion in a cooperative team.

Chris Rozemuller, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

HRI Workshop on Human-Robot Teaming.

Bradley Hayes, Matthew C. Gombolay, Malte F. Jung, Koen V. Hindriks, Joachim de Greeff, Catholijn M. Jonker, Mark A. Neerincx, Jeffrey M. Bradshaw, Matthew Johnson, Ivana Kruijff-Korbayová, Maarten Sierhuis, Julie A. Shah, Brian Scassellati

Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

Human-Robot Teamwork in USAR Environments: the TRADR Project.

Joachim de Greeff, Koen V. Hindriks, Mark A. Neerincx, Ivana Kruijff-Korbayová

Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

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

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks

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

Designing a Knowledge Representation Interface for Cognitive Agents.

Timea Bagosi, Joachim de Greeff, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Effects of a robotic storyteller's moody gestures on storytelling perception.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 2015 International Conference on Affective Computing and Intelligent Interaction, 2015

2014

Decoupling Negotiating Agents to Explore the Space of Negotiation Strategies.

Tim Baarslag, Koen V. Hindriks, Mark Hendrikx, Alexander Dirkzwager, Catholijn M. Jonker

Proceedings of the Novel Insights in Agent-based Complex Automated Negotiation, 2014

Multilateral Mediated Negotiation Protocols with Feedback.

Reyhan Aydogan, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Novel Insights in Agent-based Complex Automated Negotiation, 2014

Effective acceptance conditions in real-time automated negotiation.

Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker

Decis. Support Syst., 2014

Genius: an Integrated Environment for Supporting the Design of Generic Automated Negotiators.

Raz Lin, Sarit Kraus, Tim Baarslag, Dmytro Tykhonov, Koen V. Hindriks, Catholijn M. Jonker

Comput. Intell., 2014

Effects of bodily mood expression of a robotic teacher on students.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Multi-robot Cooperative Pathfinding: A Decentralized Approach.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Modern Advances in Applied Intelligence, 2014

Effective transfer learning of affordances for household robots.

Chang Wang, Koen V. Hindriks, Robert Babuska

Proceedings of the 4th International Conference on Development and Learning and on Epigenetic Robotics, 2014

Performance of Communicating Cognitive Agents in Cooperative Robot Teams.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

The Role of Communication in Coordination Protocols for Cooperative Robot Teams.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the ICAART 2014, 2014

Towards Simulating Heterogeneous Drivers with Cognitive Agents.

Arman Noroozian, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the ICAART 2014, 2014

Active learning of affordances for robot use of household objects.

Chang Wang, Koen V. Hindriks, Robert Babuska

Proceedings of the 14th IEEE-RAS International Conference on Humanoid Robots, 2014

Auction-Based Dynamic Task Allocation for Foraging with a Cooperative Robot Team.

Changyun Wei, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation.

Tim Baarslag, Alexander Dirkzwager, Koen V. Hindriks, Catholijn M. Jonker

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

The Shaping of the Agent-Oriented Mindset - Twenty Years of Engineering MAS.

Koen V. Hindriks

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Robot mood is contagious: effects of robot body language in the imitation game.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

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

Optimal Non-adaptive Concession Strategies with Incomplete Information.

Tim Baarslag, Rafik Hadfi, Koen V. Hindriks, Takayuki Ito, Catholijn M. Jonker

Proceedings of the Recent Advances in Agent-based Complex Automated Negotiation [revised and extended papers from the 7th International Workshop on Agent-based Complex Automated Negotiation, 2014

GOAL: A Multi-agent Programming Language Applied to an Exploration Game.

Koen V. Hindriks, Jürgen Dix

Proceedings of the Agent-Oriented Software Engineering, 2014

2013

The Second Automated Negotiating Agents Competition (ANAC2011).

Katsuhide Fujita, Takayuki Ito, Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin

Proceedings of the Complex Automated Negotiations: Theories, 2013

A Tit for Tat Negotiation Strategy for Real-Time Bilateral Negotiations.

Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Complex Automated Negotiations: Theories, 2013

Acceptance Conditions in Automated Negotiation.

Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Complex Automated Negotiations: Theories, 2013

Heuristic-Based Approaches for CP-Nets in Negotiation.

Reyhan Aydogan, Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Pinar Yolum

Proceedings of the Complex Automated Negotiations: Theories, 2013

Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange.

Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer

IEEE Trans. Affect. Comput., 2013

Evaluating practical negotiating agents: Results and analysis of the 2011 international competition.

Tim Baarslag, Katsuhide Fujita, Enrico H. Gerding, Koen V. Hindriks, Takayuki Ito, Nicholas R. Jennings, Catholijn M. Jonker, Sarit Kraus, Raz Lin, Valentin Robu, Colin R. Williams

Artif. Intell., 2013

An Approach to Navigation for the Humanoid Robot Nao in Domestic Environments.

Changyun Wei, Junchao Xu, Chang Wang, Pascal Wiggers, Koen V. Hindriks

Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Bodily Mood Expression: Recognize Moods from Functional Behaviors of Humanoid Robots.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the Social Robotics - 5th International Conference, 2013

Mood expression through parameterized functional behavior of robots.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication, 2013

Robot learning and use of affordances in goal-directed tasks.

Chang Wang, Koen V. Hindriks, Robert Babuska

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Predicting the Performance of Opponent Models in Automated Negotiation.

Tim Baarslag, Mark Hendrikx, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Agent reasoning for norm compliance: a semantic approach.

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks

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

A real-time semantics for norms with deadlines.

Koen V. Hindriks, M. Birna van Riemsdijk

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

Accepting optimally in automated negotiation with incomplete information.

Tim Baarslag, Koen V. Hindriks

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

The Relative Importance and Interrelations between Behavior Parameters for Robots' Mood Expression.

Junchao Xu, Joost Broekens, Koen V. Hindriks, Mark A. Neerincx

Proceedings of the 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, 2013

Multi-Cycle Query Caching in Agent Programming.

Natasha Alechina, Tristan M. Behrens, Mehdi Dastani, Koen V. Hindriks, Jomi Fred Hübner, Brian Logan, Hai H. Nguyen, Marc van Zee

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

The First Automated Negotiating Agents Competition (ANAC 2010).

Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin

Proceedings of the New Trends in Agent-Based Complex Automated Negotiations, 2012

Ambient Intelligence Implies Responsibility.

Christian Detweiler, Francien Dechesne, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Agents and Ambient Intelligence, 2012

An empirical study of cognitive agent programs.

M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker

Multiagent Grid Syst., 2012

Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).

Jürgen Dix, Koen V. Hindriks, Brian Logan, Wayne Wobcke

Dagstuhl Reports, 2012

Negotiating Agents.

Catholijn M. Jonker, Koen V. Hindriks, Pascal Wiggers, Joost Broekens

AI Mag., 2012

An Agent-Based Cognitive Robot Architecture.

Changyun Wei, Koen V. Hindriks

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Learning to Improve Agent Behaviours in GOAL.

Dhirendra Singh, Koen V. Hindriks

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Query Caching in Agent Programming Languages.

Natasha Alechina, Tristan M. Behrens, Koen V. Hindriks, Brian Logan

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Debugging Is Explaining.

Koen V. Hindriks

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

Value-sensitive design patterns for pervasive health care.

Christian Detweiler, Koen V. Hindriks

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

Learning Classifier System on a humanoid NAO robot in dynamic environments.

Chang Wang, Pascal Wiggers, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

A Framework for Qualitative Multi-criteria Preferences.

Wietske Visser, Reyhan Aydogan, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Goal-Based Qualitative Preference Systems.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Declarative Agent Languages and Technologies X, 2012

GOAL Agents Instantiate Intention Logic.

Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Logic Programs, Norms and Action, 2012

Measuring the Performance of Online Opponent Models in Automated Bilateral Negotiation.

Tim Baarslag, Mark Hendrikx, Koen V. Hindriks, Catholijn M. Jonker

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

2011

Let's dans! An analytic framework of negotiation dynamics and strategies.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Web Intell. Agent Syst., 2011

Towards an environment interface standard for agent platforms.

Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix

Ann. Math. Artif. Intell., 2011

An Argumentation Framework for Qualitative Multi-criteria Preferences.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

State Space Reduction for Model Checking Agent Programs.

Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk

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

HactarV2: An Agent Team Strategy Based on Implicit Coordination.

Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits, Koen V. Hindriks

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

Towards a Quantitative Concession-Based Classification Method of Negotiation Strategies.

Tim Baarslag, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

An Argumentation Framework for Deriving Qualitative Risk Sensitive Preferences.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Towards a Computational Model of the Self-attribution of Agency.

Koen V. Hindriks, Pascal Wiggers, Catholijn M. Jonker, Willem F. G. Haselager

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Reasoning about Interest-Based Preferences.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Interest-based Preference Reasoning.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

The iCat as a Natural Interaction Partner - Playing Go Fish with a Robot.

Koen V. Hindriks, Mark A. Neerincx, Mirek Vink

Proceedings of the Advanced Agent Technology, 2011

Taming the complexity of linear time BDI logics.

Nils Bulling, Koen V. Hindriks

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

2010

Eliminating issue dependencies in complex negotiation domains.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Multiagent Grid Syst., 2010

Reinforcement Learning as Heuristic for Action-Rule Preferences.

Joost Broekens, Koen V. Hindriks, Pascal Wiggers

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

An Interface for Agent-Environment Interaction.

Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr

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

Multi-attribute Preference Logic.

Koen V. Hindriks, Wietske Visser, Catholijn M. Jonker

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

An Empirical Study of Patterns in Agent Programs.

Koen V. Hindriks, M. Birna van Riemsdijk, Catholijn M. Jonker

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

Do You Get It? User-Evaluated Explainable BDI Agents.

Joost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer

Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Model Checking Agent Programs by Using the Program Interpreter.

Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk

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

Formalizing organizational constraints: a semantic approach.

M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker, Maarten Sierhuis

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

Principles for Value-Sensitive Agent-Oriented Software Engineering.

Christian Detweiler, Koen V. Hindriks, Catholijn M. Jonker

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

UnrealGoal Bots - Conceptual Design of a Reusable Interface.

Koen V. Hindriks, Birna van Riemsdijk, Tristan M. Behrens, Rien Korstanje, Nick Kraayenbrink, Wouter Pasman, Lennard de Rijk

Proceedings of the Agents for Games and Simulations II, 2010

2009

Toward a programming theory for rational agents.

Koen V. Hindriks, John-Jules Ch. Meyer

Auton. Agents Multi Agent Syst., 2009

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

Koen V. Hindriks, M. Birna van Riemsdijk

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

An Empirical Study of Agent Programs.

M. Birna van Riemsdijk, Koen V. Hindriks

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

GOAL as a Planning Formalism.

Koen V. Hindriks, Tijmen Roberti

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Towards a Verification Framework for Communicating Rational Agents.

Nils Bulling, Koen V. Hindriks

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

The Benefits of Opponent Models in Negotiation.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

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

Programming Organization-Aware Agents.

M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker

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

Argumentation-Based Preference Modelling with Incomplete Information.

Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Reasoning about multi-attribute preferences.

Koen V. Hindriks, Catholijn M. Jonker, Wietske Visser

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

Using opponent models for efficient negotiation.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

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

Genius: negotiation environment for heterogeneous agents.

Koen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin, Dmytro Tykhonov

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

Agent programming with temporally extended goals.

Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk

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

Approximating the Qualitative Vickrey Auction by a Negotiation Protocol.

Koen V. Hindriks, Dmytro Tykhonov, Mathijs de Weerdt

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

A Multi-Agent Environment for Negotiation.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

Programming Rational Agents in GOAL.

Koen V. Hindriks

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

Exploring Heuristic Action Selection in Agent Programming.

Koen V. Hindriks, Catholijn M. Jonker, Wouter Pasman

Proceedings of the Programming Multi-Agent Systems, 2008

Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.

Koen V. Hindriks, Peter Novák

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Approximating an auction mechanism by multi-issue negotiation.

Koen V. Hindriks, Dmytro Tykhonov, Mathijs de Weerdt

Proceedings of the 1st International Working Conference on Human Factors and Computational Models in Negotiation, 2008

Creating human-machine synergy in negotiation support systems: towards the pocket negotiator.

Koen V. Hindriks, Catholijn M. Jonker

Proceedings of the 1st International Working Conference on Human Factors and Computational Models in Negotiation, 2008

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

Koen V. Hindriks, M. Birna van Riemsdijk

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Combining Multiple Knowledge Representation Technologies into Agent Programming Languages.

Mehdi Dastani, Koen V. Hindriks, Peter Novák, Nick A. M. Tinnemeier

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

GOAL Agents Instantiate Intention Logic.

Koen V. Hindriks, Wiebe van der Hoek

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Towards an Open Negotiation Architecture for Heterogeneous Agents.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Proceedings of the Cooperative Information Agents XII, 12th International Workshop, 2008

Opponent modelling in automated multi-issue negotiation using Bayesian learning.

Koen V. Hindriks, Dmytro Tykhonov

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

Towards a Quality Assessment Method for Learning Preference Profiles in Negotiation.

Koen V. Hindriks, Dmytro Tykhonov

Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2008

2007

A verification framework for agent programming with declarative goals.

Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

J. Appl. Log., 2007

Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.

Koen V. Hindriks

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Automatic Issue Extraction from a Focused Dialogue.

Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn M. Jonker, Dmytro Tykhonov

Proceedings of the Natural Language Processing and Information Systems, 2007

Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

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

Satisfying Maintenance Goals.

Koen V. Hindriks, M. Birna van Riemsdijk

Proceedings of the Declarative Agent Languages and Technologies V, 2007

Analysis of Negotiation Dynamics.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

2006

Agent Logics as Program Logics: Grounding KARO.

Koen V. Hindriks, John-Jules Ch. Meyer

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Eliminating Interdependencies Between Issues for Multi-issue Negotiation.

Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov

Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2001

Agent programming languages: programming with mental models.

Koen V. Hindriks

PhD thesis, 2001

On Programming KARO Agents.

John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek

Log. J. IGPL, 2001

A Programming Language for Coordinating Group Actions.

Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000

A Formal Architecture for the 3APL Agent Programming Language.

Mark d'Inverno, Koen V. Hindriks, Michael Luck

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

A Programming Logic for Part of the Agent Language 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

An Embedding of ConGolog in 3APL.

Koen V. Hindriks, Yves Lespérance, Hector J. Levesque

Proceedings of the ECAI 2000, 2000

Architecture for Agent Programming Languages.

Koen V. Hindriks, Mark d'Inverno, Michael Luck

Proceedings of the ECAI 2000, 2000

Agent Programming with Declarative Goals.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Issues in Agent Communication, 2000

1999

Agent Programming in 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Auton. Agents Multi Agent Syst., 1999

1998

A Formal Embedding of AgentSpeak(L) in 3APL.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents V, 1998

1997

Formal Semantics for an Abstract Agent Programming Language.

Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

Proceedings of the Intelligent Agents IV, 1997