If you made any changes in Pure these will be visible here soon.

Research Output 1998 2019

Filter
Chapter
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

Robot
Robots
Robot applications
Dilemma
Ethics
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

Computer programming languages
Multi agent systems
Planets
Computer programming
Software engineering

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

Feedback
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

Experiments

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

Logic
Formal logic
Computer programming languages
Specifications
Programming Languages

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

Autonomous agents
Multi agent systems
Experiments
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

Computer programming languages

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

Experiments