Seguir
Munyque Mittelmann
Título
Citado por
Citado por
Ano
Strategic reasoning in automated mechanism design
B Maubert, M Mittelmann, A Murano, L Perrussel
Proceedings of the International Conference on Principles of Knowledge …, 2021
192021
Automated synthesis of mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022
162022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
F Belardinelli, W Jamroga, V Malvone, M Mittelmann, A Murano, ...
21st International Conference on Autonomous Agents and Multiagent Systems …, 2022
122022
Auction description language (ADL): General framework for representing auction-based markets
M Mittelmann, L Perrussel
ECAI 2020, 825-832, 2020
92020
A general framework for the logical representation of combinatorial exchange protocols
M Mittelmann, S Bouveret, L Perrussel
AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent …, 2021
62021
Formal verification of bayesian mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11621 …, 2023
52023
Representing and reasoning about auctions
M Mittelmann, S Bouveret, L Perrussel
Autonomous Agents and Multi-Agent Systems 36 (1), 20, 2022
42022
Game description logic with integers: A GDL numerical extension
M Mittelmann, L Perrussel
Foundations of Information and Knowledge Systems: 11th International …, 2020
32020
Previsão de Casos de Dengue em Guarulhos com Redes Neurais Artificiais Multicamadas e Recorrentes
M Mittelmann, DG Soares
Revista de Informática Aplicada 13 (2), 2017
32017
Strategic abilities of forgetful agents in stochastic environments
F Belardinelli, W Jamroga, M Mittelmann, A Murano
arXiv preprint arXiv:2310.17240, 2023
22023
Multi-Agent Parking Problem with Sequential Allocation.
A Murano, S Stranieri, M Mittelmann
ICAART (3), 484-492, 2023
22023
An Epistemic Logic for Reasoning about Strategies in General Auctions
M Mittelmann, L Perrussel
ICLP Workshops, 2020
22020
A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering
M Mittelmann, J Marchi, A von Wangenheim
Artificial Intelligence and Soft Computing: 18th International Conference …, 2019
22019
Parking problem with multiple gates
F Noviello, M Mittelmann, A Murano, S Stranieri
International Conference on Practical Applications of Agents and Multi-Agent …, 2023
12023
Verification of Bayesian Mechanisms with Strategy Logic
M Mittelmann, B Maubert, A Murano, L Perrussel
Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA …, 2023
12023
Formally Reasoning about Strategies in Mechanisms.
M Mittelmann
OVERLAY@ AI* IA 3311, 21-26, 2022
12022
Logics for Representation and Design of Auctions
M Mittelmann
Universitè de Toulouse, 2022
12022
Epistemic Reasoning About Rationality and Bids in Auctions
M Mittelmann, A Herzig, L Perrussel
European Conference on Logics in Artificial Intelligence, 116-130, 2021
12021
Natural Strategic Ability in Stochastic Multi-Agent Systems
R Berthon, JP Katoen, M Mittelmann, A Murano
arXiv preprint arXiv:2401.12170, 2024
2024
Discounting in strategy logic
M Mittelmann, A Murano, L Perrussel
arXiv preprint arXiv:2305.15256, 2023
2023
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20