The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Koen V. Hindriks: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.032secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002