Schedule

Schedule

Download Schedule as PDF

  Monday 14th July, 2014
Amphitheater Room 2041 Room 2042
9:15am

School opening

9:30am

A short intro to MAS and MAS research
with Michael Rovatsos

A short intro to MAS and MAS research
Presented by Michael Rovatsos
Located in Amphitheater

Introduction to Social Intelligence
with Pablo Noriega

Introduction to Social Intelligence
Presented by Pablo Noriega
Located in Amphitheater

10:30am

Coffee break

11:00am

Computational models of trust
with Carles Sierra

Computational models of trust
Presented by Carles Sierra
Located in Amphitheater

In this tutorial a description of the most used computational models of trust in multiagent systems will be given. The advantages and disadvantages will be discussed and some guidelines on when to use them will be presented. Slides now available for download.

An Introduction to Classical Single and Multi-Agent Planning
with Ronen Brafman

An Introduction to Classical Single and Multi-Agent Planning
Presented by Ronen Brafman
Located in Room 2041

I will provide a short introduction to AI planning, and in particular, planning via heuristic forward search, covering a few methods for heuristic generation. I will then describe MA-STRIPS, an extension of the classical STRIPS model, to multi-agent planning, and discuss some algorithms for solving problems in this model. The level of the introduction will depend...

12:45pm

Lunch break

2:30pm

Computational models of trust (continued)
with Carles Sierra

Computational models of trust (continued)
Presented by Carles Sierra
Located in Amphitheater

An Introduction to Classical Single and Multi-Agent Planning (continued)
with Ronen Brafman

An Introduction to Classical Single and Multi-Agent Planning (continued)
Presented by Ronen Brafman
Located in Room 2041

4:15pm

Closing Monday

7:00pm

Welcome reception

  Tuesday 15th July, 2014
Amphitheater Room 2041 Room 2042
9:15am

Intelligent Socio-Technical Interaction
with Virginia Dignum, Frank Dignum, and Catholijn Jonker

Intelligent Socio-Technical Interaction
Presented by Virginia Dignum, Frank Dignum, and Catholijn Jonker
Located in Amphitheater

Increasingly, software systems mediate between people or function as a partner in accomplishing joint tasks. As intermediaries between people or as partners in accomplishing joint tasks, software systems get more responsibility to start tasks, to react to failures and to find alternative ways to accomplish a task, that is, to act as if they are...

Algorithmic Aspects of Cooperative Games
with Edith Elkind

Algorithmic Aspects of Cooperative Games
Presented by Edith Elkind
Located in Room 2041

Cooperative game theory provides an important and powerful set of models and solution concepts through which cooperation in both natural and artificial social systems can be modelled and understood. However, several challenges must be overcome if cooperative game theory is to be used in an AI/computational setting: notably, the representation of cooperative games, and e...

Agent-Oriented Programming (Part I&II)
with Mehdi Dastani, Koen Hindriks, and João Leite

Agent-Oriented Programming (Part I&II)
Presented by Mehdi Dastani, Koen Hindriks, and João Leite
Located in Room 2041

With the significant advances in the area of autonomous agents and multi-agent systems in the last few years, promising technologies have emerged as a sensible alternative for the development and engineering of multi-agent systems. The result is a variety of programming languages, execution platforms, and tools that facilitate the development and engineering of multi-agent systems. This...

1:30pm

Lunch break

3:15pm

Human-Agent Collectives – Theories and Applications
with Sarvapali D. Ramchurn, and Trung Dong Huynh

Human-Agent Collectives – Theories and Applications
Presented by Sarvapali D. Ramchurn, and Trung Dong Huynh
Located in Room 2041

This tutorial will introduce attendees to a new theme of research called “Human-Agent Collectives” that deals with how to build systems involving humans and agents, working together in flexible relationships as part of teams. The tutorial will cover specific research areas including: Human-Agent Interaction: flexible autonomy in deployed agent-based systems, real-world coalition formation under uncertainty....

Sequential Decision Making for Cooperative Agents
with João V. Messias, and Stefan J. Witwicki

Sequential Decision Making for Cooperative Agents
Presented by João V. Messias, and Stefan J. Witwicki
Located in Room 2041

Decision making, the ability to choose actions under varied circumstances, is an integral skill for autonomous agents. This tutorial focuses on problems where agents face a sequence of such decisions, and where the consequences of their actions are uncertain. Formally, such problems require careful planning to optimize objectives given a mathematical model of the agents’...

7:15pm

Closing Tuesday

  Wednesday 16th July, 2014
Amphitheater Room 2041 Room 2042
9:15am

Auctions and non-cooperative games: theory and practice
with Onn Shehory

Auctions and non-cooperative games: theory and practice
Presented by Onn Shehory
Located in Room 2041

