default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMunyque Mittelmann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j3]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Formal verification and synthesis of mechanisms for social choice. Artif. Intell. 339: 104272 (2025)- 2024
- [c23]Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano:
Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI 2024: 17308-17316 - [c22]Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano:
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS 2024: 160-169 - [c21]Wojciech Jamroga, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli:
Playing Quantitative Games Against an Authority: On the Module Checking Problem. AAMAS 2024: 926-934 - [c20]Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher:
Verification of General Games with Imperfect Information Using Strategy Logic. KR 2024 - [c19]David Hyland, Munyque Mittelmann, Aniello Murano, Giuseppe Perelli, Michael J. Wooldridge:
Incentive Design for Rational Agents. KR 2024 - [e1]Diego Aineto, Riccardo De Benedictis, Marco Maratea, Munyque Mittelmann, Gianpiero Monaco, Enrico Scala, Luciano Serafini, Ivan Serina, Francesco Spegni, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
Proceedings of the International Workshop on Artificial Intelligence for Climate Change, Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (AI4CC-IPS-RCRA-SPIRIT 2024) co-located with 23rd International Conference of the Italian Association for Artificial Intelligence AIxIA 2024, November 25-28th, 2024, Bolzano, Italy. CEUR Workshop Proceedings 3883, CEUR-WS.org 2024 [contents] - [i6]Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano:
Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR abs/2401.12170 (2024) - 2023
- [c18]Munyque Mittelmann
, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Formal Verification of Bayesian Mechanisms. AAAI 2023: 11621-11629 - [c17]Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret:
Representing and Reasoning about Auctions. AAMAS 2023: 1388-1390 - [c16]Aniello Murano, Silvia Stranieri, Munyque Mittelmann:
Multi-Agent Parking Problem with Sequential Allocation. ICAART (3) 2023: 484-492 - [c15]Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Discounting in Strategy Logic. IJCAI 2023: 225-233 - [c14]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. KR 2023: 726-731 - [c13]Francesco Noviello, Munyque Mittelmann, Aniello Murano, Silvia Stranieri:
Parking Problem with Multiple Gates. PAAMS 2023: 213-224 - [i5]Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Discounting in Strategy Logic. CoRR abs/2305.15256 (2023) - [i4]Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano:
Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR abs/2310.17240 (2023) - 2022
- [b1]Munyque Mittelmann:
Logics for Representation and Design of Auctions. (Logiques pour la représentation et la conception d'enchères). Toulouse 1 University Capitole, France, 2022 - [j2]Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel:
Representing and reasoning about auctions. Auton. Agents Multi Agent Syst. 36(1): 20 (2022) - [c12]Munyque Mittelmann:
Formally Reasoning about Strategies in Mechanisms. OVERLAY@AI*IA 2022: 21-26 - [c11]Munyque Mittelmann:
Logics for Reasoning about Auctions (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA 2022 - [c10]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71 - [c9]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Synthesis of Mechanisms with Strategy Logic. ICTCS 2022: 47-52 - [c8]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Automated Synthesis of Mechanisms. IJCAI 2022: 426-432 - [i3]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - 2021
- [c7]Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel:
A General Framework for the Logical Representation of Combinatorial Exchange Protocols. AAMAS 2021: 1602-1604 - [c6]Munyque Mittelmann, Andreas Herzig, Laurent Perrussel:
Epistemic Reasoning About Rationality and Bids in Auctions. JELIA 2021: 116-130 - [c5]Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Strategic Reasoning in Automated Mechanism Design. KR 2021: 487-496 - [i2]Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel:
A General Framework for the Logical Representation of Combinatorial Exchange Protocols. CoRR abs/2102.02061 (2021) - 2020
- [c4]Munyque Mittelmann, Laurent Perrussel:
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. ECAI 2020: 825-832 - [c3]Munyque Mittelmann, Laurent Perrussel:
Game Description Logic with Integers: A GDL Numerical Extension. FoIKS 2020: 191-210 - [c2]Munyque Mittelmann, Laurent Perrussel:
An Epistemic Logic for Reasoning about Strategies in General Auctions. ICLP Workshops 2020
2010 – 2019
- 2019
- [j1]Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim:
Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents. RITA 26(2): 69-80 (2019) - [c1]Munyque Mittelmann, Jerusa Marchi, Aldo von Wangenheim:
A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering. ICAISC (1) 2019: 314-323 - [i1]Munyque Mittelmann, Laurent Perrussel:
Game Description Logic with Integers: A GDL Numerical Extension. CoRR abs/1912.01876 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-18 02:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
