Koen V. Hindriks

According to our database1, Koen V. Hindriks authored at least 179 papers between 1997 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
On using Theorem Proving for Cognitive Agent-oriented Programming.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Co-creation as a Facilitator for Co-regulation in Child-Robot Interaction.
Proceedings of the Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021

Who Wants to Grant Robots Rights?
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.
Int. J. Soc. Robotics, 2020

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

Agent programming in the cognitive era.
Auton. Agents Multi Agent Syst., 2020

Interviewing Style for a Social Robot Engaging Museum Visitors for a Marketing Research Interview.
Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

On the Expressivity of a Parametric Humanoid Emotion Model.
Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020

A Study on Automated Receptionists in a Real-World Scenario.
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.
Proceedings of the HRI '20: ACM/IEEE International Conference on Human-Robot Interaction, 2020

2019
A Formal Graphical Language of Interdependence in Teamwork.
IEEE Intell. Syst., 2019

Getting Acquainted for a Long-Term Child-Robot Interaction.
Proceedings of the Social Robotics - 11th International Conference, 2019

A Robot Math Tutor that Gives Feedback.
Proceedings of the Social Robotics - 11th International Conference, 2019

Enthusiastic Robots Make Better Contact.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Welcoming Robot Behaviors for Drawing Attention.
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.
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.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

A Child and a Robot Getting Acquainted - Interaction Design for Eliciting Self-Disclosure.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Recognising and Explaining Bidding Strategies in Negotiation Support Systems.
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.
Proceedings of the 8th International Conference on Affective Computing and Intelligent Interaction, 2019

2018
Automating failure detection in cognitive agent programs.
Int. J. Agent Oriented Softw. Eng., 2018

An Interview Robot for Collecting Patient Data in a Hospital.
ERCIM News, 2018

Ontology Design for Task Allocation and Management in Urban Search and Rescue Missions.
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.
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.
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.
Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Persistent Robot-Assisted Disaster Response.
Proceedings of the Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction, 2018

Do You Have Pain?: A Robot who Cares.
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.
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.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

StarCraft as a Testbed for Engineering Complex Distributed Systems Using Cognitive Agent Technology.
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.
Cogn. Syst. Res., 2017

Designing a source-level debugger for cognitive agent programs.
Auton. Agents Multi Agent Syst., 2017

Expectation management in child-robot interaction.
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.
Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Omniscient Debugging for GOAL Agents in Eclipse (Demonstration).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Omniscient Debugging for Cognitive Agent Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Incremental Development of Large-Scale Human-Robot Teamwork in Disaster Response Environments.
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.
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.
Proceedings of the Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, 2017

Automated Negotiating Agents Competition (ANAC).
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
A survey of values, technologies and contexts in pervasive healthcare.
Pervasive Mob. Comput., 2016

Dynamic task allocation for multi-robot search and retrieval tasks.
Appl. Intell., 2016

Altruistic coordination for multi-robot cooperative pathfinding.
Appl. Intell., 2016

Learning about the opponent in automated bilateral negotiation: a comprehensive survey of opponent modeling techniques.
Auton. Agents Multi Agent Syst., 2016

CAAF: A Cognitive Affective Agent Programming Framework.
Proceedings of the Intelligent Virtual Agents - 16th International Conference, 2016

A Comparative Study of Programming Agents in POSH and GOAL.
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.
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.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Boolean Negotiation Games.
Proceedings of the Conflict Resolution in Decision Making - Second International Workshop, 2016

Using Automatic Failure Detection for Cognitive Agents in Eclipse (AAMAS 2016 DEMONSTRATION).
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Using Automatic Failure Detection for Cognitive Agents in Eclipse: (Demonstration).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

A Survey of Opponent Modeling Techniques in Automated Negotiation.
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.
Künstliche Intell., 2015

Heuristics for using CP-nets in utility-based negotiation without knowing utilities.
Knowl. Inf. Syst., 2015

The Automated Negotiating Agents Competition, 2010-2015.
AI Mag., 2015

Mood contagion of robot body language in human robot interaction.
Auton. Agents Multi Agent Syst., 2015

Designing a Source-Level Debugger for Cognitive Agent Programs.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

A Fully Integrated Development Environment for Agent-Oriented Programming.
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.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

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

Human-Robot Teamwork in USAR Environments: the TRADR Project.
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.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Designing a Knowledge Representation Interface for Cognitive Agents.
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

