Category: Uncategorized

Sep 16

M2 internship: Structural properties of Dynamic Epistemic Arenas

Description This internship subject is purely theoretical to provide a crucial understanding of phenomena arising in multi-agent systems analysis. Multi-agent systems behaviours can be modelled by combining two ingredients (as proposed in Dynamic Epistemic Logic [vDvHK2007]): 1. Epistemic models, that we call “situations”, represent a static situation: these are graphs whose vertices are possible worlds …

Continue reading »

Jul 21

Your first news

Welcome to Teams Sites. This is your first news.