Searching for authors named "Marc Pauly" – sorted by Relevance.

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

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

9 documents found, showing 1 through 9.

On the Role of Language in Social Choice Theory
by Marc Pauly — 2005
…On the Role of Language in Social Choice Theory Marc Pauly ∗ November 17, 2005 Abstract Axiomatic…
Add To MetaCart

Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming
by Marc Pauly — 1997 — Master's thesis, Institute for Logic, Language and Computation
… Programming Marc Pauly September 11, 1997 1 Introduction 1.1 How to model actions Programs can be viewed…
Cited by 1 (1 self) – Add To MetaCart

Game Logic for Game Theorists
by M. Pauly, Marc Pauly — 2000
… Amsterdam (NL) Telephone +31 20 592 9333 Telefax +31 20 592 4199 Game Logic for Game Theorists Marc Pauly…
Cited by 4 (0 self) – Add To MetaCart

A Modal Logic for Coalitional Power in Games
by Marc Pauly — 2002
…A Modal Logic for Coalitional Power in Games MARC PAULY, Center for Mathematics and Computer…
Cited by 76 (4 self) – Add To MetaCart

Programming and Verifying Subgame Perfect Mechanisms
by Marc Pauly — 2002 — Journal of Logic and Computation
…Programming and Verifying Subgame Perfect Mechanisms Marc Pauly June 17, 2002 Abstract…
Cited by 9 (0 self) – Add To MetaCart

Logic for Mechanism Design - A Manifesto
by Marc Pauly, Michael Wooldridge — 2003 — In Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-2003
…Logic for Mechanism Design --- A Manifesto Marc Pauly and Michael Wooldridge Department…
Cited by 8 (3 self) – Add To MetaCart

Axiomatising Nash-Consistent Coalition Logic
by Helle Hvid Hansen, Marc Pauly — 2002 — ILLC, University of Amsterdam
…Axiomatising Nash-Consistent Coalition Logic Helle Hvid Hansen Marc Pauly y April 12, 2002…
Cited by 3 (2 self) – Add To MetaCart

Acknowledgments
by Please Contact, Academisch Proefschrift, Marc Pauly, Prof. Dr. J. Van Eijck
…Logic for Social Software Marc PaulyLogic for Social SoftwareILLC Dissertation Series 2001…
Add To MetaCart

Additional Reviewers
by Ulle Endriss, Jérôme Lang (eds, John Bartholdi, Vincent Conitzer, Thibault Gajdos, Edith Hemaspaandra, Wiebe Van Der Hoek, Olivier Hudry, Nicolas Maudet, Eric Pacuit, Marc Pauly, Hans Peters, Jörg Rothe, Université Paris-panthéon-sorbonne, Université Paul Sabatier, Yann Chevaleyre, Arantza Estévez-fernández, Lane Hemaspaandra, Christopher Homan
… Marc Pauly Hans Peters Jörg Rothe CWI & Universiteit van Amsterdam Georgia Institute of Technology Duke…
Add To MetaCart

Showing 1 through 9.

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