Effects of a robotic storyteller's moody gestures on storytelling perception.
Proceedings of the 2015 International Conference on Affective Computing and Intelligent Interaction, 2015

2014
Decoupling Negotiating Agents to Explore the Space of Negotiation Strategies.
Proceedings of the Novel Insights in Agent-based Complex Automated Negotiation, 2014

Multilateral Mediated Negotiation Protocols with Feedback.
Proceedings of the Novel Insights in Agent-based Complex Automated Negotiation, 2014

Effective acceptance conditions in real-time automated negotiation.
Decis. Support Syst., 2014

Genius: an Integrated Environment for Supporting the Design of Generic Automated Negotiators.
Comput. Intell., 2014

Effects of bodily mood expression of a robotic teacher on students.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Multi-robot Cooperative Pathfinding: A Decentralized Approach.
Proceedings of the Modern Advances in Applied Intelligence, 2014

Effective transfer learning of affordances for household robots.
Proceedings of the 4th International Conference on Development and Learning and on Epigenetic Robotics, 2014

Performance of Communicating Cognitive Agents in Cooperative Robot Teams.
Proceedings of the Agents and Artificial Intelligence - 6th International Conference, 2014

The Role of Communication in Coordination Protocols for Cooperative Robot Teams.
Proceedings of the ICAART 2014, 2014

Towards Simulating Heterogeneous Drivers with Cognitive Agents.
Proceedings of the ICAART 2014, 2014

Active learning of affordances for robot use of household objects.
Proceedings of the 14th IEEE-RAS International Conference on Humanoid Robots, 2014

Auction-Based Dynamic Task Allocation for Foraging with a Cooperative Robot Team.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation.
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.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

Robot mood is contagious: effects of robot body language in the imitation game.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Optimal Non-adaptive Concession Strategies with Incomplete Information.
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.
Proceedings of the Agent-Oriented Software Engineering, 2014

2013
The Second Automated Negotiating Agents Competition (ANAC2011).
Proceedings of the Complex Automated Negotiations: Theories, 2013

A Tit for Tat Negotiation Strategy for Real-Time Bilateral Negotiations.
Proceedings of the Complex Automated Negotiations: Theories, 2013

Acceptance Conditions in Automated Negotiation.
Proceedings of the Complex Automated Negotiations: Theories, 2013

Heuristic-Based Approaches for CP-Nets in Negotiation.
Proceedings of the Complex Automated Negotiations: Theories, 2013

Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange.
IEEE Trans. Affect. Comput., 2013

Evaluating practical negotiating agents: Results and analysis of the 2011 international competition.
Artif. Intell., 2013

An Approach to Navigation for the Humanoid Robot Nao in Domestic Environments.
Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Bodily Mood Expression: Recognize Moods from Functional Behaviors of Humanoid Robots.
Proceedings of the Social Robotics - 5th International Conference, 2013

Mood expression through parameterized functional behavior of robots.
Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication, 2013

Robot learning and use of affordances in goal-directed tasks.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Predicting the Performance of Opponent Models in Automated Negotiation.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Agent reasoning for norm compliance: a semantic approach.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

A real-time semantics for norms with deadlines.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Accepting optimally in automated negotiation with incomplete information.
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.
Proceedings of the 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, 2013

Multi-Cycle Query Caching in Agent Programming.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
The First Automated Negotiating Agents Competition (ANAC 2010).
Proceedings of the New Trends in Agent-Based Complex Automated Negotiations, 2012

Ambient Intelligence Implies Responsibility.
Proceedings of the Agents and Ambient Intelligence, 2012

An empirical study of cognitive agent programs.
Multiagent Grid Syst., 2012

Engineering Multi-Agent Systems (Dagstuhl Seminar 12342).
Dagstuhl Reports, 2012

Negotiating Agents.
AI Mag., 2012

An Agent-Based Cognitive Robot Architecture.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Learning to Improve Agent Behaviours in GOAL.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Query Caching in Agent Programming Languages.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Debugging Is Explaining.
Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Value-sensitive design patterns for pervasive health care.
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.
Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

A Framework for Qualitative Multi-criteria Preferences.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Goal-Based Qualitative Preference Systems.
Proceedings of the Declarative Agent Languages and Technologies X, 2012

GOAL Agents Instantiate Intention Logic.
Proceedings of the Logic Programs, Norms and Action, 2012

Measuring the Performance of Online Opponent Models in Automated Bilateral Negotiation.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011
Let's dans! An analytic framework of negotiation dynamics and strategies.
Web Intell. Agent Syst., 2011

