Searching for "Logic for Automated Mechanism Design and Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

– Thesis: “Independent agents in branching time: Towards a unified framework for reasoning
by Curriculum Vitae, Publications Of Nicolas Troquard, Laure Vieu
… of Liverpool within the Agent ART group. – Project: Logic for Automated Mechanism Design and Analysis. Funded…
Add To MetaCart

Logic for Automated Mechanism Design — A Progress Report
by Michael Wooldridge, Thomas Agotnes, Paul E. Dunne, Wiebe Hoek — In TwentySecond Conference on Artificial Intelligence (AAAI-07), 2007. Institute of Logic, Language and Computation, University of Amsterdam, Plangtage Muidergracht 24, 1018 TV, Amsterdam E-mail address: epacuit@science.uva.nl
… logics for automated mechanism design and analysis. Cooperation logics were developed independently…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB