23.9.2008: KI 2008 Workshops and Tutorials (open for MATES participants) 24.-25.9.2008: MATES 08 Main Conference Program 26.9.2008: MATES 08 Doctoral Mentoring Program The Conference Brochure is now available. It includes the detailed schedule of the MATES2008 and the KI2008 conference program.
Michael Wooldridge, University of Liverpool, UK (Joined invited talk with KI2008)
Michael Wooldridge is a Professor in the Department of Computer Science at the University of Liverpool, UK. He has been active in multi-agent systems research since 1989, and has published over two hundred articles in the area. His main interests are in the use of formal methods for reasoning about autonomous agents and multi-agent systems. Wooldridge was the recipient of the ACM Autonomous Agents Research Award in 2006. He is co-editor in chief of the journal "Autonomous Agents and Multi-Agent Systems'', and his introductory textbook "An Introduction to Multiagent Systems'' was published by Wiley in 2002.
Logic for Automated Mechanism Design and Analysis
Recent years have witnessed an explosion of interest in the issues surrounding the use of social choice mechanisms and economic resource allocation mechanisms in settings where the participants are computer programs. Algorithmic mechanism design, and the recent emergence of computational social choice theory are two examples of this growth of interest. If we take seriously the idea that computational agents will participate in economically inspired mechanisms, then it is natural to consider the questions of knowledge representation and reasoning for them. In this talk, we describe our work in this area, particularly as it relates to the specification and verification of social choice mechanisms, and coordination mechanisms such as social laws. We motivate and introduce the main research issues in the area, discussing, for example, the succinct representation of social choice rules, the complexity of reasoning with such representations, and the handling of preferences. We conclude by showing discussing the relationship of our work to mechanism design as it is understood in economics. The talk will report joint work with Thomas Agotnes (Bergen), Wiebe van der Hoek (Liverpool), Marc Pauly (Stanford), and Paul E. Dunne (Liverpool).
Sascha Ossowski, University Rey Juan Carlos, Madrid, Spain
Prof. Sascha Ossowski is the Director of the Centre for Intelligent Information Technologies (CETINIA) at University Rey Juan Carlos in Madrid. Formerly, he was an HCM/TMR research fellow at the AI Department of Technical University of Madrid. He obtained his MSc degree in Informatics from the University of Oldenburg (Germany) in 1993, and received a PhD in Artificial Intelligence from UPM in 1997. Prof. Ossowski is holding several research grants in the field of advanced software systems, funded by the European Commission and the Spanish Government. He has authored more than 100 research papers, focusing on the application of Artificial Intelligence techniques to real world problems such as transportation management, m-Health, or e-Commerce. Recently, he has been particularly active in the field of co-ordination mechanisms for agents and services, as well as models of trust and regulation in virtual organisations. He is co-editor of more than 20 books, proceedings, and special issues of international journals. He is a General Chair of the ACM Annual Symposium on Applied Computing (SAC), chairs the Steering Committee of the European workshop series on Multiagent Systems (EUMAS), serves as a member of the editorial board for several international journals, and acts as programme committee member for numerous international conferences and workshops. Prof. Ossowski is also an Associate Manager for the field of Computer Science within the Spanish National Plan for R&D&I.
Coordination in Multiagent Systems - Towards a Technology of Agreement
It is commonly accepted that coordination is a key characteristic of multiagent systems and that, in turn, the capability of coordinating with others constitutes a centrepiece of agenthood. However, the key elements of coordination models, mechanisms, and languages for multiagent systems are still subject to considerable debate. In this talk, I will examine different stances on coordination, and outline various research issues related to coordination in multiagent systems. In particular, I will provide several examples of the benefits of using an organization-oriented approach towards the problem. I will then show how this perspective fits into current efforts working towards a paradigm for smart, next-generation distributed systems, where coordination is based on the concept of agreement between computational agents. Besides organizations, semantic alignment, norms, argumentation and negotiation, as well as trust and reputation mechanisms will be in the technology sandbox to support the definition, specification, and verification of such systems.
- Optimistic-Pessimistic $Q$-learning Algorithm for Multi-Agent Systems. Natalia Akchurina.
- Adding Organizations and Roles as Primitives to JADE Framework. Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna and Leon van der Torre.
- Agent Models for Concurrent Software Systems. Lawrence Cabac, Till DÃ¶rges, Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
- Filtering Algorithms for Agent-Based Incident Communication Support in Mobile Human Surveillance. Duco N. Ferro and Catholijn M. Jonker.
- Joint Equilibrium Policy Search for Multi-Agent Scheduling Problems. Thomas Gabel and Martin Riedmiller.
- Making Allocations Collectively: Iterative Group Decision Making under Uncertainty. Christian Guttmann.
- Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines. Koen Hindriks and Peter Novak.
- Knowledge and Strategic Ability for Model Checking: A Refined Approach. Wojciech Jamroga.
- Agent Learning Instead of Behavior Implementation for Simulations - A Case Study Using Classifier Systems. Franziska KlÃ¼gl, Reinhard Hatko and Martin V. Butz.
- Providing Integrated Development Environments for Multiagent Systems. Simon Lynch and Keerthi Rajendran.
- Implementing Organisations in JADE. CristiÃ¡n Madrigal-Mora, Esteban LeÃ³n-Soto and Klaus Fischer.
- A Fair Mechanism for Recurrent Multi-unit Auctions. Javier Murillo, VÃctor MuÃ±oz, Beatriz LÃ³pez and Didac Busquets.
- Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation. Arturo Servin and Daniel Kudenko.
- Teaching Distributed Artificial Intelligence with RoboRally. Ingo J. Timm, Tjorben Bogon, Andreas Lattner and RenÃ© Schumann.
- Refactoring in Multi Agent System Development. Ali Murat Tiryaki, Erdem Eser Ekinci and Oguz Dikenelli.
- Autonomous Scheduling with unbounded and bounded agents. Chetan Yadati, Cees Witteveen, Yingqian Zhang, Mengaxiao Wu and Han la Poutre.