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

Research Output 1998 2019

Filter
Conference contribution
2008

Negotiation dynamics: Analysis, concession tactics, and outcomes

Hindriks, K., Jonker, C. M. & Tykhonov, D., 28 May 2008, Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007. p. 427-433 7 p. 4407323

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

Dynamic analysis

Opponent modelling in automated multi-issue negotiation using bayesian learning

Hindriks, K. & Tykhonov, D., 1 Jan 2008, 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 326-333 8 p.

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

Approximation algorithms
Learning algorithms
Scalability
Topology
Availability

Satisfying maintenance goals

Hindriks, K. V. & Van Riemsdijk, M. B., 27 Aug 2008, Declarative Agent Languages and Technologies V - 5th International Workshop, DALT 2007, Revised Selected and Invited Papers. p. 86-103 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4897 LNAI).

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

Maintenance
Look-ahead
Semantics
Formal Semantics

Towards an open negotiation architecture for heterogeneous agents

Hindriks, K. V., Jonker, C. & Tykhonov, D., 25 Dec 2008, Cooperative Information Agents XII - 12th International Workshop, CIA 2008, Proceedings. p. 264-279 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5180 LNAI).

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

Heterogeneous Agents
System Architecture
Internal
Open Architecture
Architecture
2007

Agent logics as program logics: Grounding KARO

Hindriks, K. V. & Meyer, J. J. C., 29 Oct 2007, KI 2006: Advances in Artificial Intelligence - 29th Annual German Conference on AI, KI 2006, Proceedings. Vol. 4314 LNAI. p. 404-418 15 p.

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

Electric grounding
Logic Programs
Logic
Semantics
Computer programming languages

Analysis of negotiation dynamics

Hindriks, K., Jonker, C. M. & Tykhonov, D., 24 Dec 2007, Cooperative Information Agents XI - 11th International Workshop, CIA 2007, Proceedings. p. 27-35 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4676 LNAI).

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

Automated Negotiation
Perception
Human

Automatic issue extraction from a focused dialogue

Hindriks, K. V., Hoppenbrouwers, S., Jonker, C. M. & Tykhonov, D., 1 Dec 2007, Natural Language Processing and Information Systems - 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Proceedings. p. 204-216 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4592 LNCS).

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

Natural Language
Domain Model
Pattern matching
Experiments
Parsing
2006

Eliminating interdependences between issues for multi-issue negotiation

Hindriks, K., Jonker, C. M. & Tykhonov, D., 1 Jan 2006, Cooperative Information Agents X - 10th International Workshop, CIA 2006. Proceedings. Springer/Verlag, p. 301-316 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4149 LNAI).

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

Testing
Costs
Weighted Approximation
Mediator
Computational Cost
2002

A programming language for coordinating group actions

de Vries, W., de Boer, F. S., Hindriks, K. V., van der Hoek, W. & Meyer, J. J. C., 1 Jan 2002, From Theory to Practice in Multi-Agent Systems - 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Revised Papers. Dunin-Keplicz, B. & Nawarecki, E. (eds.). Springer/Verlag, p. 313-321 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2296).

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

Group Action
Computer programming languages
Programming Languages
Multi agent systems
Group Communication
2001

Agent programming with declarative goals

Hindriks, K. V., De Boer, F. S., Van Der Hoek, W. & Meyer, J. J. C., 1 Dec 2001, Intelligent Agents VII: Agent Theories Architectures and Languages - 7th International Workshop, ATAL 2000, Proceedings. p. 228-243 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1986 LNAI).

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

Programming
Logic
Proof Theory
Logic programming
Logic Programming

A programming logic for part of the agent language 3APL

Hindriks, K. V., de Boer, F. S., van der Hoek, W. & Meyer, J. J. C., 1 Jan 2001, Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. Gordon, D., Rash, J. L., Truszkowski, W., Hinchey, M. G. & Rouff, C. A. (eds.). Springer/Verlag, p. 78-89 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1871).

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

Logic programming
Logic Programming
Semantics
Operational Semantics
Intelligent agents
2000

A formal architecture for the 3APL agent programming language

d'inverno, M., Hindriks, K. & Luck, M., 1 Jan 2000, ZB 2000: Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, Proceedings. Galloway, A., King, S., Bowen, J. P. & Dunne, S. (eds.). Springer/Verlag, p. 168-187 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1878).

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

Intelligent agents
Computer programming languages
Programming Languages
Large scale systems
Semantics
1999

Control structures of rule-based agent languages

Hindriks, K. V., de Boer, F. S., van der Hoek, W. & Meyer, J. J. C., 1 Jan 1999, Intelligent Agents V: Agents Theories, Architectures, and Languages - 5th International Workshop, ATAL 1998, Proceedings. Müller, J. P., Singh, M. P. & Rao, A. S. (eds.). Springer/Verlag, p. 381-396 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1555).

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

Program interpreters
Computer programming languages
Semantics
Intelligent agents
Computer programming
1998

A formal embedding of agentspeak(L) in 3APL

Hindriks, K. V., de Boer, F. S., van der Hoek, W. & Meyer, J. J. C., 1 Jan 1998, Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artificial Intelligence, AI 1998, Selected Papers. Antoniou, G. & Slaney, J. (eds.). Springer/Verlag, p. 155-166 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1502).

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

Semantics
Formal Semantics
Operational Semantics
Expressive Power
Computer programming languages

Formal semantics for an abstract agent programming language

Hindriks, K. V., de Boer, F. S., van der Hoek, W. & Meyer, J. J. C., 1 Jan 1998, Intelligent Agents IV: Agent Theories, Architectures, and Languages - 4th International Workshop, ATAL 1997, Proceedings. Singh, M. P., Rao, A. & Wooldridge, M. J. (eds.). Springer/Verlag, p. 215-229 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1365).

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

Formal Semantics
Computer programming languages
Programming Languages
Semantics
Programming