Filtrer vos résultats
- 5
- 5
- 6
- 2
- 1
- 1
- 10
- 1
- 5
- 3
- 2
- 10
- 10
- 2
- 1
- 1
- 10
- 9
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
Strategic Reasoning in Automated Mechanism Design18th 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
|
||
|
Game Description Logic with Integers: A GDL Numerical ExtensionFoundations 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
|
||
|
Logics for Representation and Design of AuctionsMultiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩
Thèse
tel-04086849v1
|
||
|
Synthesis of Mechanisms with Strategy Logic (Short Paper)23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6
Communication dans un congrès
hal-03879258v1
|
||
|
Automated Synthesis of Mechanisms31st 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
|
||
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st 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
|
||
|
A General Framework for the Logical Representation of Combinatorial Exchange Protocols20th 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
|
||
|
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets24th 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
|
||
Representing and reasoning about auctionsAutonomous Agents and Multi-Agent Systems, 2022, 36, pp.article 20. ⟨10.1007/s10458-022-09547-9⟩
Article dans une revue
hal-03605655v1
|
|||
|
Epistemic Reasoning About Rationality and Bids in AuctionsLogics 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
|