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

Research Output 1998 2019

Filter
Conference contribution
2013

Mood expression through parameterized functional behavior of robots

Xu, J., Broekens, J., Hindriks, K. & Neerincx, M. A., 11 Dec 2013, 22nd IEEE International Symposium on Robot and Human Interactive Communication: "Living Together, Enjoying Together, and Working Together with Robots!", IEEE RO-MAN 2013. p. 533-540 8 p. 6628534

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Robots
Human robot interaction
Concretes

Multi-cycle query caching in agent programming

Alechina, N., Behrens, T., Dastani, M., Hindriks, K., Hübner, J. F., Logan, B., Nguyen, H. & Van Zee, M., 1 Dec 2013, Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013. p. 32-38 7 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Computer programming
Computer programming languages
Knowledge representation
Costs
Experiments

Predicting the performance of opponent models in automated negotiation

Baarslag, T., Hendrikx, M., Hindriks, K. & Jonker, C., 1 Jan 2013, Proceedings - 2013 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2013. ACM, IEEE Computer Society, Vol. 2. p. 59-66 8 p. 6690771

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Query caching in agent programming languages

Alechina, N., Behrens, T., Hindriks, K. V. & Logan, B., 5 Sep 2013, Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Revised Selected Papers. p. 123-137 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7837 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Caching
Computer programming languages
Programming Languages
Query
Knowledge representation

Reasoning about Interest-Based Preferences

Visser, W., Hindriks, K. V. & Jonker, C. M., 1 Jan 2013, Agents and Artificial Intelligence - Third International Conference, ICAART 2011, Revised Selected Papers. Springer/Verlag, p. 115-130 16 p. (Communications in Computer and Information Science; vol. 271).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Decision making

Robot learning and use of affordances in goal-directed tasks

Wang, C., Hindriks, K. V. & Babuska, R., 1 Dec 2013, IROS 2013: New Horizon, Conference Digest - 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 2288-2294 7 p. 6696676

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Robot learning
Robots
Reinforcement learning
Classifiers

The relative importance and interrelations between behavior parameters for robots' mood expression

Xu, J., Broekens, J., Hindriks, K. & Neerincx, M. A., 1 Dec 2013, Proceedings - 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, ACII 2013. p. 558-563 6 p. 6681489

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Robots
Human robot interaction
Modulation
Concretes
2012

A framework for qualitative multi-criteria preferences

Visser, W., Aydoǧan, R., Hindriks, K. V. & Jonker, C. M., 15 Jun 2012, ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence. Vol. 1. p. 243-248 6 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

An argumentation framework for qualitative multi-criteria preferences

Visser, W., Hindriks, K. V. & Jonker, C. M., 16 Apr 2012, Theory and Applications of Formal Argumentation - First International Workshop, TAFA 2011, Revised Selected Papers. p. 85-98 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7132 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Argumentation
Multi-criteria
Specifications
Multiple Criteria
Cardinality

An empirical study of patterns in agent programs

Hindriks, K. V., Van Riemsdijk, M. B. & Jonker, C. M., 1 Dec 2012, Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Revised Selected Papers. p. 196-211 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7057 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Empirical Study
Programming
Computer programming languages
Programming Languages
Best Practice

An interface for agent-environment interaction

Behrens, T., Hindriks, K. V., Bordini, R. H., Braubach, L., Dastani, M., Dix, J., Hübner, J. F. & Pokahr, A., 9 Apr 2012, Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Revised Selected Papers. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6599 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Interaction
Heterogeneous Agents
Agent Systems
Heterogeneous Systems
Testbed

Debugging is explaining

Hindriks, K. V., 1 Dec 2012, PRIMA 2012: Principles and Practice of Multi-Agent Systems - 15th International Conference, Proceedings. p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7455 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Debugging
Defects
Programming
Logic
Evaluation

HactarV2: An agent team strategy based on implicit coordination

