home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. K.V. Hindriks

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. K.V. Hindriks

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2012). GOAL Agents Instantiate Intention Logic. In A. Artikis, R. Craven, N.K. Cicekli, B. Sadighi & K. Stathis (Eds.), Logic Programs, Norms and Action (Sergot Festschrift) Vol. 7360. Lecture Notes in Artificial Intelligence (pp. 196-219). Heidelberg: Springer.

Behrens, T., Dix, J., Hindriks, K.V., Dastani, M.M., Bordini, R.H., Hubner, J., Pokahr, A. & Braubach, L. (2010). An Interface for Agent-Environment Interaction. In ProMAS10.

Dastani, M.M., Hindriks, K.V. & Meyer, J-J.Ch. (Eds.). (2010). Chapter 16 in Epistemic Logic: 5 Questions (V.F. Hendricks & O. Roy, eds. New York / London, 2010: Automatic Press, VIP.

Broekens, J., Harbers, M., Hindriks, K.V., Van den Bosch, K., Jonker, C.M. & Meyer, J-J.Ch. (2010). Do you get it? User-evaluated explainable BDI agents. In Proceedings of MATES 2010.

Hindriks, K.V. & Meyer, J-J.Ch. (2009). Toward a Programming Theory for Rational Agents. In FAMAS 2006 Vol. 19. Journal of Autonomous Agents & Multi-Agent Systems (pp. 4-29).

Dastani, M.M., Hindriks, K.V., Novak, P. & Tinnemeier, N.A.M. (2008). Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. In Proceedings of the workshop on Declarative Agent Languages and Technologies (DALT'08).

Hindriks, K.V. & Meyer, J-J.Ch. (2007). Agent Logics as Program Logics: Grounding KARO. In C. Freksa, M. Kohlhase & K. Schill (Eds.), 29th Annual German Conference on AI, KI 2006 Vol. 4314. Lecture Notes in Artificial Intelligence (pp. 404-418). Berlin: Springer.

Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2007). Agent Programming with Declarative Goals. Journal of Applied Logic, 5, 277-302.

Hindriks, K.V. & Meyer, J-J.Ch. (2006). An Agent Program Logic with Declarative Goals. In B. Dunin- Keplicz & R. Verbrugge (Eds.), Proc. FAMAS06 ECAI2006 Workshop on Formal Aspects of Multi-Agent Systems (pp. 1-15).

Hindriks, K.V. & Meyer, J-J.Ch. (2006). Agent Logics as Program Logics: Grounding KARO. In M. Kohlhase & C. Freksa (Eds.), Preproceedings of KI 2006.

Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2002). A Programming Language for Coordinating Group Actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), From Theory to Practice in Multi-Agent (pp. 313-321). Berlin, Germany: Springer-Verlag.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). A Programming Logic for part of the Agent Language 3APL. In J.L. Rash & e.a. (Eds.), Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (pp. 78-89). Berlin, Germany: Springer-Verlag.

Vries, W. de, Boer, F.S. de, Hindriks, K.V., Hoek, W. van der & Meyer, J-J.Ch. (2001). A programming language for coordinating group actions. In B. Dunin-Keplicz & E. Nawarecki (Eds.), Proceedings of the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems (pp. 297-304). Krakow, Poland.

Vries, W. de, Hindriks, K.V., Hoek, W. van der, Meyer, J-J.Ch. & Boer, F.S. de (2001). A programming language for coordinating group actions. In B. Krose, M. de Rijke, G. Schreiber & M. van Someren (Eds.), Proceedings of the 13th Belgium-Netherlands Conference on Artificial Intelligence (pp. 267-274).

Hindriks, K.V. (2001, February 5). Agent Programming Languages: Programming with Mental Models. Utrecht University (245 pag.) (Utrecht, the Netherlands: Utrecht University). Prom./coprom.: prof. dr. J-J.Ch. Meyer, dr. F.S. de Boer & dr. W. van der Hoek.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Agent programming with declarative goals. In C. Castel Franchi & Y. Lesperance (Eds.), Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL) (pp. 228-243). Berlin, Germany: Springer-Verlag.

Hindriks, K.V., Lesperance, Y. & Levesque, H. (2000). An embedding of ConGolog in 3APL. (UU-CS2000-13 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000, September 19). GOAL: Goal Oriented Agent Language (invited talk). Londen, Practical Reasoning Workshop, satellite evente at FAPR2000.

Meyer, J-J.Ch., Boer, F.S. de, Eijk, R.M. van, Hindriks, K.V. & Hoek, W. van der (2000). On Programming KARO Agents. In J. Cunningham & D. Gabbay (Eds.), Proc. Int. Conf. on Formal and Applied Practical Reasoning (FAPR2000). London: Imperial College.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Semantics of Communicating Agents Based on Deduction and Abduction. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (pp. 63-79). Berlin: Springer Verlag.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Agent Programming in 3APL. In Int. J. of Autonomous Agents and Multi-Agent Systems 2(4) (pp. 357-401).

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). An operational semantics for the single agent core of AGENT0. (UU-CS1999-30 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Control Structures of Rule-Based Agent Languages. In J.P. Müller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V (Agent Theories, Architectures and Languages) (pp. 381-396). Berlin: Springer.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Semantics of communicating agents based on deduction and abduction. (UU-CS1999-09 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A formal embedding of AgentSpeak(L) in 3APL. (UU-CS1998-07 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A formal embedding of agenspeak(l) in 3apl. In G. Antoniou & J. Slaney (Eds.), Advanced Topics in Artificial Intelligence (pp. 155-166). Berlin, Germany: Springer-Verlag.

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Failure, monitoring and recovery in the agent language 3APL. In G. De Giacomo (Ed.), AAAI 1998 Fall Symposium on Cognitive Robotics (pp. 68-75).

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Formal semantics for an abstract agent programming language. In M.P. Singh, A. Rao & M.J. Wooldridge (Eds.), Intelligent Agents IV (pp. 216-229). Berlin, Germany: Springer-Verlag.

Hindriks, K.V., Boer, F.S. de & Hoek, W. van der (1998). Formal semantics of the core of agent-0. In J. Bell (Ed.), ECAI'98 Workshop on Practical Reasoning and Rationality (pp. 20-29).

Hindriks, K.V., Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). Formal Semantics for an Abstract Agent Programming Language. In Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL).

Hindriks, K.V. (1996). On deciding what to do next. In J.J.Ch. Meyer & L. van der Gaag (Eds.), Proceedings of the 8th Dutch Conference on Artificial Intelligence (NAIC'96) (pp. 191-203). Utrecht, the Netherlands: Utrecht University.