This is the Institute's Seminars on Intelligent Systems (ISIS) / TAI Colloquia homepage
The department's agenda.

Student attendance:

Starting from college year 2011/2012 the TAI colloquia will coincide with the staff seminar of the Intelligent Systems group (ISIS). TAI Master students are required to attend 5 colloquia each year (so 10 in total).

It is also permitted to attend colloquia elsewhere. In the latter case, students are required to write a short summary (about 1 A4 page) of the talk they attended, and put it in a file which also includes the time, location, speaker and organizer. This file should be sent to Marieke Peeters (M.M.M.Peeters[at]uu.nl). 

Student attendance track records can be found here.

Planning and past events

Legend: blue-green fields are tentative; green fields are definite, salmon fields concern the past, "NP" means there is no projector in the room.
Speaker
Title / Abstract
Date
Room
Eric Kok, Max Knobbout, and Pouyan ZiafatiTitles and abstracts16 mei 2012, 15.30BBL-205
Leo van MoergestelMulti-agent based agile production4 apr 2012,   15.30BBL-169
Roberto CiuniOught Implies Can, Omission and Probabilistic Deliberative STIT28 mrt 2012, 15.30DDW130
Jan BroersenMoral luck, Responsibility, and Probability21 mrt 2012, 15.30DDW130
Leo de PenningNeural-symbolic Cognitive Agents: Architecture and Theory22 feb 2012, 15.30BBL023
Max KnobboutSocial Norms in Computational Environments16 nov 2011, 15.30BBL001
Mehdi DastaniNormative Mechanism Design26 okt 2011, 15.00BBL079
Summer recess
Max and Tom AAMAS special session I 27 apr 2011, 15.00 BBL 005
LIRa special session Messages, Information and Norms 14 apr 2011, 15.00 BBL 023
Michal Sindlar Programming Mental State Abduction 02 feb 2011, 15.00 BBL 069
Hector Levesque (Toronto) Open-world reasoning with unknown individuals [slides] 29 nov 2010, 15.00 Ruppert 111
Mehdi Dastani Strategic Executions of Choreographed Timed Normative Multi-Agent Systems 3 nov 2010, 15.30 BBL 007
Nils Bulling (Clausthal) On the Complexity of Verifying Agents With and Without Memory: A Comparison 15 sep 2010, 15.30 CGN A 221
Summer recess      
Erik Kok On multi-agent deliberation dialogues 30 jun 2010, 15.30 BBL-069 NP
Maaike Harbers Modeling agents with a theory of mind: theory-theory versus simulation theory 16 jun 2010, 15.30 BBL-069 NP
Liz Black Agreeing what to do: strategies for deliberation dialogues 19 may 2010, 15.30 BBL-069 NP
Paolo Turrini Dependence Theory 21 apr 2010, 15.30 BBL-069 NP
Paolo Turrini Expressing Obligations by Strategic Ability Update 7 apr 2010, 15.30 BBL-069 NP
Marieke Peeters Confluence Constructor 17 mar 2010, 15.30 BBL-069 NP
Nick Tinnemeier Programming (dynamically changing) norms 24 feb 2010, 15.30 BBL-069 NP
Jan Broersen An xstit-Logic Analysis of Intentional Action 17 feb 2010, 15.30 BBL-069 NP
Sanjay Modgil (Imperial College, London) Metalevel Argumentation 27 jan 2010, 15.30 BBL-005 NP
Hado van Hasselt The Harmful Implications of Noise and Choice, or Q-learning does not converge on my computer 20 jan 2010, 15.30 BBL-005 NP
Tom van der Weide Argumentation about Values 16 dec 2009, 15.30 BBL-272 NP
Ulle Endriss (ILLC, UvA) Introduction to Computational Social Choice 9 dec 2009, 15.30 BBL-272 NP
Fernando Koch An Agent-Based Model for the Development of Intelligent Mobile Services 25 nov 2009, 15.30 BBL-272 NP
Birna van Riemsdijk (Delft) An Empirical Study of Agent Programs: A Dynamic Blocks World Case Study in GOAL (Joint work with Koen Hindriks) 11 nov 2009, 15.30 BBL-272 NP
Bas Steunebrink A Formal Model of Emotions for BDI Agents 21 okt 2009, 15.30 BBL-272 NP
Lacramioara Astefanoaei (CWI Amsterdam) Using Rewrite Strategies for Testing BUpL Agents 7 okt 2009, 15.30 BBL-272 NP
Pablo Seban (Toulouse) Reasoning about Permitted Announcements 23 sept 2009, 15.30 BBL-272 NP
Summer recess      
Michal Sindlar Explaining and Predicting the Behavior of Socially Embedded Agents 1 juli 2009, 15.30 BBL-513 NP
Davide Grossi (Amsterdam) Doing Argumentation Theory in Modal Logic 24 juni 2009, 15.30 BBL-430
Hado van Hasselt Using Continuous Action Spaces to Solve Discrete Problems 10 juni 2009, 15.30 BBL-430
Andreas Witzel (Amsterdam) DEL for AI 20 mei 2009, 15.30 BBL-513 NP
Mehdi Dastani
A generic and systematic approach for debugging BDI-based multi-agent programs 6 mei 2009, 15.30 AARD-klein
Mirko Morandini (Trento) Goal Models for and in Adaptive Agents 22 april 2009, 15.30 AARD-klein
Nick Tinnemeier Roles and Norms for Programming Agent Organizations 8 april 2009, 15.30 AARD-klein
Nieske Vergunst Agent-Based Speech Act Generation in a Mixed-Initiative Dialogue Setting 25 mrt 2009, 15.30 AARD-klein
Maaike Harbers A study into preferred explanations of virtual agent behavior 11 mrt 2009, 15.30 AARD-klein
Paolo Turrini Godless Coalition Logic 25 feb 2009, 15.30 AARD-klein
Jan Broersen Using epistemic deontic stit-logic to formalize modes of `mens rea' 11 feb 2009, 16.00 BBL-475
Henry Prakken Arguing Agents in a Multi-Agent System for Regulated Information Exchange 17 dec 2008, 15.30 BBL-420
Martin Mose Bentzen (Amsterdam / Roskilde) Stit Theory, Responsibility, and Uncertainty 3 dec 2008, 15.30 BBL-420
Bas Steunebrink
Embedding a BDI-based System in a Real-time Context 26 nov 2008, 15.30 BBL-471
Barteld Kooi (Groningen) Dynamic Deontic STIT Logic 5 nov 2008, 15.30 BBL-420
Geert Jonker
Spender-signed Currency 22 okt 2008, 15.30 BBL-420
Tiago de Lima (Eindhoven) Towards a formalization of responsibility 24 sept 2008, 15.30 BBL-420
Maksim Tsvetovat (Fairfax, USA) Self-organized criticality, evolving networks and strategic interactions in agent-based systems 10 sept 2008, 15.30 BBL-471
Summer recess      
Susan van den Braak AVERs: Software for crime analysis 2 juli 2008, 15.30 AARD-C116
André Campos From Individuals to Social and Vice-versa 18 juni 2008, 15.30 BBL-505
Hado van Hasselt From Discrete to Continuous and from Logics to Machine Learning 4 juni 2008, 15.30 BBL-505
Loris Penserini Adaptivity within an Organizational Development Framework 28 mei 2008, 15.30 BBL-505
Daniel Okouya /
Eric Kok
OperettA: A prototype tool for the design, analysis and development of multi-agent organizations /
Adaptive reinforcement learning agents in RTS games
7 mei 2008, 15.30 BBL-505
Joost Westra Modeling Agent Adaptation in Games 23 apr 2008, 15.30 BBL-505
Tom van der Weide Adapting argumentation to personality type 9 apr 2008, 15.30 BBL-433
Michal Sindlar Mental State Abduction of BDI-Based Agents 26 mrt 2008, 15.30 BBL-471
Mehdi Dastani Modularity in Agent Programming Languages: An Illustration in Extended 2APL 12 mrt 2008, 15.30 BBL-471
Jaime Sichman (São Paulo) MAS Organizations 5 mrt 2008, 15.30 BBL-433
Maaike Harbers A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems 13 feb 2008, 15.30 BBL-471
Mattijs Ghijsen (Amsterdam) Capabilities for Agents in Dynamic Agent Organizations 30 jan 2008, 15.30 BBL-416
Nick Tinnemeier Orwell's Nightmare for Agents? Programming Normative Multi-Agent Organisations 9 jan 2008, 15.30 BBL-416
Paolo Turrini A Deontic Logic for Socially Optimal Norms 19 dec 2007, 15.00 BBL-416
Loris Penserini An agent based framework for high variability design: dealing with code generation 12 dec 2007, 13.30 CGN-C220
Henry Prakken Integrating Different Modes of Reasoning 24 okt 2007, 15.00 BBL-433
Bob van der Vecht A Dynamic Coordination Mechanism Using Adjustable Autonomy 10 okt 2007, 15.30 BBL-433
Summer recess      
Nieske Vergunst / Bas Steunebrink Towards Programming Multimodal Dialogues 27 juni 2007, 15.30 BBL-160
Nicolas Troquard (Toulouse) Delegation and mental states 6 juni 2007, 15.30 BBL-160
Fenrong Liu (Amsterdam) How do we Change our Preference?
30 mei 2007, 15.30 BBL-160
Zheng Zhao A Framework for Business Process Integration 16 mei 2007, 15.30 BBL-160
Iyad Rahwan (Dubai) On the Benefits of Exploiting Underlying Goals in Argument-based Negotiation 9 mei 2007, 15.30 BBL-160
Paolo Turrini 'Do you mind if I smoke?': Investigating the dynamics of social norms in
multiagent interaction
25 april 2007, 15.30 BBL-160
Fernando Koch Designing an agent platform for highly dynamic environments 11 april 2007, 15.30 BBL-160
Danny Weyns (Leuven) Agent Colloquium 2 april 2007, 15.30 BBL-430
Philippe Pasquier (Melbourne) An Empirical Study of Interest-based Negotiation 28 maart 2007, 15.30 BBL-160
Christiaan Tick 2AOS: Simulating Organizations 14 maart 2007, 15.30 BBL-160
Emiliano Lorini (Rome) A logic of intention and attempt: from instrumental reasoning to action execution 7 maart 2007, 15.30 BBL-160
Daghan Acay (Melbourne) Context for agent systems 28 feb 2007, 15.30 BBL-160
Nick Tinnemeier Programming agents in a functional programming language 21 feb 2007, 15.30 BBL-160
Hado van Hasselt Theoretical and practical advances in Actor-Critic type Reinforcement
Learning Algorithms
7 feb 2007, 15.30 BBL-509
Patrick Doherty (Linköping) Agent Colloquium 6 feb 2007, 16.00 BBL-420
Davide, Paolo, Geert Report on COMSOC 24 jan 2007, 15.30 BBL-509
Martin Helmhout (Groningen)
Is it socially desirable for a cognitive agent to forget? A comparison between 3APL, ACT-R and RBOT.
10 jan 2007, 15.30 BBL-509
Mehdi Dastani 2APL: A Practical Agent Programming Language 20 dec 2006, 15.30 BBL-509
Mehdi Dastani Goal Types in Agent Programming 6 dec 2006, 15.30 BBL-420
Virginia Dignum Towards formal semantics for reorganization 22 nov 2006, 15.30 BBL-416
Jan Broersen ‘Can’, ‘knowing that you can’, ‘doing’ and ‘knowing that you do’ 8 nov 2006, 15.30 BBL-165
Janos Sarbo (Nijmegen) On the logic of common sense 11 okt 2006, 15.30 BBL-420
Frank Dignum
Organizing multi-agent systems for the real world
27 sept 2006, 15.30 BBL-420
Summer recess      
Henry Prakken Justifying Actions by Accruing Arguments 5 juli 2006, 15.30 BBL-509
Birna van Riemsdijk Goal-Oriented Modularity in Agent Programming 31 mei 2006, 15.30 BBL-471
Koen Hindriks (Nijmegen) Agent Colloquium 17 mei 2006, 15.30 BBL-471
Geert Jonker Collaborative behaviour among self-interested agents in the airport traffic control domain 19 apr 2006, 15.30 BBL-509
Gerard Vreeswijk Inference and status-assignment of first-order arguments 5 apr 2006, 15.30 CGN-C004
Marco Wiering QV(lambda)-learning: On-policy Reinforcement Learning Combining TD(lambda) and Q-learning 22 maart 2006, 15.30 CGN-C004
Arjen Hommersom (Nijmegen) Verification of Medical Guidelines using Task Execution with Background Knowledge 8 maart 2006, 15.30 BBL-426
Davide Grossi Agent Colloquium 22 feb 2006, 15.30 CGN-C004
Julien Brunel (Toulouse) Combining state/event temporal and deontic logic 8 feb 2006, 15.30 CGN-C004
Jan Broersen Yet more logical analyses of Chisholm's scenario 25 jan 2006, 15.30 CGN-C004
Susan van den Braak On the biological plausibility of co-evolutionary robotics in simulation 11 jan 2006, 15.30 CGN-C004
Frank Dignum Preparing for Melbourne (and other serious thoughts) 14 dec 2005, 15.30 BBL-416
Samin Karim (Melbourne) About previous and ongoing work 30 nov 2005, 15.30 CGN-C004
Martin Caminada Agent Colloquium 16 nov 2005, 15.30 CGN-C004
Leon van der Torre (Luxemburg) Counts-as conditionals, obligations and permissions 2 nov 2005, 15.30 CGN-C004
Bob van der Vecht Adaptive Support Systems: Adjustable Autonomy in Agents 5 okt 2005, 15.30 CGN-C004
Mehdi Dastani Composition and Coordination of Multi-Agent Systems 21 sept 2005, 15.15 CGN-C004
Summer recess
     
Chiaki Sakama Coordination in Multi-Agent Systems 9 aug 2005, 13.00 CGN-A348
Laurens Winkelhagen / Johan Kwisthout Beliefs in Agent Implementation / Modelling Uncertainty in Agent Programming 29 juni 2005, 15.30 CGN-C004
Henry Prakken A Study of Accrual of Arguments, with Applications to Evidential Reasoning 1 juni 2005, 15.30 CGN-C004
Jurriaan van Diggelen A decentralized approach for establishing a shared communication vocabulary 18 mei 2005, 15.30 CGN-C004
Juliano Maranhao Abduction through belief refinement 4 mei 2005, 15.30 CGN-C004
Cees Witteveen (Delft)
Diagnosis of plans and plan executing agents
13 april 2005, 15.30 CGN-C004
Birna van Riemsdijk Dynamic Logic for Plan Revision in Intelligent Agents
23 maart 2005, 15.30 CGN-C004
Henk-Jan Lebbink
A dialogue game for distributed belief contraction
2 maart 2005, 15.30 CGN-C004
Martin Caminada Quality Aspects of Argumentation Formalisms
9 feb 2005, 15.30
CGN-C004
Huib Aldewereld Norms in Agent Institutions: Norm Compliance 26 jan 2005, 15.30
CGN-C004
Huib Aldewereld Norms in Agent Institutions: Norm Enforcement
12 jan 2005, 15.30
CGN-C004
Fernando Koch (Melbourne)
The Role of Agents in Intelligent Mobile Services
1 dec 2004, 15.00
CGN-C004
Souhila Kaci (Lens) /
Leila Amgoud (Toulouse)
On the generation of bipolar goals in argumentation-based negotiation
10 nov 2004, 15.30
CGN-C004
Davide Grossi Contextual taxonomies 27 oct 2004, 15.30
CGN-C004
John Fox (ISIS/SIKS colloquium)
From arguments to agents that believe and desire and commit 13 oct 2004, 13.30
BBL 160
Jamal Bentahar
A Unified Framework for the Pragmatics and Semantics of Agent Communication
6 oct 2004, 11.00
BBL 471
Birna / Jurriaan / Henk-Jan / Joris
Report on DALT / PROMAS / ACL / TRUST
22 sept 2004, 15.30
CGN-C004
Christian Guttmann Towards Models of Incomplete and Uncertain Knowledge of Collaborators’ Internal Resources
15 sept 2004, 15.30
CGN-C004
Mehdi / Frank D
Report on AOSE / AOIS / ARGMAS
8 sept 2004, 15.30
CGN-C004
Summer recess      
Cees Pierik
Friendship in Object-Oriented Programs
23 juni 2004, 15.30
CGN-B205 A
Jurriaan van Diggelen
A communication protocol for establishing a shared vocabulary
2 juni 2004, 15.30
CGN-B205 A
Jan Broersen
Desiging Logics for Deontic Deadlines
12 mei 2004, 15.30
BBL 509
Martin Caminada
For the Sake of the Argument; an alternative approach to self-defeating arguments
21 april 2004, 15.30
BBL 509
Davide Grossi
Collective Obligations and Agents: Who Gets the Blame?
31 maart 2004, 15.30
CGN-B205 A
Birna van Riemsdijk
Semantics of plan revision in intelligent agents
10 maart 2004, 15.30
BBL 509
Geert Jonker
Newcomb's Paradox
27 februari 2004, 10.30
CGN-B205 A
Henk-Jan Lebbink
Ok-ok, we disagree... but what do you mean my car is ugly? A Dialogue Game about Meaning
18 februari 2004, 15.30
CGN-B205 A
Joris Hulstijn
Uptake by Conditional Obligations
7 januari 2004, 15.30
CGN-B205.A
Josep Pujol Serra
Complex Networks from Realistic Local Optimisation Processes
16 december 2003, 16.00
CGN-C009
John Jules Meyer
Emotional agents
3 december 2003, 15.30
CGN-B205.A
Marco Wiering
Learning to Control Forest Fires with ESP
10 november 2003, 15.30
CGN-C009
Virginia Dignum
Theory and performance of OperA
20 oktober 2003, 15.30
CGN-C009
Javier Vazquez-Salceda
A hybrid architecture for autonomous navigation using a CBR reactive layer
29 september 2003, 15.30
CGN-C009
Gerard Vreeswijk
Turntaking in multi-agent systems
3 september 2003, 15.30
CGN-C009
Summer recess      
Jan Broersen
On a dynamic logic for operationalized motivational attitudes
2 juli 2003, 15.30
CGN-C009
Birna van Riemsdijk
Agent programming in Dribble: from beliefs to goals using plans
18 juni 2003, 16.00
CGN-C009
Henry Prakken
Formalising legal reasoning about evidence
18 juni 2003, 15.00
CGN-C009
Huib Aldewereld
Semantics of SVO: BAN & Beyond II
26 mei 2003, 15.00
CGN-C009
Owen Cliffe
Model Checking Properties of Electronic Institution Specifications with Concrete Norms
18 mei 2003, 1500
CGN-C009
Henk-Jan Lebbink
Dialogue Games for Inconsistent and Biased Information
7 mei 2003, 1500
CGN-C009
Huib Aldewereld
Formele methoden voor Protocol Analyse: BAN & Beyond
23 april 2003, 16.00
CGN-C009





Isis,
Egyptian goddess of immense magical power,
sister-wife of Osiris,
mother of Horus,
symbolic mother of the pharaoh,
'more clever than a million gods',
'the mistress of the gods who knows the sun-god Re by his own secret name'.



Source: G. Hart, A Dictionary of Egyptian Gods and Goddesses, Routledge & Kegan Paul.




All comments to Marieke Peeters or Jan Broersen