Dekker, M., Hameete, P., Hegemans, M., Leysen, S., Van Den Oever, J., Smits, J. & Hindriks, K. V., 15 Aug 2012, Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Revised Selected Papers. p. 173-184 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7217 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Mars
Strategy
Multi agent systems
Multi-agent Systems
Game

Learning Classifier System on a humanoid NAO robot in dynamic environments

Wang, C., Wiggers, P., Hindriks, K. & Jonker, C. M., 1 Dec 2012, 2012 12th International Conference on Control, Automation, Robotics and Vision, ICARCV 2012. p. 94-99 6 p. 6485140

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Classifiers
Robots
Reinforcement learning
Data storage equipment

Measuring the performance of online opponent models in automated bilateral negotiation

Baarslag, T., Hendrikx, M., Hindriks, K. & Jonker, C., 26 Dec 2012, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Proceedings. p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7691 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model
Modeling
Real-time
Evaluate
Learning

Multi-attribute preference logic

Hindriks, K. V., Visser, W. & Jonker, C. M., 1 Dec 2012, Principles and Practice of Multi-Agent Systems - 13th International Conference, PRIMA 2010, Revised Selected Papers. p. 181-195 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7057 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Attribute
Logic
Ranking
Multi-modal Logic
Property of set

Reinforcement learning as heuristic for action-rule preferences

Broekens, J., Hindriks, K. & Wiggers, P., 9 Apr 2012, Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Revised Selected Papers. p. 25-40 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6599 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Reinforcement learning
Reinforcement Learning
Heuristics
Priority Rules
Mutually exclusive

State space reduction for model checking agent programs

Jongmans, S. S. T. Q., Hindriks, K. V. & Van Riemsdijk, M. B., 15 Aug 2012, Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Revised Selected Papers. p. 133-154 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7217 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
State Space
Computer programming languages
Programming Languages

The icat as a natural interaction partner: Playing go fish with a Robot

Hindriks, K., Neerincx, M. A. & Vink, M., 23 Jan 2012, Advanced Agent Technology - AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Revised Selected Papers. p. 212-231 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7068 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fish
Robot
Robots
Interaction
Mood

Value-sensitive design patterns for pervasive health care

Detweiler, C. & Hindriks, K., 1 Jun 2012, 2012 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2012. p. 908-913 6 p. 6197643

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Health care
Ubiquitous computing
Aging of materials
2011

An argumentation framework for deriving qualitative risk sensitive preferences

Visser, W., Hindriks, K. V. & Jonker, C. M., 25 Jul 2011, Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Proceedings. PART 2 ed. p. 556-565 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6704 LNAI, no. PART 2).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Argumentation
Reasoning
Attribute
Knowledge
Framework

Interest-based preference reasoning

Visser, W., Hindriks, K. V. & Jonker, C. M., 14 Jul 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1. p. 79-88 10 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Decision making

Principles for value-sensitive agent-oriented software engineering

Detweiler, C., Hindriks, K. & Jonker, C., 20 Oct 2011, Agent-Oriented Software Engineering XI - 11th International Workshop, AOSE 2010, Revised Selected Papers. p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6788 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Agent-oriented Software Engineering
Software engineering
Design Method
Software Design
Software design

Towards a computational model of the self-attribution of agency

Hindriks, K., Wiggers, P., Jonker, C. & Haselager, W., 25 Jul 2011, Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Proceedings. PART 1 ed. p. 295-305 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6703 LNAI, no. PART 1).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Computational Model
Test Theory
Causation
Bayesian Networks
Circuit theory

Towards a quantitative concession-based classification method of negotiation strategies

Baarslag, T., Hindriks, K. & Jonker, C., 28 Nov 2011, Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Proceedings. p. 143-158 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7047 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Automated Negotiation
Thing
Strategy
Classify

Unreal goal bots: Conceptual design of a reusable interface

