New University of Lisbon, Portugal, 5-9th of May, 2008

 

Tutors

Dr. Benjamin Hirsch studied Artificial Intelligence at the University of Amsterdam, and obtained his PhD in 2005 at the University of Liverpool (with distinction). His thesis has been nominated for the "distinguished dissertation award 2006" of the British computer science society.
Dr. Hirsch is the Director of the Competence Center Agent Core Technologies at the DAI Labor, which is part of the Technische Universität Berlin. The Competence Center consists of roughly 10 doctoral students as well as 5 graduate students, and focuses on service-centric agentframeworks. Under his supervision, the competence center staffs several projects related to service delivery platforms and service engineering. He has been teaching a course "Service Engineering" since 2006.

Cees Witteveen is a full professor in Algorithmics at Delft University of Technology. The research fields he has been active in include inductive inference, nonmonotonic reasoning, logic programming and theory revision. Currently, his research interests concentrate on the design and evaluation of coordination algorithms in distributed systems with self-interested actors. He has published more than 100 refereed papers and journal articles in these fields. He is project leader of more than 10 research projects on plan coordination in multi-agent systems, diagnosis, inference mechanisms, incident management and hybrid computing. He has been program chair of several DGNMR and PLANSIG workshops and is PC member of several conferences and workshops in the AI-community (AAMAS, EUMAS, PROMAS, CLIMA, PLANSIG, ECSQUARU, MBS, BNAIC).

Danny Weyns is a senior researcher at the Katholieke Universiteit Leuven, funded by the Research Foundation Flanders. He received a Ph.D in Computer Science in 2006 from the Katholieke Universiteit Leuven for work on multi-agent systems and software architecture. His main research interests are in situated multi-agent systems, middleware for decentralized systems, and the connection between multi-agent systems and software architecture. Currently, he is working on formal architectural description language for analyzing and verifying decentralized software systems, and applications to the wireless sensor network domain. Contact information and home-page: Danny.Weyns@cs.kuleuven.be, http://www.cs.kuleuven.be/~danny/

Davide Grossi is Postdoctoral researcher at the University of Luxembourg. He has obtained a degree in philosophy at Università di Pisa and the diploma of Scuola Normale Superiore di Pisa in 2003. In 2007 he obtained a PhD in artificial intelligence at Utrecht University. His PhD thesis dealt with formal aspects of the specification and design of agent organizations and institutions. He is in the program committee of NorMAS'08. Further details at: http://www.davidegrossi.name

Edith Elkind is a lecturer in Intelligence, Agents, Multimedia group of School of Electronics and Computer Science, University of Southampton. She obtained her PhD from Princeton University in June 2005 and her MSc in Mathematics from Moscow State University, Russia. Her primary research interests are algorithmic game theory and computational social choice. In recent years, her work focused on computational aspects of various multiagent problems, such as auctions, voting, and coalitional games.

Eric Platon is a visiting researcher at the National Institute of Informatics, funded by the JSPS. He holds M.Sc. degrees in Automatic Control (Savoie University, France) and Distributed Artificial Intelligence (Savoie University & EMSE, France), and a joint Ph.D. in Computer Science from Paris 6 University and Sokendai for work on exception management in multi-agent systems. His research interests pertain to self-adaptive programs, security, and exception handling in mobile systems, notably wireless ad hoc networks of sensors. He is the principal investigator and software architect of the XAC project, a government-funded research project for secure and self-adaptive applications in embedded systems. Contact information and home-page: platon@nii.ac.jp, http://honiden-lab.ex.nii.ac.jp/~eric/

Evangelos Markakis is currently a postdoctoral fellow at the Center for Mathematics and Computer Science (CWI), in Amsterdam. He completed his PhD degree in August 2005 at the Georgia Institute of Technology under the supervision of Richard Lipton. Before that, he received his BS degree from the National Technical University of Athens. His research interests lie in the areas of analysis of algorithms (especially approximation algorithms), game theory, and auction design. In Fall 2008, he will be starting a new appointment as a lecturer at the Athens University of Economics and Business in Greece.

