Search the dblp DataBase

Publications of Author

1. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   Semantics of Communicating Agents Based on Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
   Issues in Agent Communication, 2000, pp:63-79 [Conf]
   
2. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   Agent Programming with Declarative Goals. [Citation Graph (0, 0)][DBLP]
   ATAL, 2000, pp:228-243 [Conf]
   
3. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   Formal Semantics for an Abstract Agent Programming Language. [Citation Graph (0, 0)][DBLP]
   ATAL, 1997, pp:215-229 [Conf]
   
4. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   Control Structures of Rule-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
   ATAL, 1998, pp:381-396 [Conf]
   
5. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
   A Formal Embedding of AgentSpeak(L) in 3APL. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 1998, pp:155-166 [Conf]
   
6. Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
   A Programming Language for Coordinating Group Actions. [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2001, pp:313-321 [Conf]
   
7. Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov
   Eliminating Interdependencies Between Issues for Multi-issue Negotiation. [Citation Graph (0, 0)][DBLP]
   CIA, 2006, pp:301-316 [Conf]
   
8. Koen V. Hindriks, Mark d'Inverno, Michael Luck
   Architecture for Agent Programming Languages. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:363-367 [Conf]
   
9. Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
   An Embedding of ConGolog in 3APL. [Citation Graph (0, 0)][DBLP]
   ECAI, 2000, pp:558-562 [Conf]
   
10. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Programming Logic for Part of the Agent Language 3APL. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:78-89 [Conf]
    
11. Mark d'Inverno, Koen V. Hindriks, Michael Luck
    A Formal Architecture for the 3APL Agent Programming Language. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:168-187 [Conf]
    
12. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in 3APL. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:4, pp:357-401 [Journal]
    
13. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
    
14. John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
    On Programming KARO Agents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
    
15. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A verification framework for agent programming with declarative goals. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:277-302 [Journal]
    
16. Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykhonov
    Analysis of Negotiation Dynamics. [Citation Graph (0, 0)][DBLP]
    CIA, 2007, pp:27-35 [Conf]
    
17. Koen V. Hindriks, John-Jules Ch. Meyer
    Agent Logics as Program Logics: Grounding KARO. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:404-418 [Conf]
    
18. Koen V. Hindriks, Stijn Hoppenbrouwers, Catholijn M. Jonker, Dmytro Tykhonov
    Automatic Issue Extraction from a Focused Dialogue. [Citation Graph (0, 0)][DBLP]
    NLDB, 2007, pp:204-216 [Conf]
    
19. 
    Opponent modelling in automated multi-issue negotiation using Bayesian learning. [Citation Graph (, )][DBLP]
    
    
20. 
    Using opponent models for efficient negotiation. [Citation Graph (, )][DBLP]
    
    
21. 
    Agent programming with temporally extended goals. [Citation Graph (, )][DBLP]
    
    
22. 
    Reasoning about multi-attribute preferences. [Citation Graph (, )][DBLP]
    
    
23. 
    Genius: negotiation environment for heterogeneous agents. [Citation Graph (, )][DBLP]
    
    
24. 
    Formalizing organizational constraints: a semantic approach. [Citation Graph (, )][DBLP]
    
    
25. 
    Towards an Open Negotiation Architecture for Heterogeneous Agents. [Citation Graph (, )][DBLP]
    
    
26. 
    Model Checking Agent Programs by Using the Program Interpreter. [Citation Graph (, )][DBLP]
    
    
27. 
    Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. [Citation Graph (, )][DBLP]
    
    
28. 
    Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. [Citation Graph (, )][DBLP]
    
    
29. 
    Satisfying Maintenance Goals. [Citation Graph (, )][DBLP]
    
    
30. 
    Programming Organization-Aware Agents. [Citation Graph (, )][DBLP]
    
    
31. 
    Negotiation Dynamics: Analysis, Concession Tactics, and Outcomes. [Citation Graph (, )][DBLP]
    
    
32. 
    The Benefits of Opponent Models in Negotiation. [Citation Graph (, )][DBLP]
    
    
33. 
    Towards a Verification Framework for Communicating Rational Agents. [Citation Graph (, )][DBLP]
    
    
34. 
    Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. [Citation Graph (, )][DBLP]
    
    
35. 
    GOAL as a Planning Formalism. [Citation Graph (, )][DBLP]
    
    
36. 
    Do You Get It? User-Evaluated Explainable BDI Agents. [Citation Graph (, )][DBLP]
    
    
37. 
    An Empirical Study of Agent Programs. [Citation Graph (, )][DBLP]
    
    
38. 
    Exploring Heuristic Action Selection in Agent Programming. [Citation Graph (, )][DBLP]
    
    
39. 
    Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. [Citation Graph (, )][DBLP]
    
    
40. 
    Toward a programming theory for rational agents. [Citation Graph (, )][DBLP]