Hindriks, K. V., Van Riemsdijk, B., Behrens, T., Korstanje, R., Kraayenbrink, N., Pasman, W. & De Rijk, L., 8 Feb 2011, Agents for Games and Simulations II - Trends in Techniques, Concepts and Design. p. 1-18 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6525 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Conceptual Design
Conceptual design
Tournament
Real-time
Game
2010

A computational semantics for communicating rational agents based on mental models

Hindriks, K. V. & Van Riemsdijk, M. B., 13 Dec 2010, Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Revised Selected Papers. p. 31-48 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5919 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Mental Models
Semantics
Multi agent systems
Multi-agent Systems
Communication

Approximating the Qualitative Vickrey auction by a negotiation protocol

Hindriks, K. V., Tykhonov, D. & De Weerdt, M., 1 Jan 2010, Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets - IJCAI Workshop, TADA 2009, Selected and Revised Papers. Springer/Verlag, p. 44-57 14 p. (Lecture Notes in Business Information Processing; vol. 59 LNBIP).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Auctions
Vickrey auction
Negotiation protocol

Argumentation-based preference modelling with incomplete information

Visser, W., Hindriks, K. V. & Jonker, C. M., 15 Dec 2010, Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Revised Selected and Invited Papers. p. 141-157 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6214 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Preference Modelling
Argumentation
Incomplete Information
Decision support systems
Decision Support Systems

Do you get it? User-evaluated explainable BDI agents

Broekens, J., Harbers, M., Hindriks, K., Van Den Bosch, K., Jonker, C. & Meyer, J. J., 8 Nov 2010, Multiagent System Technologies - 8th German Conference, MATES 2010, Proceedings. p. 28-39 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6251 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Autonomous agents
Disasters
Feedback
Chemical analysis
Experiments

Formalizing organizational constraints: A semantic approach

Van Riemsdijk, M. B., Hindriks, K. V., Jonker, C. M. & Sierhuis, M., 1 Jan 2010, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 823-830 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Semantics
Temporal logic
Specifications
Modeling languages

Model checking agent programs by using the program interpreter

Jongmans, S. S. T. Q., Hindriks, K. V. & Van Riemsdijk, M. B., 17 Sep 2010, Computational Logic in Multi-Agent Systems - 11th International Workshop, CLIMA XI, Proceedings. p. 219-237 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6245 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Program interpreters
Model checking
Model Checking
State Space
Maude

Towards a quality assessment method for learning preference profiles in negotiation

Hindriks, K. V. & Tykhonov, D., 1 Jan 2010, Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis - AAMAS Workshop, AMEC 2008, and AAAI Workshop, TADA 2008, Revised Selected Papers. Springer/Verlag, p. 46-59 14 p. (Lecture Notes in Business Information Processing; vol. 44 LNBIP).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Quality Assessment
Learning
Profile
Quality assessment
Automated Negotiation
2009

Agent programming with temporally extended goals

Hindriks, K. V., Van Der Hoek, W. & Van Riemsdijk, M. B., 1 Jan 2009, 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 110-117 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Artificial intelligence
Computer programming languages
Temporal logic
Intelligent agents
Decision making

An empirical study of agent programs a dynamic blocks world case study in goal

Van Riemsdijk, M. B. & Hindriks, K. V., 1 Dec 2009, Principles of Practice in Multi-Agent Systems - 12th International Conference, PRIMA 2009, Proceedings. p. 200-215 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5925 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Empirical Study
Programming
Computer programming languages
Programming Languages
Best Practice

Combining multiple knowledge representation technologies into agent programming languages

Dastani, M. M., Hindriks, K. V., Novák, P. & Tinnemeier, N. A. M., 4 Feb 2009, Declarative Agent Languages and Technologies VI - 6th International Workshop, DALT 2008, Revised Selected and Invited Papers. p. 60-74 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5397 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Knowledge representation
Knowledge Representation
Computer programming languages
Programming Languages

