Koen V. Hindriks - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Model Checking Agent Programs by Using the Program InterpreterSung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk. clima 2010: 219-237 [doi]

Formalizing organizational constraints: a semantic approachM. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker, Maarten Sierhuis. atal 2010: 823-830 [doi]

2009

Towards a Verification Framework for Communicating Rational AgentsNils Bulling, Koen V. Hindriks. MATES 2009: 177-182 [doi]

Reasoning about multi-attribute preferencesKoen V. Hindriks, Catholijn M. Jonker, Wietske Visser. atal 2009: 1147-1148 [doi]

GOAL as a Planning FormalismKoen V. Hindriks, Tijmen Roberti. MATES 2009: 29-40 [doi]

Toward a programming theory for rational agentsKoen V. Hindriks, John-Jules Ch. Meyer. AAMAS, 19(1):4-29, 2009. [doi]

Agent programming with temporally extended goalsKoen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk. atal 2009: 137-144 [doi]

Using opponent models for efficient negotiationKoen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov. atal 2009: 1243-1244 [doi]

Genius: negotiation environment for heterogeneous agentsKoen V. Hindriks, Catholijn M. Jonker, Sarit Kraus, Raz Lin, Dmytro Tykhonov. atal 2009: 1397-1398 [doi]

The Benefits of Opponent Models in NegotiationKoen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov. iat 2009: 439-444 [doi]

An Empirical Study of Agent ProgramsM. Birna van Riemsdijk, Koen V. Hindriks. prima 2009: 200-215 [doi]

Programming Organization-Aware AgentsM. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker. esaw 2009: 98-112 [doi]

2008

Combining Multiple Knowledge Representation Technologies into Agent Programming LanguagesMehdi Dastani, Koen V. Hindriks, Peter Novák, Nick A. M. Tinnemeier. dalt 2009: 60-74 [doi]

Opponent modelling in automated multi-issue negotiation using Bayesian learningKoen V. Hindriks, Dmytro Tykhonov. atal 2008: 331-338 [doi]

Exploring Heuristic Action Selection in Agent ProgrammingKoen V. Hindriks, Catholijn M. Jonker, Wouter Pasman. promas 2009: 24-39 [doi]

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent ProgrammingKoen V. Hindriks, M. Birna van Riemsdijk. dalt 2009: 215-232 [doi]

Compiling GOAL Agent Programs into Jazzyk Behavioural State MachinesKoen V. Hindriks, Peter Novák. MATES 2008: 86-98 [doi]

Towards an Open Negotiation Architecture for Heterogeneous AgentsKoen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov. cia 2008: 264-279 [doi]

2007

2006

Eliminating Interdependencies Between Issues for Multi-issue NegotiationKoen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov. cia 2006: 301-316 [doi]

Agent Logics as Program Logics: Grounding KAROKoen V. Hindriks, John-Jules Ch. Meyer. ki 2007: 404-418 [doi]

2001

A Programming Language for Coordinating Group ActionsWieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer. ceemas 2002: 313-321 [doi]

On Programming KARO AgentsJohn-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek. igpl, 9(2), 2001. [doi]

2000

1999

Agent Programming in 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. AAMAS, 2(4):357-401, 1999.

1998

A Formal Embedding of AgentSpeak(L) in 3APLKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. ausai 1998: 155-166

Control Structures of Rule-Based Agent LanguagesKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 1999: 381-396

1997

Formal Semantics for an Abstract Agent Programming LanguageKoen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. atal 1998: 215-229