Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Strategic reasoning for socially good mechanisms

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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.

Publikacje

Verification of Bayesian Mechanisms with Strategy Logic

Autorzy: Munyque Mittelmann; Bastien Maubert; Aniello Murano; Laurent Perrussel
Opublikowane w: Proceedings of Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2023), 2023, ISSN 1613-0073
Wydawca: CEUR Workshop Proceedings

Natural Strategic Ability in Stochastic Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Raphaël Berthon; Joost-Pieter Katoen; Munyque Mittelmann; Aniello Murano
Opublikowane w: AAAI Conference on Artificial Intelligence, 2024, ISSN 2374-3468
Wydawca: AAAI Press
DOI: 10.1609/AAAI.V38I16.29678

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Galimullin, Rustam; Mittelmann, Munyque; Motamed, Nima; Gladyshev, Maksim; Galimullin, Rustam; Gladyshev, Maksim; Mittelmann, Munyque; Motamed, Nima
Opublikowane w: Proc. of the 24th Inter- national Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Wydawca: IFAAMAS
DOI: 10.5555/3709347.3743601

Incentive Design for Rational Agents (odnośnik otworzy się w nowym oknie)

Autorzy: David Hyland; Munyque Mittelmann; Aniello Murano; Giuseppe Perelli; Michael Wooldridge
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Wydawca: IJCAI Organization
DOI: 10.24963/KR.2024/44

Natural Strategic Ability in Stochastic Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Berthon, Raphaël; Katoen, Joost-Pieter; Mittelmann, Munyque; Murano, Aniello
Opublikowane w: Crossref, 2024
Wydawca: Arxiv
DOI: 10.48550/arxiv.2401.12170

Rational Capability in Concurrent Games (odnośnik otworzy się w nowym oknie)

Autorzy: Mittelmann, Munyque; Li, Yinfeng; Lorini, Emiliano; Li, Yinfeng; Lorini, Emiliano; Mittelmann, Munyque
Opublikowane w: Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025
Wydawca: IFAAMAS
DOI: 10.5555/3709347.3743763

Verification of General Games with Imperfect Information Using Strategy Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Yifan He; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024
Wydawca: IJCAI Organization
DOI: 10.24963/KR.2024/40

Formal Verification and Synthesis of Mechanisms for Social Choice (odnośnik otworzy się w nowym oknie)

Autorzy: Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Opublikowane w: Artificial Intelligence, 2024, ISSN 0004-3702
Wydawca: Elsevier BV
DOI: 10.1016/j.artint.2024.104272

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0