( en | de | ru )

 

Disambiguierung von "Wooldridge, Michael J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rational Verification: From Model Checking to Equilibrium Checking.

, , , , , und . AAAI, Seite 4184-4191. AAAI Press, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael J Thate

Michael J Grabher

Michael J Munkert

Michael J Hartmann

Michael J Schramm

 

Weitere Publikationen von Autoren mit dem selben Namen

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111)., , , und . Dagstuhl Reports, 7 (3): 27-32 (2017)Verifying Multi-agent Programs by Model Checking., , , und . Auton. Agents Multi Agent Syst., 12 (2): 239-256 (2006)Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities., , , , und . Auton. Agents Multi Agent Syst., 34 (1): 11 (2020)Power and welfare in bargaining for coalition structure formation., , und . Auton. Agents Multi Agent Syst., 30 (5): 899-930 (2016)Sequential auctions for common value objects with budget constrained bidders., , und . Multiagent Grid Syst., 6 (5-6): 403-414 (2010)The complexity of agent design problems: Determinism and history dependence., und . Ann. Math. Artif. Intell., 45 (3-4): 343-371 (2005)Anytime coalition structure generation in multi-agent systems with positive or negative externalities., , , und . Artif. Intell., (2012)Report on the Second International Joint Conference on Autonomous Agents and Multiagent Systems., und . AI Magazine, 25 (1): 105-106 (2004)On the logic of cooperation and propositional control., und . Artif. Intell., 164 (1-2): 81-119 (2005)On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language., , , und . J. Artif. Intell. Res., (2007)