Federico Cecconi teaches computer science and numerical methods in microeconomic framework in LUMSA. He is a reviewer for JASSS. He is the author of several books about agent-based social simulation. Its research interests are in the field of dynamics of cellular automata and complex networks, neural networks and cognitive modeling, microeconomic modeling by agent based simulation. He is Member of IASTED (International Association of Science And Technology for Development). After other research positions, he is now a researcher at ISTC, Institute of Cognitive Sciences and Technologies of CNR, Rome (LABSS, Laboratory on Agent Based Social Simulation). Within LABSS, he studies the complex (micro-macro) dynamics of social cognitive artefacts (f.i., norms and reputation) regulating societies of autonomous intelligent agents (EMIL, "EMergence In the Loop: simulating the two way dynamics of norm innovation", it is a three-year EC funded project, Sixth Framework Programme). Federico Cecconi is on the Program Committee of IASTED International Conference on Modelling and Simulation.

Guido Boella received the PhD degree at the University of Torino in 2000. He is currently professor at the Department of Computer Science of the University of Torino. His research interests include multi-agent systems, in particular, normative systems, institutions and roles using qualitative decision theory. He is the co-chair of the NorMAS'05 and NorMAS'08 workshops, of the coordination and organization (CoOrg'05 and CoOrg'06) workshops, of the COIN'06 workshop and of the AAAI Fall Symposium on roles (Roles'05). Further details at: http://www.di.unito.it/~guido

Dr. Guillaume Muller is a postdoctoral researcher and a member of the MAIA team (Intelligent and Autonomous Machine) at LORIA (Lorraine Laboratory of IT Research and its Applications) in France. The global research theme of G. Muller is the control of open and decentralized systems. From 2002 to 2006, he developed in collaboration with Laurent Vercouter a reputation model for the detection and exclusion of liars in peertopeer systems and published several papers internationally. In 2006, he worked at Aix-Marseille II University on the application of this model to the sharing of information in the Web 2.0. He is now a member of the LORIA, where he works on organizational modeling of the Air Traffic Management system, on the sharing of authority between humans and machines and on adjustable autonomy. He is also a member of the ART testbed initiative from its beginning and has participated in the development of the platform and the organization of the competitions.

Prof.dr. John-Jules Ch. Meyer studied mathematics with computer science and digital signal processing at Leyden University. In 1985 he obtained his Ph.D. from the Vrije Universiteit in Amsterdam on a thesis entitled "Programming Calculi Based on Fixed Point Transformations", a subject in theoretical computer science. From 1988 to 1993 he was a professor at the computer science department at the VU Amsterdam holding a chair in "Logic for distributed systems and artificial intelligence". From 1989 to 1993 he also was a professor of theoretical computer science at the Katholieke Universiteit Nijmegen. Since 1993 he has been a professor at the computer science department of Utrecht University (UU). At the moment he is heading the Intelligent Systems Group of the Institute of Computing and information Sciences of the UU. Prof. Meyer was also the scientific director of the national Dutch graduate school in Information and Knowledge-based Systems (SIKS) during the period 1995-2005. He is a member of the IFAAMAS board steering the international AAMAS conferences, and of the editorial boards of the Journal of Applied Non-Classical Logics, Data and Knowledge Engineering and the Journal of Intelligent Agents & Multi-Agent Systems. In 2005 he was appointed as a Fellow of the European Coordinating Committee for Artificial Intelligence. His current research interests include logics for AI, intelligent agents and cognitive robotics, and he has been involved with agent research for over a decade now, ranging from theoretical / logical foundations, via agent programming to the many applications that are currently being investigated in his group. A list of his publications can be obtained from my home page: http://www.cs.uu.nl/people/jj/