The course will begin with a brief introduction to non-cooperative games, presenting basic concepts and definitions. It will proceed with the basics of mechanisms. It will then focus auctions – theory and practice. The basic concepts of auctions will be presented. Then, several auction types will be discussed, including English and Dutch auctions, sealed bid...

Preference Handing
with Alexis Tsoukiàs

Preference Handing
Presented by Alexis Tsoukiàs
Located in Room 2041

The tutorial introduces a survey on how to learn, model, represent, aggregate, and use preferences, a key concept for any device or method addressing decision issues. Topics covered: binary relations; measurement theory; preference structures; representation theorems; preference aggregation; value and utility functions; preference learning; preferences and decisions; preferences and argumentation; examples.

Agent-Oriented Programming (Part III)
with Mehdi Dastani, Koen Hindriks, and João Leite

Agent-Oriented Programming (Part III)
Presented by Mehdi Dastani, Koen Hindriks, and João Leite
Located in Room 2042

With the significant advances in the area of autonomous agents and multi-agent systems in the last few years, promising technologies have emerged as a sensible alternative for the development and engineering of multi-agent systems. The result is a variety of programming languages, execution platforms, and tools that facilitate the development and engineering of multi-agent systems. This...

1:30pm

Excursion to nearby beach

9:00pm

School dinner

  Thursday 17th July, 2014
Amphitheater Room 2041 Room 2042
9:15am

Voting: foundations and computational issues
with Jérôme Lang

Voting: foundations and computational issues
Presented by Jérôme Lang
Located in Amphitheater

This tutorial will give an introduction to voting theory, with a focus on computational aspects and other issues that are of particular interest to the MAS community. The first part of the tutorial will give the background on social choice, discuss some of the most famous impossibility theorems and their impact, then present the most...

Multiple ontologies in Multi-Agent systems
with George Vouros

Multiple ontologies in Multi-Agent systems
Presented by George Vouros
Located in Room 2041

1:15pm

Lunch break

3:00pm

Dynamic mechanism design and its applications
with Enrico Gerding, and Mathijs de Weerdt

Dynamic mechanism design and its applications
Presented by Enrico Gerding, and Mathijs de Weerdt
Located in Amphitheater

When designing a system for self-interested agents, one needs to take into account that these agents may behave strategically. In the field of mechanism design (inverse game theory) there are a number of well established methods to design socially optimal system allocating resources for rational agents in static settings, such as the well-known class of...

Logics for multi-agent systems: an overview
with Andreas Herzig

Logics for multi-agent systems: an overview
Presented by Andreas Herzig
Located in Room 2041

Formal models for multi-agent systems (MAS) have been introduced and studied in various areas, not only in distributed systems and AI, but also in economics and the social sciences. The tutorial focuses on logical models of the central concepts of knowledge, belief, time, and action. It overviews the existing logics for MAS from a knowledge...

7:00pm

Closing Thursday

  Friday 18th July, 2014
Amphitheater Room 2041 Room 2042
9:15am

Norm Synthesis in Normative Multi-Agent Systems
with Maite López Sánchez

Norm Synthesis in Normative Multi-Agent Systems
Presented by Maite López Sánchez
Located in Amphitheater

Formal analysis of social concepts
with Andrew J.I. Jones

Formal analysis of social concepts
Presented by Andrew J.I. Jones
Located in Room 2041

In a recent paper (“The design of intelligent socio-technical systems”, Artificial Intelligence Review vol 39(1), 2013, pp.5-20, Andrew J I Jones, Alexander Artikis & Jeremy V Pitt) we argue that there is often too little attention paid to matters of conceptual detail in research in the Agents and Multi-agent Systems area; we then propose a...

1:15pm

Lunch break

3:00pm

Engineering Competitive MAS
with Marek Sergot, and Alexander Artikis

Engineering Competitive MAS
Presented by Marek Sergot, and Alexander Artikis
Located in Amphitheater

The tutorial is concerned with engineering multi-agent systems which operate in open, dynamic and potentially hostile environments; whose components are heterogeneous entities which may act selfishly; and where agent interactions are unpredictable due to the unavailability of access to the internals of the agents. In electronic marketplaces, for example, agents are programmed by different parties with conflicting goals. Therefore,...

Argumentation Based models of Agent Reasoning and Communication
with Sanjay Modgil

Argumentation Based models of Agent Reasoning and Communication
Presented by Sanjay Modgil
Located in Room 2041

This tutorial teaches fundamental concepts in logic-based models of argumentation and dialogue, and discusses the benefits of such models for agent reasoning and communication. Students will first be taught the fundamentals of logic-based argumentation, rationality postulates for argumentation, and the conditions under which these postulates are satisfied. Argument game proof theories will then be presented,...

7:00pm

Farewell Do