K.V. Hindriks, JJC Meyer (2007), Agent logics and program logics: grounding KARO, In C Freksa, M Kohlhase, K Schill (Eds.), KI2006 Advances in artificial intelligence, pp. 404-418, Springer.

K.V. Hindriks, C.M. Jonker, D Tykhonov (2007), Analysis of negotiation dynamics, In M Klusch, K Hindriks, MP Papazoglou, L Sterling (Eds.), Cooperative information agents XI, pp. 27-35, Springer.

K.V. Hindriks, S Hoppenbrouwers, C.M. Jonker, D Tykhonov (2007), Automatic issue extraction from a focused dialogue, In Z Kedad, N Lammari, E Metais, F Meziane, Y Rezgui (Eds.), Natural language processing and information systems, pp. 204-216, Springer.

K.V. Hindriks, J Vromans (2007), Design and evaluation of formal representations: an incremental approach using logic grid puzzles, In J Geertzen, E Thijsse, H Bunt, A Schiffrin (Eds.), Seventh international workshop on computational semantics IWCS-7, pp. 334-337, Tilburg University, Department of communication and information sciences.

K.V. Hindriks, C.M. Jonker, D Tykhonov (2007), Negotiation dynamics: analysis, consession tactics, and outcomes, In TY Lin, JM Bradshaw, M Klusch, C Zhang, A Broder, H Ho (Eds.), IEEE/WIC/ACM international conference on intelligent agent technology, pp. 427-433, IEEE.

K.V. Hindriks (2007), Satisfying maintenance goals, In JG Carbonell, J Siekmann (Eds.), 5th international workshop, DALT 2007, pp. 1-18, Springer.

FS de Boer, K.V. Hindriks, W van der Hoek, JJCh Meyer (2006), A verification framework for agent programming with declarative goals, In Journal of Applied Logic, pp. 1-26.

K.V. Hindriks, JJC Meyer (2006), An agent program logic with declarative goals, In PY Schobbens, W Vanhoof, G Schwanen (Eds.), BNAIC 2006, pp. 385-386, University of Namur.

K.V. Hindriks, C.M. Jonker, D Tykhonov (2006), Eliminating interdependencies between issues for multi-issue negotiation, In M Klusch, M Rovatsos, TR Payne (Eds.), Cooperative information agents x, pp. 301-316, Springer.

K.V. Hindriks, C.M. Jonker, D Tykhonov (2006), Multi-issue negotiation, In M Klusch, M Rovatsos, TR Payne (Eds.), Proceedings Cooperative information agents x, pp. 301-316, Springer.