Horsch, C., Brinkman, W.-P., Eijk, R.M. van & Neerincx, M.A. (2012). Towards the usage of persuasive strategies in a virtual sleep coach: a literature review. In Proceedings of UKHCI 2012 Workshop on People, Computers & Psychotherapy.
|
Eijk, R.M. van (2011). Ayurveda for agents: an attempt to bring the sciences of natural and artificial intelligence closer together. The knowledge engineering review, 26(1), 31-33.
|
Eijk, R.M. van & Beun, R.J. (2009, March 16). Dialogue Coherence. University of Liverpool, Workshop on Knowledge, Rationality & Action.
|
Diggelen, J. van, Beun, R.J., Eijk, R.M. van & Werkhoven, P.J. (2009). Efficient Semantic Information Exchange for Ambient Intelligence. The Computer Journal.
|
Oostendorp, H. van, Beun, R.J., Diggelen, J. van, Eijk, R.M. van, Houtkamp, J.M., Prüst, H.H.A.M., Puerta Melguizo, M.C., Spek, E.D. van der & Wouters, P.J.M. (2009). Human-Media Interaction. In H.L Bodlaender, W. Duivesteijn & C.J. Nijenhuis (Eds.), Fascination for Computation. 25 jaar Opleiding Informatica (pp. 199-216). Utrecht: Faculty of Science, UItrecht University.
|
Terpstra, A., Velzen, C. van, Beun, R.J. & Eijk, R.M. van (2009). Transcriptierapport Helpdeskgesprekken. (techreport UU-CS-2009-002). onbekend: UU WINFI Informatica en Informatiekunde.
|
Diggelen, J. van, Beun, R.J., Eijk, R.M. van & Werkhoven, P.J. (2008). Agent Communication in Ubiquitous Computing: the Ubismart Approach. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (pp. 813-820). ACM Press.
|
Diggelen, J. van, Beun, R.J., Eijk, R.M. van & Werkhoven, P.J. (2008). Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling. In Proceedings of the 7th International Workshop on Task Models and Diagrams (TAMODIA 2008) Vol. 5247. Lecture Notes in Computer Science (pp. 72-83). Berlin: Springer Verlag.
|
Diggelen, J. van, Beun, R.J., Eijk, R.M. van & Werkhoven, P.J. (2008). Modeling Decentralized Information Flow in Ambient Environments. In Carsten.Rudolph Antonio Mana (Ed.), Developing Ambient Intelligence, Proceedings of the second international conference on Ambient Intelligence Developments (AmI.d'07) (pp. 23-33). France, Paris: Springer Verlag.
|
Prüst, H.H.A.M., Beun, R.J. & Eijk, R.M. van (2008, June 13). On alignment of eye behaviour in human-agent interaction. Maastricht, 1st Int. Conf. on Human-Robot Personal Relationships.
|
Prüst, H.H.A.M., Beun, R.J. & Eijk, R.M. van (2008). On the alignment of eye behaviour in human-agent interaction. (UU-CS 2008-039). onbekend: UU WINFI Informatica en Informatiekunde.
|
Beun, R.J. & Eijk, R.M. van (2007). Conceptual alignment in human-computer dialogue. In M.M. Dastani & E. de Jong (Eds.), Proceedings of the Nineteenth Belgium/Netherlands Artificial Intelligence Conference (pp. 309-310). Utrecht: Universiteit Utrecht.
|
Beun, R.J. & Eijk, R.M. van (2007, November 5). Conceptual alignment in human-computer dialogue: a computational approach. Utrecht, BNAIC'07.
|
Beun, R.J. & Eijk, R.M. van (2007). Dialogue Coherence: A Generation Framework. Journal of logic, language and information, 16, 365-385.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2007). Ontology Negotiation in Heterogeneous Multi-agent Systems: the ANEMONE System. Applied Ontology, 2(3-4), 267-303.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2007). Ontology Negotiation: Goals, Requirements and Implementation. International Journal of Agent-oriented Software Engineering, 1(1), 63-90.
|
Beun, R.J. & Eijk, R.M. van (2007). Repairing Conceptual Mismatches in Human-Computer Interaction. Discourse Processes, 44(3), 1-31.
|
Eijk, R.M. van & Beun, R.J. (2007, November 29). Repairing conceptual mismatches in human-computer dialogue. San Sebastian, Spanje, Invited talk op First ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07).
|
Beun, R.J., Eijk, R.M. van, Meyer, J-J.Ch. & Vergunst, N.L. (2006). A Computational Approach to the Interpretation of Indirect Speech Acts. In V.P. Guerrero-Bote (Ed.), International Conference on Multidisciplinary Information Sciences and Technologies (pp. 311-315). Mérida: Open Institute of Knowledge.
|
Vergunst, N.L., Beun, R.J., Eijk, R.M. van & Meyer, J-J.Ch. (2006, October 25). A Computational Approach to the Interpretation of Indirect Speech Acts. Merida, Spanje, I International Conference on Multidisciplinary Information Sciences and Technologies.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2006). ANEMONE: An Effective Minimal Ontology Negotiation Environment. In P. Stone & G. Weiss (Eds.), Proceedings of the Fifth International Conference on Autonomous Agents and Multi-agent Systems (AAMAS06) (pp. 899-906).
|
Dignum, F.P.M., Eijk, R.M. van & Flores, F. (2006). Agent Communication II (LNAI, 3859). Berlin, Germany: Springer.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2006). Combining Normal Communication with Ontology Allignment,. In F. Dignum, R.M. van Eijk & R. Flores (Eds.), Agent Communication II Vol. 3859. Lecture Notes in Artificial Intelligence (pp. 181-195). Berlin/Heidelberg: Springer.
|
Beun, R.J., Eijk, R.M. van & Prüst, H.H.A.M. (2006, March 27). DenK and iCat: Two projects on Cooperative Electronic Assistants (CEA's). Eindhoven, First iCat Users Workshop.
|
Beun, R.J. & Eijk, R.M. van (2006). Repairing Conceptual Mismatches in Dialogue: a Computational Approach. (UU-CS 2006-033). onbekend: UU WINFI Informatica en Informatiekunde.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2005). A decentralized approach for establishing a shared communication vocabulary. In A. Becker, J. Diggelen, V. Dignum & L. van Elst (Eds.), Proceedings of the International Workshop on Agent Mediated Knowledge Management (AMKM'05) (pp. 1-13).
|
Eijk, R.M. van, Huget, M.-P. & Dignum, F.P.M. (Eds.). (2005). Agent Communication. International Workshop on Agent Communication, AC 2004. Revised Selected and Invited papers (Lecture Notes in artificial intelligence, vol 3396). Berlin: Springer Verlag.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2005). Combining Normal Communication with Ontology Allignment. In R.M. van Eijk, R. Flores & M.-P. van den Huget (Eds.), Proceedings of the International Workshop on Agent Communication (AC'05) (pp. 17-32). Utrecht.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2005). Communcation under Construction: Three Protocols for Lazy Ontology Alignment. In J. van Diggelen, V. Dignum, L. van Elst & A. Abecker (Eds.), Workshop on Agent-Mediated Knowledge Management. Utrecht.
|
Beun, R.J. & Eijk, R.M. van (2005). Conceptual Mismatches and Repair in Human-Computer Interaction. In C Sassen, P Piwek & P Kuhnlein (Eds.), Proceedings of the Symposium on Dialogue Modelling and Generation (DMG 2005)). University of Dortmund.
|
Beun, R.J. & Eijk, R.M. van (2005). Conceptual mismatches and repair in Human-Computer Interaction. In K. Verbeeck, K. Tuyls, A. Nowe, B. Manderick & B Kuijpers (Eds.), BNAIC 2005 Proceedings of the 17th Belgium-Netherlands conference on AI. Brussel: Koninklijke Vlaamse Academie.
|
Beun, R.J. & Eijk, R.M. van (2005, July 12). Dialogue and Ontologies. Riva del Garda, Italy, 9th International Pragmatics Conference.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2005). Optimal Communication Vocabularies and Heterogeneous Ontologies. In R. van Eijk, M.-P. Huget & F. Dignum (Eds.), Agent Communication. International Workshop on Agent Communication, AC 2004. Revised Selected and Invited papers Vol. 3396. Lecture Notes in Artificial Intelligence (pp. 76-90). Berlin: Springer Verlag.
|
Boer, F.S. de, Vries, W. de, Meyer, J-J.Ch., Eijk, R.M. van & Hoek, W. van der (2005). Process Algebra and Constraint Programming for Modelling Interactions in MAS. Applicable algebra in engineering, communication and computing, 16, 113-150.
|
Dignum, M.V. & Eijk, R.M. van (2005). Towards a Model to Understand the Influence of Trust in Knowledge Sharing Decisions. In Workshop on Trust AAMAS '05.
|
Beun, R.J. & Eijk, R.M. van (2004). A Cooperative Dialogue Game for Resolving Ontological Discrepancies. In F.P.M. Dignum (Ed.), Advances in Agent Communication Vol. 2922. Lecture Notes in Computer Science (pp. 349-363).
|
Beun, R.J. & Eijk, R.M. van (2004). Communication about Ontological Discrepancies. Agentlink Newsletter, 15(sept), 10-10.
|
Beun, R.J. & Eijk, R.M. van (2004). Conceptual Discrepancies and Feedback in Human-Computer Interaction. In B. Eggen, G. van der Veer & R. Willems (Eds.), Proceedings of the Dutch Directions in HCI. New York, NY: ACM Press.
|
Boer, F.S. de, Pierik, C., Meyer, J-J.Ch. & Eijk, R.M. van (2004). Coordinating Agents in OO. In M. Ryan, J.-J.Ch. Meyer & H.-D. Ehrich (Eds.), Objects, Agents and Features (pp. 8-25). Berlin: Springer.
|
Beun, R.J. & Eijk, R.M. van (2004). De computer die met je meedenkt. Sigchi.nl Lustrummagazine: Amsterdam.
|
Beun, R.J. & Eijk, R.M. van (2004). Feedback in Human Computer Interaction: Resolving Ontological Discrepancies. In H. van Oostendorp & L. Breure (Eds.), Creation, Use and Deployment of Digital Information (pp. 225-245). Mahwah, New Jersey: Lawrence Erlbaum.
|
Beun, R.J., Eijk, R.M. van & Prüst, H.H.A.M. (2004). Ontological Feedback in Multiagent Systems. In N.R. Jennings, C. Sierra, L. Sonenberg & M. Tambe (Eds.), International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 110-117). ACM Press.
|
Beun, R.J. & Eijk, R.M. van (2004). Ontological Feedback in Multiagent Systems. In R. Verbrugge, N. Taatgen & L. Schomaker (Eds.), Belgium-Netherlands Conference on Artificial Intelligence (pp. 355-356).
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2004). Optimal communication vocabularies and heterogeneous ontologies. In F. Dignum, R.M. van Eijk & M.-Ph. Huget (Eds.), Pre-proceedings AAMAS'04 Workshop on Agent Communication (ACL'04). (pp. 75-89). Berlin: Springer-Verlag.
|
Diggelen, J. van, Beun, R.J., Dignum, F.P.M., Eijk, R.M. van & Meyer, J-J.Ch. (2004). Optimal communication vocubularies in the presence of heterogeneous ontologies. (UU-CS 2004-003). Utrecht: Utrecht University: Information and Computing Sciences.
|
Beun, R.J. & Eijk, R.M. van (2003, July 14). A Cooperative Dialogue Game for Resolving Ontological Discrepancies. Melbourne, ACL2003.
|
McBurney, P., Eijk, R.M. van, Parsons, S. & Amoud, L. (2003). A Dialogue Game Protocol for Agent Purchase Negotiations. Autonomous agents and multi-agent systems, 7(3), 235-273.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Fully Abstract Model for the Exchange of Information in Multi-Agent Systems. Theoretical Computer Science, 290(3), 1753-1773.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). A Verification Framework for Agent Communication. Autonomous agents and multi-agent systems, 6(2), 185-219.
|
Beun, R.J. & Eijk, R.M. van (2003, July 18). Dialogue Games for Ontological Commitment. Melbourne, 2nd Int. Joint Conf. on Autonomous Agents and Multiagent Systems.
|
Beun, R.J. & Eijk, R.M. van (2003). Dialogue Games for Ontological Commitment. In J.S. Rosenschein, T. Sandholm, M. Woolridge & M. Yakoo (Eds.), Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems. New York: ACM press.
|
Beun, R.J. & Eijk, R.M. van (2003). Feedback in Human Computer Interaction: Resolving Ontological discrepancies. (UU-CS 2003-055). Utrecht: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2003). Process Algebra for Agent Communication: A General Semantic Approach. In M.P. Huget (Ed.), Communication in Multiagent Systems - Agent Communication Languages and Conversation Policies. Berlijn: Springer-Verlag.
|
Beun, R.J. & Eijk, R.M. van (2002). A cooperative Dialogue Game for Resolving Ontological Discrepancies. In P. McBurney & M. Wooldridge (Eds.), Working notes of "The fifth UK Workshop on Multi-Agent Sysytems" (UKMAS2002).
|
Beun, R.J. & Eijk, R.M. van (2002, December 18). A cooperative Dialogue Game for resolving Ontological Discrepancies. unknown, Working notes of "The Fifth UK Workshop on Multi-Agent Systems".
|
Eijk, R.M. van (2002). Agent Communication Languages and Conversation Policies AAMAS 2002 Workshop (ACL 2002).
|
Eijk, R.M. van (2002). Semantic of Agent Communication: An Introduction. In M. d'Inverno, M. Luck, M. Fischer & C. Preist (Eds.), Foundations and Applications of Multi-Agent Systems, UKMAS 1996-2000, Selected Papers (pp. 152-168). Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001, December 13). A Verification Framework for Agent Communication. St. Catherine's College, Oxford, UK, UKMAS 2001, The Fourth UK Workshop on Multi-Agent Systems.
|
Boer, F.S. de & Eijk, R.M. van (2001). Decidable Navigation Logics for Object Structures. In L. Fribourg (Ed.), Computer Science Logic, 15th International Workshop (CSL 2001) Vol. 2142. Lecture Notes in Computer Science (pp. 324-338). Berlin, Germany: Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Generalised Object-Oriented Concepts for Inter-Agent Communication. In C. Castelfranchi & Y. Lespérance (Eds.), Intelligent Agents VII (pp. 260-274). Berlin: Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). Modal Logic with Bounded Quantification over Worlds. Journal of logic and computation, 11(5), 701-715.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2001). On Dynamically Generated Ontology Translators in Agent Communication. International journal of intelligent systems, 16(5), 587-607.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). A Modal Logic for Network Topologies. In M. Ojeda-Aciego, I.P. de Guzman, G. Brewka & L.M. Pereira (Eds.), Proceedings of the Seventh European Workshop on Logics in Artificial Inteligence (JELIA 2000) (pp. 269-283). Berlin: Springer-Verlag.
|
Boer, F.S. de, Eijk, R.M. van, Hoek, W. van der & Meyer, J-J.Ch. (2000). Failure Semantics for the Exchange of Information in Multi-Agent Systems. In C. Palamidessi (Ed.), Proceedings of the Eleventh International Conference on Concurrency Theory (CONCUR 2000) (pp. 214-228). Heidelberg, Germany: Springer-Verlag.
|
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.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In N.R. Jennings & Y. Lespérance (Eds.), Intelligent Agents VI, Proceedings of 6th International Workshop on Agent Theories, Architectures and Languages (ATAL '99) (pp. 218-232). Heidelberg: Springer.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (2000). Operational Semantics for Agent Communication Languages. In F. Dignum & M. Greaves (Eds.), Issues in Agent Communication (LNCS, 1916) (pp. 80-95). Berlin, Germany: Springer-Verlag.
|
Eijk, R.M. van (2000, October 18). Programming Languages for Agent Communication. Utrecht University (188 pag.) (Utrecht: Utrecht University). Prom./coprom.: prof. dr. J-J.Ch. Meyer, dr. F.S. de Boer & dr. W. van der Hoek.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). A Modal Interpretation of Quantification. In Proceedings of Workshop on Methods of Modalities. Amsterdam: ILLC.
|
Eijk, R.M. van (1999). Book review of Partiality, Modality and Nonmonotonicity [Book review Partiality, Modality and Nonmonotonicity]. Journal of logic, language and information, 8, 251-254.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Information-Passing and Belief Revision in Multi-Agent Systems. In J.P.M. Muller, M.P. Singh & A.S. Rao (Eds.), Intelligent Agents V - Proceedings of the 5th International Workshop on Agent Theories (pp. 29-45). Berlin: Springer Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Open Multi-Agent Systems: Agent Communication and Integration. In E. Postma & M. Gyssens (Eds.), Proceedings of the 11th Belgium-Netherlands Artificial Intelligence Conference (pp. 239-240). Maastricht.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Open multi-agent systems: Agent communication and integration. (UU-CS 1999-17). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In W. van der Hoek, J-J.C. Meyer & C. Witteveen (Eds.), Proceedings of ESSLLI'99 Workshop on Foundations and Applications of Collective Agent Based Systems (CABS).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In Proceedings of Second Workshop of UK Special Interest group on Multi-Agent Systems (UKMAS'99). Bristol: Hewlett-Packard Laboratories.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational Semantics for Agent Communication Languages. In F. Dignum & B. Chaib-Draq (Eds.), Proceedings of Workshop on Agent Communication Languages (pp. 105-118).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1999). Operational semantics for agent communication languages. (UU-CS 1999-08). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). A language for modular information-passing agents. CWI Quarterly, 11(2, 3), 273-297.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Constructing translations between individual vocabularies in multi-agent systems. In H. La Poutre & J. van den Herik (Eds.), Proceedings of the 10th Netherlands/Belgium Conference on Artificial Intelligence (pp. 307). Amsterdam, the Netherlands: CWI.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Construction translations between individual vocabularies in multi-agent systems. In F. Giunchiglia (Ed.), Proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems and Applications (AIMSA'98) (pp. 240-253). Heidelberg, Germany: Springer-Verlag.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Systems of communicating agents. In H. Prade (Ed.), Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI'98) (pp. 293-297). John Wiley & Sons.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translation of vocabularies in systems of communicating agents. In Workshop of UK Special Interest Group on Multi-Agent Systems (UKMAS'98) Working Notes. Manchester, England: Manchester Conference Centre.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1998). Translations of vocabularies in systems of communicating agents. In Second workshop on current constraint programming for time critical applications and multi-agents systems (COTIC'98).
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In W. van der Hoek, Y. Lesperance & R. Scherl (Eds.), Proceedings of the ESSLLI '97 Symposium on Logical Approaches to Agent Modelling and Design (pp. 46-56). Aix-en-provence, France.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. In M. Luck, M. Fisher, M. d'Inverno, N. Jennings & M. Wooldridge (Eds.), The Second UK Workshop on Foundations of Multi-Agent Systems (FoMAS'97) Working Notes (pp. 33-43). Warwick: University of Warwick.
|
Eijk, R.M. van, Boer, F.S. de, Hoek, W. van der & Meyer, J-J.Ch. (1997). A language for Modular Information-passing Agents. (UU-CS 1997-16). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
webmaster@cs.uu.nl,
Wed, 19 Jun 2013 16:18:52 +0200
←
Departement Informatica, Universiteit Utrecht