Exploring heuristic action selection in agent programming

Hindriks, K. V., Jonker, C. M. & Pasman, W., 28 Sep 2009, Programming Multi-Agent Systems - 6th International Workshop, ProMAS 2008, Revised Invited and Selected Papers. p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5442 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Computer programming
Programming
Computer programming languages
Heuristics
Specifications

Genius - Negotiation environment for heterogeneous agents

Hindriks, K., Jonker, C. M., Kraus, S., Lin, R. & Tykhonov, D., 1 Jan 2009, 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1425-1426 2 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Graphical user interfaces
Specifications
Experiments

GOAL as a planning formalism

Hindriks, K. V. & Roberti, T., 2 Nov 2009, Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings. p. 29-40 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5774 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Planning
Computer programming languages
Programming Languages
Programming
Complex Dynamics

Programming organization-aware agents a research agenda

Van Riemsdijk, M. B., Hindriks, K. & Jonker, C., 1 Dec 2009, Engineering Societies in the Agents World X - 10th International Workshop, ESAW 2009, Proceedings. p. 98-112 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5881 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Programming
Reasoning
Norm
Multi agent systems
Computer programming languages

Reasoning about multi-attribute preferences

Hindriks, K., Jonker, C. & Visser, W., 1 Jan 2009, 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1252-1253 2 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

The benefits of opponent models in negotiation

Hindriks, K., Jonker, C. M. & Tykhonov, D., 1 Dec 2009, Proceedings - 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009. Vol. 2. p. 439-444 6 p. 5285138

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Towards a verification framework for communicating rational agents

Bulling, N. & Hindriks, K. V., 2 Nov 2009, Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings. p. 177-182 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5774 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Semantics
Logic
Modal Logic
Computer programming languages
Programming Languages

Using opponent models for efficient negotiation

Hindriks, K., Jonker, C. & Tykhonov, D., 1 Jan 2009, 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1238-1239 2 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Mirrors

Using temporal logic to integrate goals and qualitative preferences into agent programming

Hindriks, K. V. & Van Riemsdijk, M. B., 4 Feb 2009, Declarative Agent Languages and Technologies VI - 6th International Workshop, DALT 2008, Revised Selected and Invited Papers. p. 215-232 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5397 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Temporal logic
Temporal Logic
Programming
Integrate
Choose
2008

Approximating an auction mechanism by multi-issue negotiation

Hindriks, K., Tykhonov, D. & De Weerdt, M., 1 Dec 2008, HUCOM 2008 - 1st International Working Conference on Human Factors and Computational Models in Negotiation. p. 33-38 6 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

auction
Experiments
experiment
guarantee
market

Compiling GOAL agent programs into Jazzyk behavioural state machines

Hindriks, K. & Novák, P., 27 Nov 2008, Multiagent System Technologies - 6th German Conference, MATES 2008, Proceedings. p. 86-98 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5244 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

State Machine
Computer programming languages
Software agents
Programming Languages
Software Agents

Creating human-machine synergy in negotiation support systems: Towards the pocket negotiator

Hindriks, K. V. & Jonker, C. M., 1 Dec 2008, HUCOM 2008 - 1st International Working Conference on Human Factors and Computational Models in Negotiation. p. 47-54 8 p.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

synergy
Artificial intelligence
Computational complexity
Decision making
Semantics

GOAL agents instantiate intention logic

Hindriks, K. & Van Der Hoek, W., 2 Dec 2008, Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. p. 232-244 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5293 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Logic
Model checking
Expressiveness
Modal Logic
Model Checking

Modules as policy-based intentions: Modular agent programming in GOAL

Hindriks, K., 26 May 2008, Programming Multi-Agent Systems - 5th International Workshop, ProMAS 2007, Revised and Invited Papers. p. 156-171 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4908 LNAI).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Programming
Module
Structured programming
Reusability
Computer programming