Jürgen Dix is full professor for Computational Intelligence at Clausthal University of Technology. He did his Master's at Heidelberg University (1986, Major Mathematics, minor Physics), his PhD at Karlsruhe University (1992, Computer Science) and his habilitation (1996, Databases and Information Systems) at the Technical University of Vienna (Austria). He worked as a visiting professor at the University of Maryland (1999, USA) and as an associate professor (Reader for Foundations of Knowledge Representation and Reasoning) at Victoria University Manchester (UK) from 2000-2004. He served as Head of Department (2004-2008) and since 2008 as Dean.
While he started his research in nonmonotonic reasoning and logic programming, he moved in the late nineties to the foundations of agent oriented programming. He is organising, jointly with Mehdi Dastani and Peter Novak the agent contest since 2005. He is editing, with Rafael Bordini, Mehdi Dastani and Amal El-Fallah Segrouchni a series of books on Multi-Agent Programming (Springer). He co-authored two monographs (MIT Press and Cambridge University Press), co-edited 13 books (Springer LNCS, LNAI, MASA) and nine special issues of various journals. He published more than 200 papers and gave more than 70 invited talks/tutorials (USA, UK, Australia, Argentina, France, Austria, Poland). He led a range of successful projects (ca.~1 Mio pounds) and organised more than 40 international conferences and workshops. He is on the PC of most conferences and workshops in computational logic, on the steering committees of ProMAS and CLIMA, and on the Editorial Boards of six journals.

Julian Padget is a senior lecturer at the University of Bath in the United Kingdom. He has been working on the design of implementation of multi-agent systems for 10 years (previous work was on programming language design, distributed systems and computer algebra), focusing primarily on the concepts of organisations and institutions, which are directly relevant to the content of the proposed tutorial. He has been an academic member of staff for 20 years and has taught a wide range of topics (functional languages, introductory programming, advanced compilers, software engineering) over this time. He has taught at the agent summer schools in 2006 and 2007.

Dr. Laurent Vercouter is an assistant professor and a member of the multiagent systems research department at the Ecole des Mines of SaintEtienne in France. The global research theme of Laurent Vercouter is decentralized multiagent systems and more specifically trust and reputation in MAS. In this field he developed in collaboration with Guillaume Muller a reputation model for the detection and exclusion of liars in peer-to-peer systems and published several papers internationally. In 2006, he has worked as an invited researcher at the University of Sao Paulo on ontological aspects of reputation. He is a member of the ART testbed initiative and is involved in the national project ForTrust about the formalization of trust for multiagent systems.

Leila Amgoud is a researcher at the French National Research Agency in I.R.I.T. (Institut de Recherche en Informatique de Toulouse). She is a specialist in argumentation theory. She has developed an original approach to preference-based argumentation, and has published several papers on applying argumentation for modeling decision making, learning, handling inconsistency, merging conflicting bases, and practical reasoning. She has also made significant contributions to work on argumentation based dialogue systems; in particular persuasion and negotiation dialogues. Dr. Amgoud has given three invited talks on argumentation, and its application in MAS. She also supervises Masters and PhD students working on argumentation, and gives a course on Argumentation based Dialogue for Master students at the René Descartes University in Paris.

Leon van der Torre is full professor in intelligent systems at the University of Luxembourg. His main research interest is logic for multiagent systems and knowledge representation. He developed the BOID agent architecture, the input/output logics and the game theoretic approach to normative multiagent systems. He organized workshops on normative multiagent systems and deontic logic (NORMAS05/NORMAS07/DEON08). Further details at: http://agamemnon.uni.lu/ILIAS/vandertorre

