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.
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