Recherche - Archive ouverte HAL

	Pour les 10 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Strategic Reasoning in Automated Mechanism Design Bastien Maubert , Munyque Mittelmann , Aniello Murano , Laurent Perrussel 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2021, Hanoii, Vietnam. pp.487-496, ⟨10.24963/kr.2021/46⟩ Communication dans un congrès hal-03594785v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Game Description Logic with Integers: A GDL Numerical Extension Munyque Mittelmann , Laurent Perrussel Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩ Chapitre d'ouvrage hal-03594786v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Logics for Representation and Design of Auctions Munyque Mittelmann Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩ Thèse tel-04086849v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Synthesis of Mechanisms with Strategy Logic (Short Paper) Munyque Mittelmann , Bastien Maubert , Aniello Murano , Laurent Perrussel 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6 Communication dans un congrès hal-03879258v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated Synthesis of Mechanisms Munyque Mittelmann , Bastien Maubert , Aniello Murano , Laurent Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22), IJCAI Organization, Jul 2022, Vienna, Austria. pp.426-432, ⟨10.24963/ijcai.2022/61⟩ Communication dans un congrès hal-03879237v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Munyque Mittelmann , Aniello Murano , et al. 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71 Communication dans un congrès hal-03666430v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A General Framework for the Logical Representation of Combinatorial Exchange Protocols Munyque Mittelmann , Sylvain Bouveret , Laurent Perrussel 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604 Communication dans un congrès hal-03298975v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Auction Description Language (ADL): General Framework for Representing Auction-Based Markets Munyque Mittelmann , Laurent Perrussel 24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain. pp.825-832, ⟨10.3233/FAIA200172⟩ Communication dans un congrès hal-03594789v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Representing and reasoning about auctions Munyque Mittelmann , Sylvain Bouveret , Laurent Perrussel Autonomous Agents and Multi-Agent Systems, 2022, 36, pp.article 20. ⟨10.1007/s10458-022-09547-9⟩ Article dans une revue hal-03605655v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Epistemic Reasoning About Rationality and Bids in Auctions Munyque Mittelmann , Andreas Herzig , Laurent Perrussel Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩ Chapitre d'ouvrage hal-03573581v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩

Filtrer vos résultats

Strategic Reasoning in Automated Mechanism Design

Game Description Logic with Integers: A GDL Numerical Extension

Logics for Representation and Design of Auctions

Synthesis of Mechanisms with Strategy Logic (Short Paper)

Automated Synthesis of Mechanisms

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Auction Description Language (ADL): General Framework for Representing Auction-Based Markets

Representing and reasoning about auctions

Epistemic Reasoning About Rationality and Bids in Auctions