Towards an environment interface standard for agent platforms.
Ann. Math. Artif. Intell., 2011

An Argumentation Framework for Qualitative Multi-criteria Preferences.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

State Space Reduction for Model Checking Agent Programs.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

HactarV2: An Agent Team Strategy Based on Implicit Coordination.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

Towards a Quantitative Concession-Based Classification Method of Negotiation Strategies.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

An Argumentation Framework for Deriving Qualitative Risk Sensitive Preferences.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Towards a Computational Model of the Self-attribution of Agency.
Proceedings of the Modern Approaches in Applied Intelligence, 2011

Reasoning about Interest-Based Preferences.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Interest-based Preference Reasoning.
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.
Proceedings of the Advanced Agent Technology, 2011

Taming the complexity of linear time BDI logics.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
Eliminating issue dependencies in complex negotiation domains.
Multiagent Grid Syst., 2010

Reinforcement Learning as Heuristic for Action-Rule Preferences.
Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

An Interface for Agent-Environment Interaction.
Proceedings of the Programming Multi-Agent Systems - 8th International Workshop, 2010

Multi-attribute Preference Logic.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

An Empirical Study of Patterns in Agent Programs.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Do You Get It? User-Evaluated Explainable BDI Agents.
Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Model Checking Agent Programs by Using the Program Interpreter.
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Formalizing organizational constraints: a semantic approach.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Principles for Value-Sensitive Agent-Oriented Software Engineering.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

UnrealGoal Bots - Conceptual Design of a Reusable Interface.
Proceedings of the Agents for Games and Simulations II, 2010

2009
Toward a programming theory for rational agents.
Auton. Agents Multi Agent Syst., 2009

A Computational Semantics for Communicating Rational Agents Based on Mental Models.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

An Empirical Study of Agent Programs.
Proceedings of the Principles of Practice in Multi-Agent Systems, 2009

GOAL as a Planning Formalism.
Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Towards a Verification Framework for Communicating Rational Agents.
Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

The Benefits of Opponent Models in Negotiation.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Programming Organization-Aware Agents.
Proceedings of the Engineering Societies in the Agents World X, 2009

Argumentation-Based Preference Modelling with Incomplete Information.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Reasoning about multi-attribute preferences.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Using opponent models for efficient negotiation.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Genius: negotiation environment for heterogeneous agents.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Agent programming with temporally extended goals.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Approximating the Qualitative Vickrey Auction by a Negotiation Protocol.
Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

A Multi-Agent Environment for Negotiation.
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

Programming Rational Agents in GOAL.
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008
Exploring Heuristic Action Selection in Agent Programming.
Proceedings of the Programming Multi-Agent Systems, 2008

Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.
Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Combining Multiple Knowledge Representation Technologies into Agent Programming Languages.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

GOAL Agents Instantiate Intention Logic.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Towards an Open Negotiation Architecture for Heterogeneous Agents.
Proceedings of the Cooperative Information Agents XII, 12th International Workshop, 2008

Opponent modelling in automated multi-issue negotiation using Bayesian learning.
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.
Proceedings of the Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis, 2008

2007
A verification framework for agent programming with declarative goals.
J. Appl. Log., 2007

Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Automatic Issue Extraction from a Focused Dialogue.
Proceedings of the Natural Language Processing and Information Systems, 2007

Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

Satisfying Maintenance Goals.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Analysis of Negotiation Dynamics.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

2006
Agent Logics as Program Logics: Grounding KARO.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Eliminating Interdependencies Between Issues for Multi-issue Negotiation.
Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2001
Agent programming languages: programming with mental models.
PhD thesis, 2001

On Programming KARO Agents.
Log. J. IGPL, 2001

A Programming Language for Coordinating Group Actions.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000
A Formal Architecture for the 3APL Agent Programming Language.
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.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

An Embedding of ConGolog in 3APL.
Proceedings of the ECAI 2000, 2000

Architecture for Agent Programming Languages.
Proceedings of the ECAI 2000, 2000

Agent Programming with Declarative Goals.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.
Proceedings of the Issues in Agent Communication, 2000

1999
Agent Programming in 3APL.
Auton. Agents Multi Agent Syst., 1999

1998
A Formal Embedding of AgentSpeak(L) in 3APL.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.
Proceedings of the Intelligent Agents V, 1998

1997
Formal Semantics for an Abstract Agent Programming Language.
Proceedings of the Intelligent Agents IV, 1997


  Loading...