Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020)

8-10 May 2020

Welcome

Welcome to the website of the 10th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2020). LAMAS 2020 will be a satellite workshop of AAMAS 2020, which will take place May 9-13, 2020 in Auckland, New Zealand. More information on the conference website: https://aamas2020.conference.auckland.ac.nz/

LAMAS 2020 will be the main event of the LAMAS research network and will continue the successful series of LAMAS workshops which includes:

Organization

Because of the covid-19 AAMAS 2020 and associated workshops will be entirely virtual. In order to allow for questions and interaction, which are fundamental aspects of a workshop, we chose to have live presentations. The conference will be held on Zoom.
If you would like the recording of one of the sessions, please write to lamas2020@easychair.org before June 11 2020.

In order to try and make it possible to attend for people on the different continents, the workshop is held over three days: May 8, 9 and 10, at the following time:

May 8:
  • 22:30 - 01:15 New Zealand time
  • 10:30 - 13:15 UTC
May 9 and 10:
  • 22:30 - 00:30 New Zealand time
  • 10:30 - 12:30 UTC

Call for Papers

LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, game theory, and more.

LAMAS2020 will be the next annual event of the LAMAS research network and will continue the series of LAMAS workshops (previous editions were 2002, 2007, 2010, 2011, 2012, 2013, 2014, 2015, 2017). The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:

  • Logical systems for modeling, specification, analysis and synthesis of MAS
  • Deductive systems and decision procedures for logics for MAS
  • Algorithmic methods for formal verification of MAS
  • Logic-based tools for MAS
  • Applications of logics in MAS

Submissions

Authors are invited to submit extended abstracts of 2 pages plus 1 page for references in the AAMAS format, reporting their work in one of two categories: either original and unpublished, or published (or accepted for publication) in the last 12 months. Submissions are subject to a single-blind review process (submissions should not be anonymous).

All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. We envisage that extensions of selected papers will be invited to a journal post-proceedings.

Submission webpage: https://easychair.org/conferences/?conf=lamas2020

Invited Speakers

Giuseppe De Giacomo

BIO: Giuseppe De Giacomo is full professor in Computer Science and Engineering at Univ. Roma “La Sapienza". His research activity has concerned theoretical, methodological and practical aspects in different areas of AI and CS, most prominently Knowledge Representation, Reasoning about Actions, Generalized Planning, Autonomous Agents, Service Composition, Business Process Modeling, Data Management and Integration. He is AAAI Fellow, ACM Fellow, and EurAI Fellow. He is Program Chair of ECAI 2020. He was awarded an ERC Advanced Grant for the project WhiteMech: White-box Self Programming Mechanisms (2019-2024).

Title of the talk: Synthesizing Agent Behaviors in an Environment (i.e., Modern Reasoning about Actions and Planning)

Abstract:

One of the core abilities for an agent is to deliberate how to accomplish a task. This is related to synthesis in Formal Methods, and to reasoning about actions and planning in AI. However one crucial distinction between the two is that in Reasoning about Actions and Planning an agent is equipped with a model of the environment (aka "world", or "domain") where the agent acts in. This distinction is important, since the environment model seldom changes, while the task that the agent has to accomplish changes unceasingly as the agent acts in its environment. We focus on LTL on finite and infinite traces, and discuss how we can generalize the environment models from nondeterministic domains, traditionally used in reasoning about action and planning, to general action theories expressed in LTL, while keeping deliberating about the agent behavior (aka planing or synthesis) manageable.

