Koen V. Hindriks

I am an Assistant Professor at the Delft University of Technology in the Department of Electrical Engineering, Mathematics and Computer Science. I am a member of the Man-Machine Interaction section.

My main research interests include:

• Automated Negotiation. I am interested in negotiation strategies, opponent modeling (learning), negotiation domain modelling, and various other aspects of (bilateral) automated negotiation. In particular, I am interested in using qualitative preferences in negotiating agents though my work in this area is still initial. For an overview of related work in our group you should go here.
• Agent Programming Languages. I wrote my PhD Thesis Programming with Mental Models about agent languages. Currently, I am working on the GOAL agent programming language.
• Logics for Verification. My main interest is in using logics for BDI-like agents for verification purposes, using either a theorem-proving or model-checking approach.

You can find an overview of my publications here.

Teaching

I teach the following courses:

• Knowledge Technology, a first-year undergraduate course about agent design (using Prometheus) and knowledge design (using Prolog), together with Birna van Riemsdijk.
• Artificial Intelligence Techniques, a fourth-year graduate course about Artificial Intelligence (using the book of Russell and Norvig), together with Catholijn Jonker.

Selected Events

• Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

• Ninth International Conference on Autonomous Agents and Multiagent Systems

• IAT-09: The 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology

• MALLOW-09: The 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops

• MATES-09: 7th German Conference on Multi-Agent System Technologies

• CLIMA-09: 10th International Workshop on Computational Logic in Multi-Agent Systems

• For additional events, you may also want to have a look at the confy list.

Program Committees & Organization

I organize(d) the following events:

• ProMAS 2008: Sixth international Workshop on Programming Multi-Agent Systems, Estoril, Portugal, May 13th, 2008.
• CIA 2007: Eleventh International Workshop on Cooperative Information Agents, Delft, The Netherlands, September 19-21, 2007.

I am/have been a member of the program committees of the following events:

• NMR 2008: Twelfth International Workshop on Non-Monotonic Reasoning, Sydney, Australia, September 13-15, 2008.
• AAMAS 2008: Seventh International Conference on Autonomous Agents and Multiagent Systems, Estoril, Portugal, May 12-16, 2008.
• ACAN 2008
• COIN@AAAI 2008
• LAM 2008: Logics for Agents and Mobility, Hamburg, Germany, August 4-15, 2008
• EUMAS 2007
• BNAI 2007

PhD Students