Dr. Luis Antunes holds a PhD in Computer Science from University of Lisbon (2001). He has been a researcher in Artificial Intelligence and Multi-Agent Systems since 1988, has participated in several research projects, and published more than 40 refereed scientific papers. After other teaching and research positions, he is now an Auxiliary Professor in Department of Informatics of the Faculty of Sciences of University of Lisbon, where he was until recently Vice-Head of Department. His long-term research goals deal with the construction of a methodology for principled experimentation with self-motivated agents in complex dynamic contexts. He recently founded the Group of Studies in Social Simulation (GUESS), a multi-disciplinary research group within the Institute for Science of Complexity (ICC), involving 16 (of which 7 PhDs) scientists, researchers and students from computer and social sciences. Within GUESS, he is conducting research projects involving multi-agent-based simulation applied to tax compliance greenhouse gases emission and policy rehearsal. During 2007 he was the Visiting International Fellow of the Institute of Social Research of the University of Surrey (Guildford). Luis Antunes is on the Program Committee of some of the most important international conferences on Multi-Agent Systems and Social Simulation, such as AAMAS, ESSA, WCSS and MABS. He was co-chair of the international workshops MABS'05, MABS'06, MABS'07 on Multi-Agent-Based Simulation, and co-editor of the Springer-Verlag proceedings volumes. He is now a member of MABS Steering Committee, of EUMAS Advisory Board, and will host AAMAS 2008 and ECAI 2010 as local organisation co-chair.

Marc Esteva is a postdoctoral researcher at the Artificial Intelligence Research Institute (IIIA) of the Spanish Scientific Research Council (CSIC). He holds a PhD in Computer Science form the Technical University of Catalonia (2003). He has been a researcher in Multiagent Systems since 1998 participating in several national and international projects. Mos of his work has focused on the development of normative multiagent systems based on the notion of electronic institution. Furthermore, he has lead the development of the Electronic Institutions Development Environment (EIDE) a set of tools that support the construction of electronic institutions. His main areas of research include normative multiagent systems, agent-oriented software engineering and agent mediated electronic commerce.

Marina De Vos is a lecturer at the University of Bath in the United Kingdom. Her main area of research is answer set programming (ASP), a logic programming formalism, and its applications. In current and previous work, she studied the relationship between ASP and classical game theory, logical games, multi-agent systems and virtual institutions. She was the vice-coordinator of the European work-group on answer set programming. Marina holds a postgraduate certificate in teaching and has several years of experience of teaching at various levels: high school, higher education and industry. She co-authored two papers on teaching multi-agent systems to undergraduates and postgraduates. She has taught at the agent summer schools in 2006 and 2007.

Mathijs de Weerdt completed his Master's in computer science at the Utrecht University. After that he did his PhD on "Plan Merging in Multiagent Systems" at the Delft University of Technology. Since then he is an assistant professor in the Algorithmics group there. In 2004 he obtained a VENI grant to study the interaction of efficient planning and task allocation algorithms with coordination mechanisms for self-interested agents. He has given tutorials on multiagent planning in previous editions of the EASSS and at the AAMAS, and a lecture on mechanism design in Delft.

Michael Luck is a Professor in the Department of Computer Science at King's College London, where he leads the Agents and Intelligent Systems group. He has been working in the field of autonomous agents and multi-agent systems since its early days, with over 150 publications.
His work has sought to take a principled approach to the development of practical agent systems, and spans: the development of an extensive formal framework for understanding and modelling intelligent agents and multi-agent systems; the formalisation of existing practical agent systems and theories; the development of information-based agent applications in domains such as genome analysis; norms and institutions; trust and reputation; agent infrastructure; and other areas.
Michael was a member of the Executive Committee of AgentLink III, the European Network of Excellence for Agent-Based Computing, having previously been the Director of AgentLink II. He was a co-founder of the European Multi-Agent Systems (EUMAS) workshop series, a member of the Management Board of Agentcities.NET, and is a Steering Committee member for the Central and Eastern European Conference on Multi-Agent Systems (CEEMAS). He was also a member of the Advisory Board for the European Agent Systems Summer Schools (until 2007) and for FIPA.
Michael is an editorial board member of the journal of Autonomous Agents and Multi-Agent Systems, the International Journal of Agent-Oriented Software Engineering, Web Intelligence and Agent Systems, and ACM Transactions on Autonomous and Adaptive Systems. He is principal author of AgentLink's two agent technology roadmaps, and has been involved in significant efforts to build bridges with industry and commerce.