Accepted Papers

  • Natasha Alechina, Stéphane Demri and Brian Logan: An Outline of Parameterised Resource-Bounded ATL
  • Line van den Berg, Manuel Atencia and Jérôme Euzenat: Agent Ontology Alignment Repair through Dynamic Epistemic Logic
  • Line van den Berg, Jérôme Euzenat and Manuel Atencia: Unawareness in Multi-Agent Systems with Partial Valuations
  • Rafael Bordini, Rem Collier, Jomi Hübner and Alessandro Ricci: Encapsulating Reactive Behaviour in Goal-based Plans for Programming BDI Agents
  • Julian Gutierrez, Muhammad Najib, Giuseppe Perelli and Michael Wooldridge: On Computational Tractablity for Rational Verification
  • Damian Kurpiewski, Wojtek Jamroga and Michał Knapik: STV: Model Checking for Strategies under Imperfect Information
  • Laure Petrucci, Michał Knapik, Wojciech Penczek and Teofil Sidoruk: Squeezing State Spaces of (Attack-Defence) Trees
  • Abdallah Saffidine and Valentin Mayer-Eichberger: Positional Games and QBF: The Corrective Encoding
  • Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi and Sheila A. McIlraith: Epistemic Plan Recognition
  • Tomasz Wąs, Marcin Waniek, Talal Rahwan and Tomasz Michalak: The Manipulability of Centrality Measures--An Axiomatic Approach
  • Zuojun Xiong, Thomas Ågotnes and Yuzhi Zhang: The Logic of Secrets

Program

May 8:

NZ UTC
22:30 10:30 Invited talk: Giuseppe de Giacomo. Synthesizing Agent Behaviors in an Environment (i.e., Modern Reasoning about Actions and Planning)
23:30 11:30 break
23:45 11:45 Zuojun Xiong, Thomas Ågotnes and Yuzhi Zhang. The Logic of Secrets
00:15 12:15 Line van den Berg, Manuel Atencia and Jérôme Euzenat. Agent Ontology Alignment Repair through Dynamic Epistemic Logic
00:45 12:45 Line van den Berg, Jérôme Euzenat and Manuel Atencia. Unawareness in Multi-Agent Systems with Partial Valuations

May 9:

NZ UTC
22:30 10:30 Natasha Alechina, Stéphane Demri and Brian Logan. An Outline of Parameterised Resource-Bounded ATL
23:00 11:00 Julian Gutierrez, Muhammad Najib, Giuseppe Perelli and Michael Wooldridge. On Computational Tractability for Rational Verification
23:30 11:30 Damian Kurpiewski, Wojtek Jamroga and Michał Knapik. STV: Model Checking for Strategies under Imperfect Information
00:00 12:00 Abdallah Saffidine and Valentin Mayer-Eichberger. Positional Games and QBF: The Corrective Encoding

May 10:

NZ UTC
22:30 10:30 Tomasz Wąs, Marcin Waniek, Talal Rahwan and Tomasz Michalak. The Manipulability of Centrality Measures—An Axiomatic Approach
23:00 11:00 Rafael Bordini, Rem Collier, Jomi Hübner and Alessandro Ricci. Encapsulating Reactive Behaviour in Goal-based Plans for Programming BDI Agents
23:30 11.30 Laure Petrucci, Michał Knapik, Wojciech Penczek and Teofil Sidoruk. Squeezing State Spaces of (Attack-Defence) Trees
00:00 12:00 Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi and Sheila A. McIlraith. Epistemic Plan Recognition

Program Committee

  • Bastien Maubert, University of Naples (PC Chair)
  • Aniello Murano, University of Naples (PC Chair)
  • Sasha Rubin, University of Sydney (PC Chair)
  • Thomas Agotnes, University of Bergen, Norway
  • Francesco Belardinelli, Imperial College London, UK
  • Tim French, University of Western Australia, Australia
  • Guido Governatori, Data61, CSIRO, Australia
  • Wojtek Jamroga, University of Luxembourg and Polish Academy of Sciences
  • Ron van der Meyden, University of New South Wales, Australia
  • Jorge A. Pérez, University of Groningen, Netherlands
  • Sophie Pinchinat, Université de Rennes, France
  • Abdallah Saffidine, University of New South Wales, Australia
  • Hans van Ditmarsch, CNRS, France
  • Michael Winikoff, Victoria University of Wellington, New Zealand

Important Dates

Paper submission: Extended to February 24, 2020
Authors notification: March 10, 2020
Camera-ready deadline: March 24, 2020
Workshop: May 8-10, 2020

Proceedings

The workshop does not have formal proceedings, but if you would like a copy of the informal proceedings please write to lamas2020@easychair.org, and we will send you a link to the proceedings as soon as they are ready.