ACSOS 2024
Mon 16 - Fri 20 September 2024 Aarhus, Denmark
Tue 17 Sep 2024 15:30 - 15:40 at Stakladen - Doctoral Symposium

An adaptive agent changes its behavior in response to the changes it observes in its operating environment. Conversely, it exhibits a particular behavior in between adaptations. It is beneficial for other agents to know when an agent is engaged in one kind of behavior rather than another to plan their activities. To these ends, an agent can offer a specification of its behavior, as well as when and how that behavior may change. Altogether, forming a promise, i.e., an indication of what the behavior might be when a follow-up request reaches the agent. However, promises can have different temporal horizons. The shorter the horizon, the more communication events are needed to keep other agents informed about the (perspective) behavior of an agent, and more re-planning needs to take place. In this work, we explore what such promises might look like by drawing inspiration from long-running research in temporal logics. Doing so permits us to leverage existing techniques for program synthesis from temporal specifications for planning.

Tue 17 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:30
Doctoral SymposiumDoctoral Symposium at Stakladen
15:30
10m
Doctoral symposium paper
Adaptive Multi-Agent Programming with Promises
Doctoral Symposium
Oleks Shturmov University of Oslo & University of Copenhagen
15:40
10m
Doctoral symposium paper
An Adaptive Autonomous Aerial System for Dynamic Field Animal Ecology Studies
Doctoral Symposium
Jenna Kline The Ohio State University, USA
15:50
10m
Doctoral symposium paper
BDI for Autonomic Computing
Doctoral Symposium
Martina Baiardi University of Bologna
16:00
10m
Doctoral symposium paper
Intelligent Pulverised Collective-adaptive Systems
Doctoral Symposium
16:10
10m
Doctoral symposium paper
Many-Objective Centralized Adaptation Planning: Towards Hybrid Self-Adaptive and Self-Organizing Systems
Doctoral Symposium
16:20
10m
Doctoral symposium paper
Multiplatform Self-Organizing Systems Through a Kotlin-MP Implementation of Aggregate Computing
Doctoral Symposium
Angela Cortecchia Alma Mater Studiorum - Università di Bologna & Consortium GARR
File Attached
16:30
10m
Doctoral symposium paper
Towards Interference-Resilient Multi-Tenant Microservices via Spatio-Temporal Models of Self-Configuration
Doctoral Symposium
Iqra Zafar Hasso Plattner Institute, Digital Engineering Faculty, University of Potsdam
16:40
10m
Doctoral symposium paper
Towards Self-Adaptive Cooperative Learning in Collective Systems
Doctoral Symposium
Davide Domini Alma Mater Studiorum - Università di Bologna
16:50
30m
Talk
̶P̶i̶c̶t̶u̶r̶e̶ Reproducible Experiments or Didn't Happen
Doctoral Symposium
Danilo Pianini University of Bologna