Filter
Chapter

Search results

  • 2017

    Exploring the ethical landscape of robot-assisted Search and Rescue

    Harbers, M., de Greeff, J., Kruijff-Korbayová, I., Neerincx, M. A. & Hindriks, K. V., 1 Jan 2017, Intelligent Systems, Control and Automation: Science and Engineering. Kluwer Academic Publishers, p. 93-107 15 p. (Intelligent Systems, Control and Automation: Science and Engineering; vol. 84).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2014

    GOAL: A multi-agent programming language applied to an exploration game

    Hindriks, K. V. & Dix, J., 1 Feb 2014, Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks. Springer Berlin Heidelberg, Vol. 9783642544323. p. 235-258 24 p.

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Multilateral mediated negotiation protocols with feedback

    Aydoğan, R., Hindriks, K. V. & Jonker, C. M., 1 Jan 2014, Studies in Computational Intelligence. Springer/Verlag, p. 43-59 17 p. (Studies in Computational Intelligence; vol. 535).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2013

    Acceptance conditions in automated negotiation

    Baarslag, T., Hindriks, K. & Jonker, C., 1 Jan 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer/Verlag, p. 95-111 17 p. (Studies in Computational Intelligence; vol. 435).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • A tit for tat negotiation strategy for real-time bilateral negotiations

    Baarslag, T., Hindriks, K. & Jonker, C., 1 Jan 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer/Verlag, p. 229-233 5 p. (Studies in Computational Intelligence; vol. 435).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Heuristic-based approaches for CP-Nets in negotiation

    Aydoǧan, R., Baarslag, T., Hindriks, K. V., Jonker, C. M. & Yolum, PI., 1 Jan 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer/Verlag, p. 113-123 11 p. (Studies in Computational Intelligence; vol. 435).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • The Second Automated Negotiating Agents Competition (ANAC2011)

    Fujita, K., Ito, T., Baarslag, T., Hindriks, K., Jonker, C., Kraus, S. & Lin, R., 1 Jan 2013, Complex Automated Negotiations: Theories, Models, and Software Competitions. Springer/Verlag, p. 183-197 15 p. (Studies in Computational Intelligence; vol. 435).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2012

    GOAL agents instantiate intention logic

    Hindriks, K. V., Van Der Hoek, W. & Meyer, J. J. C., 21 May 2012, Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Artikis, A., Craven, R., Cicekli, N. K., Sadighi, B. & Stathis, K. (eds.). p. 196-219 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7360 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • The first automated negotiating agents competition (ANAC 2010)

    Baarslag, T., Hindriks, K., Jonker, C., Kraus, S. & Lin, R., 1 Jan 2012, New Trends in Agent-Based Complex Automated Negotiations. Ito, T., Zhang, M., Robu, V., Fatima, S. & Matsuo, T. (eds.). p. 113-135 23 p. (Studies in Computational Intelligence; vol. 383).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2010

    A verification logic for goal agents

    Hindriks, K. V., 1 Dec 2010, Specification and Verification of Multi-agent Systems. Springer US, p. 225-254 30 p.

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Supporting the design of general automated negotiators

    Lin, R., Kraus, S., Tykhonov, D., Hindriks, K. & Jonker, C. M., 3 Nov 2010, Innovations in Agent-Based Complex Automated Negotiations. Ito, T. (ed.). p. 69-87 19 p. (Studies in Computational Intelligence; vol. 319).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review