Nicola Gatti obtained his PhD in 2005 from Politecnico di Milano, Italy, with a thesis on cooperative negotiations and multi-agent systems. From 2006 Nicola Gatti is Assistant Professor in the Department of Computer Science at the Politecnico di Milano. His main research interests concern: game theory, algorithms for game theory, negotiations and bargaining, mechanism design, multi-agent learning, and multi-agent planning. He has published about 30 papers in international journals, books, and conferences. Currently, he teaches: the course “Algorithmic Game Theory” in the PhD program in Computer Engineering and the course “Industrial Informatics” in the undergraduate program in Automation Engineering at Politecnico di Milano. From 2005 to 2008 he has been teaching assistant for the courses “Artificial Intelligence” and “Autonomous Agents and Multi-Agent Systems” in the graduate program in Computer Engineering.

Onn Shehory is a researcher at IBM research lab in Israel. He is also an adjunct faculty at several Israeli universities. Dr. Shehory has been studying, designing and developing agent-based systems for 13 years. He has a comprehensive knowledge of the leading technologies in the field, and has published dozens of papers, of which several ones directly address the topics of this tutorial. Onn Shehory has a rich teaching and lecturing experience. Since 1999, Dr. Shehory has taught several courses on agent technology at three institutes (Carnegie Mellon, Technion and Bar Ilan). Some of the materials for this tutorial were successfully presented in those courses. Dr. Shehory has also given several tutorials at international scientific meetings, including EASSS 2002, EASSS 2003, EASSS 2004, EASSS2005, AAMAS 2002, AAMAS 2003, AAMAS 2004, and AAMAS 2007.

Paul Harrenstein studied philosophy in Amsterdam. In 2004 he defended his PhD Thesis called /Logic in Conflict/ on logic and games, which he wrote at Utrecht University. After a year as tutor at the Delft University of Technology, he is now a post-doctoral researcher in the PAMAS (Preference Aggregation in Multi-agent Systems) project at the Ludwig-Maximilians-Universität in Munich, Germany. He has given tutorials on Game Theory at three previous editions of EASSS.

Dr. Paul Valckenaers is a Research Fellow of the IOF, the Industrial Research Fund of the K.U.Leuven (Belgium). The objective of the IOF is to bridge the gap between industry and academia. Paul Valckenaers received the applied mathematics engineering degree in 1983, the computer science engineering degree in 1985, and the mechanical engineering Ph. D. degree in 1993, all from the K.U.Leuven. Since 1986, Paul Valckenaers has been investigating decentralized control of manufacturing systems. He has published over 100 papers. He participated in over 10 EU projects, mostly as member of the technical board and twice as project coordinator.

Sanjay Modgil completed his PhD in computational logic at Imperial College, and is currently a post-doctoral research fellow at the Department of Computer Science, Kings College London (www.dcs.kcl.ac.uk/staff/modgilsa/). His doctoral and post-doctoral work has focussed on non-monotonic logics, belief revision, argumentation theory, and applications of these logic based models of reasoning in practical technologies. He has contributed to development of abstract argumentation frameworks that accommodate meta-level reasoning about arguments, and applications of these frameworks to agent reasoning. He has played a leading role in the development of architectures and standards for enabling argumentation based reasoning and dialogue in agent systems, and development of medical multi-agent systems deploying argumentation enabled agents. His work on a recent European research project (ASPIC ? www.argumentation.org) also involved coordinating transition of theoretical models of argumentation to implemented software components for deployment in agent systems.

Wojtek Jamroga did his Master's at the Gdansk University of Technology in Poland, and his PhD (Computer Science) at the University of Twente in the Netherlands. He works as a postdoc researcher at the Clausthal University of Technology (Germany) now. His main interests lie with theoretical approaches to multi-agent systems, especially modal logics for multi-agent systems, and game-theoretical models of agents' behaviour. He is in the PC of many conferences in MAS and AI, including AAMAS and ECAI.