Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Strategic reasoning for socially good mechanisms

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data Management Plan (s’ouvre dans une nouvelle fenêtre)

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.

Communication, Dissemination & Exploitation Plan (s’ouvre dans une nouvelle fenêtre)

The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.

Publications

Verification of Bayesian Mechanisms with Strategy Logic

Auteurs: Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel
Publié dans: Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Éditeur: CEUR Workshop Proceedings

Natural Strategic Ability in Stochastic Multi-Agent Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano
Publié dans: AAAI Conference on Artificial Intelligence, 2024, ISSN 2374-3468
Éditeur: AAAI Press
DOI: 10.1609/AAAI.V38I16.29678

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Galimullin, Rustam; Mittelmann, Munyque; Motamed, Nima; Gladyshev, Maksim; Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
Publié dans: Proc. of the 24th Inter- national Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Éditeur: IFAAMAS
DOI: 10.5555/3709347.3743601

Incentive Design for Rational Agents (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael Wooldridge
Publié dans: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Éditeur: IJCAI Organization
DOI: 10.24963/KR.2024/44

Natural Strategic Ability in Stochastic Multi-Agent Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Publié dans: Crossref, 2024
Éditeur: Arxiv
DOI: 10.48550/arxiv.2401.12170

Rational Capability in Concurrent Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mittelmann, Munyque; Li, Yinfeng; Lorini, Emiliano; Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Publié dans: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Éditeur: IFAAMAS
DOI: 10.5555/3709347.3743763

Verification of General Games with Imperfect Information Using Strategy Logic (s’ouvre dans une nouvelle fenêtre)

Auteurs: Yifan He; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher
Publié dans: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Éditeur: IJCAI Organization
DOI: 10.24963/KR.2024/40

Formal Verification and Synthesis of Mechanisms for Social Choice (s’ouvre dans une nouvelle fenêtre)

Auteurs: Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Publié dans: Artificial Intelligence, 2024, ISSN 0004-3702
Éditeur: Elsevier BV
DOI: 10.1016/j.artint.2024.104272

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0