Marc Pauly, Michael Wooldridge  Home/Search
Context Related
| csc.liv.ac.uk/~mjw/pub...gtdt2003.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csc.liv.ac.uk/~mjw/pubs/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We advance two main claims. The first is that logics --- and in particular, modal strategy logics --- are a powerful formal tool for representing and reasoning about the properties of game theoretic mechanisms. The second is that techniques developed for the formal specification and verification of computer systems (and in particular, the use of logic for specification, and automated verification via model checking) can be usefully applied to mechanism design problems. We begin by reviewing the ... (Update)
Cited by: More
On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005) (Correct)
Similar documents (at the sentence level):
6.5%: Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (Correct)
Active bibliography (related documents): More All
0.8: Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (Correct)
0.8: Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
0.6: Knowledge and Social Laws - van der Hoek, Roberts, Wooldridge (2005) (Correct)
Similar documents based on text: More All
0.4: Alternating-time Temporal Logic - Alur, Henzinger, Kupferman (1997) (Correct)
0.3: Co-Evolutionary Auction Mechanism Design: A Preliminary.. - Phelps, McBurney.. (2002) (Correct)
0.3: Private Public Choice - Brandt (2003) (Correct)
BibTeX entry: (Update)
M. Pauly, M. Wooldridge, Logic for mechanism design---a manifesto, in: Proceedings of the 2003. http://citeseer.ist.psu.edu/pauly03logic.html More
@misc{ pauly03logic,
author = "M. Pauly and M. Wooldridge",
title = "Logic for mechanism design---a manifesto",
text = "M. Pauly, M. Wooldridge, Logic for mechanism design---a manifesto, in:
Proceedings of the 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/pauly03logic.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
828 Model Checking - Clarke, Grumberg et al. - 2000
725 Temporal and modal logic (context) - Emerson - 1990
650 An axiomatic basis for computer programming (context) - Hoare - 1969
604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
362 Dynamic Logic - Harel, Kozen et al. - 2000
138 Social Choice and Individual Values (context) - Arrow - 1951
119 Alternating-time temporal logic - Alur, Henzinger et al. - 1997
119 Alternating-time temporal logic - Alur, Henzinger et al. - 2002
80 Mocha: Modularity in model checking - Alur, Henzinger et al. - 1998
55 Algorithmic mechanism design - Nisan, Ronen - 1999
50 Fun and Games: A Text on Game Theory (context) - Binmore - 1992
31 Auction Theory (context) - Krishna - 2002
23 Tractable multiagent planning for epistemic goals - van der Hoek, Wooldridge - 2002
16 A modal logic for coalitional power in games - Pauly - 2002
12 MOCHA user manual (context) - Alur, de Alfaro et al. - 2000
11 On modal logic interpretations for games - Harrenstein, van der Hoek et al. - 2002
11 ILLC Dissertation Series - Pauly, Social et al. - 2001
7 The Correctness Problem in Computer Science (context) - Boyer, Moore - 1981
7 Bulletin of Economic Research (context) - Baltag, for et al. - 2002
6 Social software (context) - Parikh - 2002
5 Coalition games and alternating temporal logics - Goranko - 2001
5 A logical framework for coalitional effectivity in dynamic p.. (context) - Pauly - 2002
4 and cooperation: Alternating-time temporal epistemic logic a.. (context) - van der Hoek, Wooldridge et al. - 2003
4 Extensive games as process models (context) - van Benthem - 2002
4 Model checking cooperation (context) - van der Hoek, Wooldridge - 2003
3 Cambridge University Press: Cambridge (context) - Blackburn, de Rijke et al. - 2001
1 A computer scientist looks at game theory (context) - Halpern - 2001
Documents on the same site (http://www.csc.liv.ac.uk/~mjw/pubs/): More
A Decision Procedure for a Temporal Belief Logic - Wooldridge, Fisher (1994) (Correct)
Towards a Theory of Cooperative Problem Solving - Wooldridge (1996) (Correct)
Agent-Based Computing - Wooldridge (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC