@string{ijcai05= "Proc. 19th International Joint Conference on Artificial Intelligence"} @string{ijcai07= "Proc. 20th International Joint Conference on Artificial Intelligence"} @string{ijcai09= "Proc. 21st International Joint Conference on Artificial Intelligence"} @string{aaai04 = "Proc. of AAAI-04"}

deliriousattackInternet et le développement Web

4 déc. 2013 (il y a 5 années et 1 mois)

587 vue(s)

@string{ijcai05= "Proc. 19th International Joint Conference on Artificial

Intelligence"}

@string{ijcai07= "Proc. 20th International Joint Conference on Artificial

Intelligence"}

@string{ijcai09= "Proc. 21st International Joint Conference on Artificial

Intelligence"}


@string{aaai04 = "Proc. of AAAI
-
04"}

@string{aaai06 = "Proc. of AAAI
-
06"}


@InProceedings{PRAX,


author = {Alon Altman and Moshe Tennenholtz},


title = {Ranking systems: the {PageRank} axioms},


booktitle = {EC '05: Proceedings of the 6th A
CM conference on Electronic
commerce},


year = {2005},


isbn = {1
-
59593
-
049
-
3},


pages = {1
--
8},


location = {Vancouver, BC, Canada},


doi = {http://doi.acm.org/10.1145/1064009.1064010},


publisher = {ACM Press},


address = {New York, NY, USA}

}


@inprocee
dings{AFRS,


author = {Alon Altman and


Moshe Tennenholtz},


title = {On the Axiomatic Foundations of Ranking Systems.},


booktitle = ijcai05,


year = {2005},


pages = {917
-
922},


ee = {http://www.ijcai.org/papers/0374.pdf},


bibsource = {DBLP, http://dblp.uni
-
trier.de}

}


@inproceedings{ec06incentives,

author={Alon Altman and Moshe Tennenholtz},

title={Incentive Compatible Ranking Systems},

booktitle = {Proc. of AAMAS
-
07}
,

location = {Honolulu, Hawaii, USA},

year={2007}}



@inproceedings{kic,


author = {Alon Altman and


Moshe Tennenholtz},


title = {Quantifying Incentive Compatibility of Ranking Systems.},


booktitle = aaai06,


year = {2006},


bibsource = {DBLP, http://dblp.uni
-
trier.de}

}



@inproceedings{personalized,

author={Alon Altman and Moshe Tennenholtz},

title={An Axiomatic Approach to Personalized Ranking Systems},

booktitle=ijcai07,

year={2007}

}



@article{normativejournal,


title = {Axiomatic Foundations for Ranking Systems},


author={Alon Altman and Moshe Tennenholtz},


year={2008},


journal = {Journal of Artifical Intelligence Research (JAIR)},


volume = {31},


year = {2008},


pages

= {473
-
495}

}


@article{personalized
-
journal,

author={Alon Altman and Moshe Tennenholtz},

title={An Axiomatic Approach to Personalized Ranking Systems},

year={2009},

journal={Journal of the ACM},

note="to appear"

}


@inproceedings{DBLP:conf/atal/AltmanT0
8,


author = {Alon Altman and Moshe Tennenholtz},


title = {Strategyproof deterministic lotteries under broadcast
communication},


year = {2008},


pages = {1549
-
1552},


ee = {http://doi.acm.org/10.1145/1402821.1402922},


bookti
tle = {7th International Joint Conference on Autonomous Agents


and Multiagent Systems (AAMAS 2008), Estoril, Portugal,


May 12
-
16, 2008, Volume 3},


isbn = {978
-
0
-
9817381
-
2
-
3}

}


@article{scope
-
dom
-
kobi,


author = {Alon Altman and Ya'Acov Peterzil and Yoad Winter},


title = {Scope Dominance with Upward Monotone Quantifiers},


journal = {J. of Logic, Lang. and Inf.},


volume = {14},


number = {4},


year = {2005},


issn = {0925
-
8531},


pages = {445
--
455},


d
oi = {http://dx.doi.org/10.1007/s10849
-
005
-
4960
-
6},


publisher = {Kluwer Academic Publishers},


address = {Hingham, MA, USA}


}


@article{scope
-
dom
-
comp,


author = {Alon Altman and Yoad Winter},


title = {Computing Dominant Readings with Upward Monotone Qu
antifiers},


journal = {Research on Language and Computation},


volume = {3},


number = {1},


month = {April},


year = {2005},


pages = {1
--
43}}


@article{heb
-
treebank,


author = {Khalil Sima'an and Alon Itai and Yoad Winter and Alon Altman
and Noa Nativ},


title = {Bulding a Tree
-
Bank of Modern Hebrew Text},


journal = {Traitement automatique des langues},


volume = {42},


month = {2},


year = {2001},


pages = {347
--
380}


}


@inproceedings{AKW,

AUTHOR = "Alon Altman and Edward Keenan and Yoad Winter",

YEAR

= {2001},

TITLE = "Monotonicity and relative scope relations",

BOOKTITLE = "Proceedings of the 14th Amsterdam Colloquium"

}


@phdthesis{altmanphd,


AUTHOR = "Alon Altman",


TITLE = "The Axiomatic Approach to Ranking Systems",


SCHOOL = "Technion
--

Israel Institution of Technology",


YEAR = {2007}

}


@mastersthesis{altmanmsc,


AUTHOR = "Alon Altman",


TITLE = "Computation and Specification of Scope Dominance with
Monotone Quantifiers in Natural Language",


SCHOOL = "Technion
--

Israel Institu
tion of Technology",


YEAR = {2003}

}


@InProceedings{ECML
-
learning,


Author


= {Alon Altman and Avivit Bercovici
-
Boden and
Moshe Tennenholtz},


Title


= {Learning in One
-
Shot Strategic Form Games.},


BookTitle

= {Proceedings of ECML 2006},


Pages


=
{6
-
17},


Year


= {2006}

}


@inproceedings{comsoc08Tour,


Author = {Thuc Vu and Alon Altman and Yoav Shoham},


Title = {On the Agenda Control Problem for Knockout
Tournaments},


BookTitle = {Proceedings of the 2nd International Worksho
p on


Computational Social Choice (COMSOC
-
2008)},


Pages = {415
--
426},


Year = {2008}}


@inproceedings{aamas09tour,


Author = {Thuc Vu and Alon Altman and Yoav Shoham},


Title = {On the Complexity of Schedu
le Control Problems for
Knockout Tournaments},


booktitle = {Proc. of AAMAS
-
09},


year = {2009}}


@inproceedings{ijcai09nonmanip,


Author = {Alon Altman and Ariel Procaccia and Moshe Tennenholtz},


Title = {Nonmanipulable Selec
tions from a Tournament},


Year = {2009},


booktitle = ijcai09}


@inproceedings{ijcai09pool,


Author = {Chris Archibald and Alon Altman and Yoav Shoham},


Title = {Analysis of a winning computational billiards player},


Year = {2009},


booktitle = ijcai09}


@unpublished{ijcai09tour,


Author = {Thuc Vu and Alon Altman and Yoav Shoham},


Title = {Optimal Seeding in Balanced Knockout Tournaments of
Realistic Size},


Year = {2009},


note = {unpublished.}}


@article{ShohamIntentionJPL2009,


author = {Shoham, Yoav},


journal = {Journal of Philosophical Logic, to appear},


title = {Logical theories of intention and the database
perspective},


year =
2009

}


@article{AOP,


title={{Agent
-
oriented programming}},


author={Shoham, Y. and others},


journal={Artificial intelligence},


volume={60},


number={1},


pages={51
--
92},


year={1993},


publisher={Springer}

}


@article{shoham1995social,


title={{On social laws for artificial agent societies: Off
-
line
design}},


author={Shoham, Y. and Tennenholtz, M.},


journal={Artificial Intelligence},


volume={73},


number={1
-
2},


pages={231
--
252},


year={1995},


publisher={Elsevier}

}


@article
{shoham1997emergence,


title={{On the emergence of social conventions: modeling, analysis, and
simulations}},


author={Shoham, Y. and Tennenholtz, M.},


journal={Artificial Intelligence},


volume={94},


number={1},


pages={139
--
166},


year={1997},



publisher={Amsterdam: North
-
Holland Pub. Co., 1970
-
}

}



@inproceedings{Lamarre1994,


title={{Knowledge, certainty, belief, and conditionalisation}},


author={Lamarre, P. and Shoham, Y.},


booktitle={Principles of Knowledge Representation and Reasoning
: Proc.
Fourth International Conference (KR?94)},


pages={415
--
424},


year={1994}

}


@book{Lessig,


title={{Code and other laws of cyberspace}},


author={Lessig, L.},


year={1999},


publisher={Basic Books}

}


@book{LOGO,


title={{Computer science Logo style}},


author={Harvey, B.},


year={1997},


publisher={MIT press}

}


@article{DeanMcDermott,


title={{Temporal data base management}},


author={Dean, T.L. and McDermott, D.},


journal={Artificial intelligence},


vol
ume={32},


number={1},


pages={1
--
55},


year={1987},


publisher={Elsevier Science Publishers Ltd. Essex, UK}

}


@book{McCarthyHayes,


title={{Some philosophical problems from the standpoint of artificial
intelligence}},


author={McCarthy, J. and Hayes, P.},


year={1968},


publisher={Stanford University, Computer Science}

}


@misc{White2008,


title={{MMOGData: Charts}},


author={White, P.},


year={2008},


publisher={Gloucester, United Kingdom}

}


@book{Sheffield2008
,


title={{Understanding free
-
to
-
play: Nexon's Min Kim speaks out}},


author={Sheffield, B.},


year={2008},


publisher={Gamasutra, 5.}

}


@article{Fox2009,


title={{Virtual Reality: A Survival Guide for the Social Scientist}},


author={Fox, J. and Ar
ena, D. and Bailenson, J.N.},


journal={Journal of Media Psychology},


volume={21},


number={3},


pages={95
--
113},


year={2009}

}


@article{Williams2008b,


title={{Who plays, how much, and why? Debunking the stereotypical gamer
profile}},


author={Williams, D. and Yee, N. and Caplan, S.E.},


journal={Journal of Computer
-
Mediated Communication},


volume={13},


number={4},


pages={993
--
1018},


year={2008},


publisher={Blackwell Publishing Inc}

}


@article{Williams2008,


title={{The ma
pping principle, and a research framework for virtual
worlds}},


author={Williams, D.},


journal = {Working paper},


year={2008},


publisher={Blackwell Publishing Inc}

}


@book{McLuhan,


title={{Understanding media: The extensions of man}},


author={
McLuhan, M.},


year={1987},


publisher={Routledge}

}



@inproceedings{kalai95games,


author = "E. Kalai",


title = "Games, Computers, and {O.R}",


booktitle = "{ACM/SIAM} Symposium on Discrete Algorithms",


page = "468
-
473",


year = "1995"


}


@INCOLLECTION{LinealSurvey1994,


AUTHOR = {N.~Linial},


TITLE = {Game theoretic Aspects of Computing},


BOOKTITLE = {Handbook of Game Theory},


PUBLISHER = {Elsevier Science},


YEAR = {1994},


volume = 2,


pages = {1339
--
1395},


Note = {R.~J.~Aumann and S.~Hart (eds.)}

}


@article{PapadimitriouSurvey2001,


author = "Christos H. Papadimitriou",


title = "Algorithms, Games, and the {Internet}",


journal = "Lecture Notes in Computer Science",


volume = "2076",


year = "2001
",

}


@article{HalpernSurvey2003,


author={J.~Y.~Halpern},


title={A computer scientist looks at game theory},


journal={Games and Economic Behavior},


year = 2003,


volume=45,


number=1,


pages = {114
--
132}

}


@INCOLLECTION{HalpernSurvey2008,


AUTHOR = {J.~Y.~Halpern},


TITLE = {Computer Science and Game Theory: A brief survey},


BOOKTITLE = {The New Palgrave Dictionary of Economics},


PUBLISHER = {Palgrave MacMillan},


YEAR = {2008},


Note = {S.~N.~Durlauf and L.~E.~
Blume (eds.)}

}


@article{RoughgardenSurvey2008,

author = "T. Roughgarden",

title = "Computing Equilibria: A Computational Complexity Perspective",

journal = "Economic Theory",

year = 2008

}


@INPROCEEDINGS{KLS01graphical,

AUTHOR = {M.~J. Kearns and M.~L.
Littman and S.~P. Singh},

TITLE = {Graphical Models for Game Theory},

BOOKTITLE = {UAI},

YEAR = {2001},

}


@inproceedings{KLB03localeffect,

author = "K. Leyton
-
Brown and M. Tennenholtz",

title = "Local
-
Effect Games",

booktitle = "IJCAI",

year = "2003"

}


@INPROCEEDINGS{LaMura2000,

AUTHOR = {P. LaMura},

TITLE = {Game Networks},

BOOKTITLE = {UAI},

YEAR = {2000},

}


@INPROCEEDINGS{KollerMilch01,

AUTHOR = {D. Koller and B. Milch},

TITLE = {Multi
-
Agent Influence Diagrams for Representing and Solving
Games},

BOO
KTITLE = {IJCAI},

YEAR = {2001}

}


@ARTICLE{DengPapadimitriou94,


AUTHOR = {X. Deng and C.~H. Papadimitriou},


TITLE = {On the Complexity of Cooperative Solution Concepts},


JOURNAL = {Mathematics of Operations Research},


YEAR =
{1994},


volume = {19},


pages = {257}

}


@article{GilboaZemel89b,


author = {I. Gilboa and E. Zemel},


year = {1989},


title = {Nash and correlated equilibria: Some complexity
considerations},


journal = {Games and Economic Behavior},


volume = 1,


pages = {80
--
93}

}



@InProceedings{ConitzerSandholm04,


author = {V. Conitzer and T. Sandholm},


title = {Computing {S}hapley Values, Manipulating Value Division


Schemes, and Checking COre Membership in Multi
-
Is
sue


Domains},


booktitle = {AAAI},


year = 2004

}


@InProceedings{IeongShoham06,


author = {S. Ieong and Y. Shoham},


title = {Multi
-
Attribute Coalitional Games},


booktitle = {{EC}'06: Proceedings of the 7th ACM

conference on


electronic commerce},


pages = {170
--
179},


year = 2006

}



@inproceedings{NisanRonenAMD,


author = "Noam Nisan and Amir Ronen",


title = "Algorithmic mechanism design",


booktitle = "Proc.
\

31st {ACM} {Symp.}
\

on Theory of Computing",


pages = "129
--
140",


year = 1999

}




@book{CABook06,


title={Combinatorial Auctions},


editor={P.~C. Cramton and Y. Shoham and R. Steinberg},


year={2006},


publisher={{MIT} Press}

}


@BOOK{Roughgarden2005,


AUTHOR = {T. Roughgarden},


TITLE = {Selfish routing and the price of anarchy},


PUBLISHER = {{MIT} Press},


YEAR = {2005}

}


@ARTICLE{Edelman07,


AUTHOR = {Edelman, B. and Schwarz, M. and Ostrovsky,
M.},


TITLE = {Internet Advertising and the Generalized Second Price
Auction: Selling Billions of Dollars Worth of Keywords},


JOURNAL = {American Economic Review},


YEAR = {2007},


volume = {97},


number = {1},


pages = {242
--
259},


month = {March}

}


@inproceedings{ChenDeng06,


title = {Settling the Complexity of 2
-
Player {Nash}
-
Equilibrium},


author = {X. Chen and X. Deng},


booktitle = {{FOCS}},


year = 2006

}


@article{Papa94,


author={C.~H. Pap
adimitriou},


title = {On the Complexity of the Parity Argument and Other Inefficient
Proofs of Existence},


journal = {Journal of Computer and System Sciences},


volume = 48,


number = 3,


pages = {498
--
532},


year = 1994

}


@INPROCEEDINGS{ConitzerSandhol
m2003,

author = {V. Conitzer and T. Sandholm},

title = {Complexity Results about {Nash} Equilibria},

booktitle = {IJCAI},

year = {2003},

pages = {761
--
771}

}



@INCOLLECTION{vonStengel2002,

author = {B. von Stengel},

year = {2002},

title = {Computing
equilibria for two
-
person games},

editor = {Robert Aumann and Sergiu Hart},

booktitle = {Handbook of Game Theory},

volume = {III},

chapter = {45},

pages = {1723
--
1759},

publisher ={Amsterdam: Elsevier} }



@inproceedings{PorterNudelmanShoham,


title={Simpl
e search methods for finding a {Nash} equilibrium},


author={Porter, R. and Nudelman, E. and Shoham, Y.},


booktitle={{AAAI'04}: Proceedings of the National Conference on
Artificial Intelligence},


pages={664
--
669},


year = 2004

}


@BOOK{AGTBook,


editor =

{Nisan, N. and Roughgarden, T. and Tardos, E. and
Vazirani, V.},


TITLE = {Algorithmic Game Theory},


PUBLISHER = {Cambridge University Press},


YEAR = {2007}

}


@BOOK{ShohamLeytonBrownMAS,


author = {Y. Shoham and K. {Leyton
-
Brown}},


TITLE = {Multiagent Systems: Algorithmic, game theoretic, and
logical foundations},


PUBLISHER = {Cambridge University Press},


YEAR = {2008}

}


@article{AIJ
-
MAL
-
SpecialIssue,


journal

= "Artificial Intelligence",


title = "Special issue on Foundations of Multiagent Learning",


author = "R.~Vohra and M.~P.~Wellman~(eds.)",


volume = "171",


number = "1",


year = "2007"}



@article{MLJ
-
MAL
-
SpecialIssue,


author = {A.~Greenwald

and M.~L.~{Littman}~(Eds.)},


title = {Special issue on learning and computational game theory},


journal = {Machine Learning},


volume = {67},


number = {1
-
2},


year = {2007},


publisher = {Kluwer Academic Publishers}

}


@article{ShohamPowersGrenagerAIJ2007,


journal = "Artificial Intelligence",


note = "Special issue on Foundations of Multiagent Learning",


author = "Y. Shoham and W.~R. Powers and T. Grenager",


title = "If multiagent learning is the answer, what
is the question?",


publisher = "Elsevier",


volume = "171",


number = "1",


pages = "365
-
377",


year = "2007"}


@BOOK{FHMVbook,


AUTHOR = "R. Fagin and J.~Y. Halpern and Y. Moses and M.~Y.
Vardi",


TITLE = "Reasoning about Knowledge
",


PUBLISHER = "MIT Press",


YEAR = "1995"

}


@INCOLLECTION{BelrevChapterHandbook,


AUTHOR = {P. Pappas},


TITLE = {Belief Revision},


BOOKTITLE = {Handbook of Knowledge Representation},


PUBLISHER = {Elsevier},


YEAR =

{2007},


Note = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter
(eds.)}

}


@INCOLLECTION{NonmonChapterHandbook,


AUTHOR = {G. Brewka, I. Niemela and M. Truszczynski},


TITLE = {Nonmonotonic Reasoning},


BOOKTITLE = {Handbook of Knowledge Representation},


PUBLISHER = {Elsevier},


YEAR = {2007},


Note = {Frank van Harmelen and Vladimir Lifschitz and Bruce Porter
(eds.)}

}



@book{vanBenthemInformationDynamics,


author = {J. van Benthem},


ti
tle = {Exploring Logical Dynamics},


year = {1997},


isbn = {1
-
57586
-
059
-
7},


publisher = {Center for the Study of Language and Information},


address = {Stanford, CA, USA}


}


@inproceedings{benthem99when,


author = "J. van Benthem",


title = "When are Tw
o Games the Same?",


booktitle = "LOFT
-
III",


year = "1998",


note="(ILLC preprint, 1999)"

}



@book{Rubinstein98,


title={Modeling Bounded Rationality},


author={Rubinstein, A.},


year={1998},


publisher={{MIT} Press}

}


@article{Neyman85,


author = {A. Neyman},


title = {Bounded complexity justifies cooperation in finitely repeated
prisoner's dilemma},


journal = {Economic Letters},


pages = {227
--
229},


year = 1985

}


@inproceedings{PapadimitriouYannakakis94,


title={On Bounded Rationality

and Computational Complexity},


author={C.~H. Papadimitriou and M. Yannakakis},


booktitle={{STOC}: Proceedings of the Symposium on the Theory of
Computing},


pages={726
--
733},


year={1994}

}


@article{TennenholtzPgmEqm,


author = {M. Tennenholtz},


title

= {Program equilibrium},


journal = {Games and Economic Behavior},


volume=49,


pages = {363
--
373},


year = 2004

}


@book{TACbook07,


title={Autonomous Bidding Agents: Strategies and Lessons from the
Trading Agent Competition},


author={M.~P. Wellman and A. Greenwald and P. Stone},


year={2007},


publisher={{MIT} Press}

}


@inproceedings{ZinkevichEtAlAAAI07,


author = "M. Zinkevich and M. Bowling and and N. Burch",


title = "A new algorithm for generating equilibria in massiv
e zero
-
sum
games",


booktitle = "Proceedings of the Twenty
-
Second Conference on Artificial
Intelligence (AAAI)",


pages = "788
--
793",


year = "2007" }


@inproceedings{gmytrasiewicz95rigorous,


author = "P.~J.~Gmytrasiewicz and E.~H.~Durfee",


tit
le = "A rigorous, operational formalization of recursive modeling",


booktitle = "Proceedings of the First International Conference on
Multi
-
Agent Systems ({ICMAS}
-
95)",


publisher = "AAAI Press",


address = "San Francisco, CA, USA",


editor = "V.~
Lesser and L.~Gasser",


year = "1995" }


@book{SavageBook,


author = "L.~J. Savage",


title = "The Foundations of Statistics",


year = "1954",


publisher = "John Wiley and Sons",


address = "New York",


Note = "(Second Edition, Dover Press, 1
972)"


}


@book{Bratman,


title = {Intention, Plans, and Practical Reason},


author = "M.~E. Bratman",


publisher = "{CSLI} Publications, Stanford University",


year = 1987


}


@article{CohenLevesque1,


author = {P.~R. Cohen and H.~J. Levesque},


title = {Intention is choice with commitment},


journal = {Artificial Intelligence},


volume = {42},


number = {2
-
3},


year = {1990},


pages = {213
--
261},


publisher = {Elsevier Science Publishers Ltd.},


addres
s = {Essex, UK},


}


@book{MinskyEmotionsBook,


title = {The Emotion Machine: Commonsense Thinking, Artificial
Intelligence, and the Future of the Human Mind},


author = "M.~Minsky",


publisher = "Simon and Shuster",


year = 2007


}


@article{Kal
aiMarseilleAddress,


author = "E.~Kalai",


title = "Presidential Address, The Second {W}orld {C}ongress of the
{G}ame {T}heory {S}ociety, {M}arseille 2004",


journal = "Games and Economic Behavior",


note = "Special issue, to appear (P. Reny, ed.)",


year = "2008" }


@Book{vonNeumannMorgenstern2nd,


author = {J. von Neumann and O. Morgenstern},


title = {Theory of Games and Economic Behavior, Second Edition},


publisher = {Princeto
n University Press},


edition = {Second},


year = 1947

}


@INPROCEEDINGS{paper1,

AUTHOR = {Ben Blum and Christian R. Shelton and Daphne Koller},

TITLE = {A Continuation Method for {N}ash Equilibria in Structured
Games},

booktitle = {Proceeding
s of the Eighteenth International Joint Conference
on Artificial Intelligence},

PAGES = {757
--
764},

YEAR={2003}}


@INPROCEEDINGS{paper3,

AUTHOR = {Srihari Govindan and Robert Wilson},

TITLE = {Structure Theorems for Game Trees},

booktitle = {Proceedings of

the National Academy of Sciences USA},

PAGES = {9077
--
9080},

YEAR={2002},

NOTE={}}


@ARTICLE{paper4,

AUTHOR = {Srihari Govindan and Robert Wilson},

TITLE = {Computing {N}ash Equilibria by Iterated Polymatrix
Approximation},

journal = {Journal of Economic
Dynamics and Control},

VOLUME = {28}, PAGES = {1229},

YEAR={2004},

NOTE={}}


@ARTICLE{paper5,


author={Yossi Feinberg and Andrzej Skrzypacz},


title={Uncertainty about Uncertainty and Delay in Bargaining},


journal={Econometrica},


year=2005,


volume=
{73},


number={1},


pages={69
-
91},


month={01},


url={http://ideas.repec.org/a/ecm/emetrp/v73y2005i1p69
-
91.html}

}


@ARTICLE{paper6,

AUTHOR = {Yossi Feinberg and Marco Scarsini},

TITLE = {Rate of Arbitrage and Reconciled Beliefs},

journal = {Economics
Bulletin},

VOLUME = {4}, PAGES = {1},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper7,

AUTHOR = {Carlos Guestrin and Michail Lagoudakis and Ronald Parr},

TITLE = {Coordinated Reinforcement Learning},

booktitle = {The Nineteenth International Conference on
Machine
Learning},

PAGES = {227
--
234},

YEAR={2002},

NOTE={}}


@ARTICLE{paper8,

AUTHOR = {Carlos Guestrin and Daphne Koller and Ronald Parr and Shobha
Venkataraman},

TITLE = {Efficient Solution Algorithms for Factored {MDP}s},

journal = {Journal of Artifici
al Intelligence Research},

VOLUME = {19}, PAGES = {399},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper9,

AUTHOR = {Robert McGrew and Ryan Porter and Yoav Shoham},

TITLE = {Towards a General Theory of Non
-
Cooperative Computation},

booktitle = {Proceedings of
the Ninth Conference on Theoretical Aspects
of Rationality and Knowledge},

PAGES = {59},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper10,

AUTHOR = {Ryan Porter and Yoav Shoham},

TITLE = {On Cheating in Sealed
-
Bid Auctions},

booktitle = {Proceedings of the Fo
urth ACM Conference on Electronic
Commerce},

PAGES = {76
--
84},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper11,

AUTHOR = {Kevin Leyton
-
Brown and Moshe Tennenholtz},

TITLE = {Local Effect Games},

booktitle = {Proceedings of the Eighteenth International Joint
Conference
on Artificial Intelligence},

PAGES = {772
--
780},

YEAR={2003},

NOTE={}}


@article{paper12,

title = "Fair imposition",

journal = "Journal of Economic Theory",

volume = "118",

number = "2",

pages = "209
-

228",

year = "2004",

note = "",

issn = "002
2
-
0531",

doi = "DOI: 10.1016/j.jet.2003.11.005",

url = "http://www.sciencedirect.com/science/article/B6WJ3
-
4BN0GGP
-
2/2/fb6ef3cb277809bd428e43bd2cb78a6d",

author = "Ryan Porter and Yoav Shoham and Moshe Tennenholtz",

keywords = "Game theory",

keywords = "Me
chanism design",

keywords = "Fairness"

}



@INPROCEEDINGS{paper13,

AUTHOR = {Kevin Leyton
-
Brown and Eugene Nudelman and Galen Andrews and
Jim McFadden and Yoav Shoham},

TITLE = {A Portfolio Approach to Algorithm Selection},

booktitle = {Proceedings of the
Ninth International Conference on
Principles and Practice of Constraint Programming},

PAGES = {1542
--
1543},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper14,

AUTHOR = {Kevin Leyton
-
Brown and Eugene Nudelman and Galen Andrews and
Jim McFadden and Yoav Shoham},

TITLE = {Boosting as a Metaphor for Algorithm Design},

booktitle = {Proceedings of the Ninth International Conference on
Principles and Practice of Constraint Programming},

PAGES = {899
--
903},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper15,

AUTHOR = {Kevin

Leyton
-
Brown and Eugene Nudelman and Yoav Shoham},

TITLE = {Learning the Empirical Hardness of Optimization Problems: the
case of combinatorial auctions},

booktitle = {Proceedings of the Eighth International Conference on
Principles and Practice of Constr
aint Programming},

PAGES = {556
--
572},

YEAR={2002},

NOTE={}}


@INPROCEEDINGS{paper16,

AUTHOR = {Ryan Porter and Amir Ronen and Yoav Shoham and Moshe
Tennenholtz},

TITLE = {Fault Tolerant Mechanism Design},

booktitle = {Proceedings of the Eighteenth Interna
tional Conference on
Uncertainty in Artificial Intelligence},

PAGES = {414},

YEAR={2002},

NOTE={}}


@inproceedings{paper17,


author = {Trond Grenager and


Rob Powers and


Yoav Shoham},


title = {Dispersion Games: General Definitions and Some Specific


Learning Results},


booktitle = {AAAI/IAAI},


year = {2002},


pages = {398
-
403},


bibsource = {DBLP, http://dblp.uni
-
trier.de}

}


@INPROCEEDINGS{paper18,

AUT
HOR = {Kevin Leyton
-
Brown and Yoav Shoham and Moshe Tennenholtz},

TITLE = {Bidding Clubs in First
-
Price Auctions},

booktitle = {Proceedings of the Fourteenth National Conference on
Artificial Intelligence},

PAGES = {373
--
378},

YEAR={2002},

NOTE={}}


@INPRO
CEEDINGS{paper19,

AUTHOR = {Kar
\
'en Pivazyan and Yoav Shoham},

TITLE = {Polynomial
-
Time Reinforcement Learning of Near
-
Optimal
Policies},

booktitle = {Proceedings of the Eighteenth National Conference on
Artificial Intelligence},

PAGES = {205},

YEAR={2002}
,

NOTE={}}


@ARTICLE{paper20,

AUTHOR = {Yoav Shoham and Moshe Tennenholtz},

TITLE = {Non
-
Cooperative Computation: Boolean Functions with Correctness
and Exclusivity},

journal = {Journal of Theoretical Computer Science},

VOLUME = {343}, NUMBER = {1
-
2},
PAGES = {97
--
113},

Month={October},

YEAR={2005},

NOTE={}}


@INPROCEEDINGS{paper21,

AUTHOR = {C. Guestrin and D. Koller and C. Gearhart and N. Kanodia},

TITLE = {Generalizing Plans to New Environments in Relational {MDP}s},

booktitle = {Proceedings of the E
ighteenth International Joint Conference
on Artificial Intelligence},

PAGES = {1003
--
1010},

YEAR={2003},

NOTE={}}


@ARTICLE{paper22,

AUTHOR = {Andrew Postlewaite and Robert Wilson},

TITLE = {Introduction to the Special Issue in Memory of {R}obert {W}.
{R}o
senthal},

journal = {Games and Economic Behavior},

VOLUME = {45}, PAGES = {271},

YEAR={2003},

NOTE={}}


@INPROCEEDINGS{paper23,

AUTHOR = {Ryan Porter and Yoav Shoham},

TITLE = {Designing Efficient Online Trading System},

booktitle = {Proceedings of the
Fifth ACM Conference on Electronic
Commerce},

PAGES = {258
--
259},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper24,

AUTHOR = {Ryan Porter},

TITLE = {Mechanism Design for Online Real
-
Time Scheduling},

booktitle = {Proceedings of the Fifth ACM Conference on Ele
ctronic
Commerce},

PAGES = {61
--
70},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper25,

AUTHOR = {Ryan Porter and Eugene Nudelman and Yoav Shoham},

TITLE = {Simple Search Methods for Finding a {N}ash Equilibrium},

booktitle = {Proceedings of the Nineteenth Nat
ional Conference on
Artificial Intelligence},

PAGES = {664},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper26,

AUTHOR = {Zoe Abrams and Robert McGrew and Serge Plotkin},

TITLE = {Keeping Peers Honest in EigenTrust},

booktitle = {Proceedings of the Second Work
shop on the Economics of Peer
-
to
-
Peer Systems},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper27,

AUTHOR = {Eugene Nudelman and Jenn Wortman and Kevin Leyton
-
Brown and
Yoav Shoham},

TITLE = {Run The {GAMUT}: A Comprehensive Approach to Evaluating Game
Theoretic Algorithms},

booktitle = {AAMAS},

PAGES = {880
--
887},

YEAR={2004}}


@INPROCEEDINGS{paper28,

AUTHOR = {Eugene Nudelman and Alex Devkar and Yoav Shoham and Kevin
Leyton
-
Brown and Holger Hoos},

TITLE = {{SAT}zilla: An Algorithm Portfolio for {SAT}},

booktitle = {Proceedings of the Seventh International Conference on
Theory and Applications of Satisfiability Testing},

PAGES = {13
--
14},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper29,

AUTHOR = {Yoav Shoham and Moshe Tennenholtz},

TITLE = {Behavioral Mech
anism Design as an Online Marketing Tool},

booktitle = {Proceedings of the Fifth ACM Conference on Electronic
Commerce},

PAGES = {246
--
247},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper30,

AUTHOR = {Rann Smorodinsky and Moshe Tennenholtz},

TITLE = {Sequenti
al Information Elicitation in Multi
-
Agent Systems},

booktitle = {Proceedings of the Twentieth Conference on Uncertainty in
Artificial Intelligence},

PAGES = {528
--
535},

YEAR={2004},

NOTE={}}


@INPROCEEDINGS{paper31,

AUTHOR = {Rob Powers and Yoav Shoham},

TITLE = {New criteria and a new algorithm for learning in multi
-
agent
systems},

booktitle = {Proceedings of Advances in Neural Information Processing
Systems 17},

PAGES = {},

YEAR={2004},

NOTE={}}


@unpublished{paper32,

AUTHOR = {Kar
\
'en Pivazyan and Yoav
Shoham},

TITLE = {Value lattices for anytime optimal policy computation in games},

YEAR={2004},

NOTE={unpublished}}


@INPROCEEDINGS{paper33,

AUTHOR = {Samuel Ieong and Yoav Shoham},

TITLE = {Marginal Contribution Nets: A Compact Representation Scheme for
C
oalitional Games},

booktitle = {Proc. of the ACM Conference on Electronic Commerce, 2005},

PAGES = {193},

YEAR={2005},

NOTE={}}


@INPROCEEDINGS{paper34,

AUTHOR = {Jason Hartline and Robert McGrew},

TITLE = {From Optimal Limited To Unlimited Supply Auctions
},

booktitle = {Proc. of the ACM Conference on Electronic Commerce, 2005},

PAGES = {175
--
182},

YEAR={2005},

NOTE={}}


@INPROCEEDINGS{paper35,

AUTHOR = {Rob Powers and Yoav Shoham},

TITLE = {Learning Against Opponents with Bounded Memory},

booktitle =
{Proc. of the Nineteenth International Joint Conference on
Artificial Intelligence},

PAGES = {},

YEAR={2005},

NOTE={}}


@INPROCEEDINGS{paper36,

AUTHOR = {Gal Bahar and Moshe Tenenholtz},

TITLE = {Sequential
-
Simultaneous Information Elicitation in Multi
-
Age
nt
Systems},

booktitle = {Proc. of the Nineteenth International Joint Conference on
Aritificial Intelligence. 2005},

PAGES = {},

YEAR={2005},

NOTE={}}


@ARTICLE{paper37,

AUTHOR = {Yossi Feinberg},

TITLE = {Subjective Reasoning
-

Dynamic Games},

journal = {
Games and Economic Behavior},

VOLUME = {52}, PAGES = {54
--
93},

YEAR={2005}}


@ARTICLE{paper38,

AUTHOR = {Yossi Feinberg},

TITLE = {Subjective Reasoning
-

Solutions},

journal = {Games and Economic Behavior},

VOLUME = {52}, PAGES = {94
--
132},

YEAR={2005}}


@INPROCEEDINGS{paper39,

AUTHOR = {Samuel Ieong and Bob McGrew and Eugene Nudelman and Yoav Shoham
and Qixiang Sun},

TITLE = {Fast and Compact: A Simple Class of Congestion Games},

booktitle = {Proceedings of the Twentieth National Conference on
Artificial
Intelligence},

PAGES = {489
--
494},

YEAR={2005},

NOTE={}}


@INPROCEEDINGS{paper40,

AUTHOR = {Thuc Vu and Rob Powers and Yoav Shoham},

TITLE = {Learning Against Multiple Opponents},

booktitle = {Proceedings of the Fifth International Joint Conference on
Auto
nomous Agents and Multiagent Systems},

PAGES = {752
--
759},

YEAR={2006},

NOTE={}}


@INPROCEEDINGS{paper41,

AUTHOR = {Samuel Ieong and Yoav Shoham},

TITLE = {Multi
-
Attribute Coalitional Games},

booktitle = {Proceedings of the ACM Conference on Electronic Com
merce
2006.},

PAGES = {170
--
179},

YEAR={2006},

NOTE={}}


@Article{paper44,


author={Smorodinsky, Rann and Tennenholtz, Moshe},


title={Overcoming free riding in multi
-
party computations
--
The
anonymous case},


journal={Games and Economic Behavior},


year=2006,


volume={55},


number={2},


pages={385
-
406},


month={May},


keywords={},


abstract={No abstract is available for


this item.},


url={http://ideas.repec.org/a/eee/gamebe/v55y2006i2p385
-
406.html}

}


@INPROCEEDINGS{paper46,

AUTHOR = {N
icolas Lambert and Yoav Shoham},

TITLE = {Asymptotically optimal auctions for sponsored search},

booktitle = {International Conference on Electronic Commerce},

PAGES = {},

YEAR={2007},

NOTE={}}


@ARTICLE{paper48,

AUTHOR = {Yossi Feinberg},

TITLE = {Meaning
ful Talk},

journal = {LORI},

VOLUME = {}, PAGES = {},

YEAR={2007},

NOTE={}}


@ARTICLE{paper49,

AUTHOR = {Yossi Feinberg and Colin Stewart},

TITLE = {Testing Multiple Forecasters},

journal = {LAMES},

VOLUME = {}, PAGES = {},

YEAR={2007},

NOTE={}}


@ARTICLE{paper50,

AUTHOR = {Robert Wilson and Srihari Govindan},

TITLE = {Sufficient Conditions for Stable Equilibria},

journal = {Theoretical Economics},

VOLUME = {1}, PAGES = {167},

YEAR={2006},

NOTE={}}


@UNPUBLISHED{paper54,

AUTHOR = {Yossi Feinberg},

TITLE = {Subjective Reasoning
-

Games with Unawareness},

YEAR={2007},

NOTE={unpublished}}


@INPROCEEDINGS{paper57,

AUTHOR = {F. Brandt and F. Fischer and P. Harrenstein and Y. Shoham},

TITLE = {A Game
-
Theoretic Analysis of Strictly Competitive Multiagent
S
cenarios},

booktitle = {Proceedings of IJCAI'07},

PAGES = {},

YEAR={2007},

NOTE={}}


@INPROCEEDINGS{paper58,

AUTHOR = {S. Ieong and Y. Shoham},

TITLE = {Multi
-
Attribute Coalitional Games},

booktitle = {Proceedings of EC'06},

PAGES = {},

YEAR={2006},

NOTE={}}


@ARTICLE{paper60,


author = {Rob Powers and Yoav Shoham and Thuc Vu},


title = {A general criterion and an algorithmic framework for learning
in multi
-
agent systems},


journal = {Machine Learning},


volume = {67},


number = {1
-
2},


year = {2007},


issn = {0885
-
6125},


pages = {45
--
76},


doi = {http://dx.doi.org/10.1007/s10994
-
006
-
9643
-
2},


publisher = {Kluwer Academic Publishers},


address = {Hingham, MA, USA},


}


@ARTICLE{paper61,

AUTHOR = {Samuel Ieong and Yoav Shoham},

TITLE = {Bayesian Coalit
ional Games},

journal = {AAAI
-
08},

VOLUME = {}, PAGES = {},

YEAR={2008},

NOTE={}}


@ARTICLE{paper62,

AUTHOR = {Samuel Ieong and Anthony Man
-
Cho So and Mukund Sundararajan},

TITLE = {Mechanism Design for Stochastic Optimization Problems},

journal =
{WINE
-
07:269
-
280},

VOLUME = {}, PAGES = {},

YEAR={2007},

NOTE={}}


@ARTICLE{paper63,

AUTHOR = {Samuel Ieong and Nicolas Lambert and Yoav Shoham and Ronen
Brafman},

TITLE = {Near
-
Optimal Search in Continuous Domains},

journal = {AAAI
-
07},

VOLUME = {}, PAGES

= {},

YEAR={2007},

NOTE={}}


@ARTICLE{paper64,

AUTHOR = {Y. Shoham},

TITLE = {Game Theory Pragmatics: A Challenge for {AI}},

journal = {AAAI
-
08},

VOLUME = {}, PAGES = {},

YEAR={2008},

NOTE={}}


@ARTICLE{paper66,

AUTHOR = {Robert B. Wilson},

TITLE = {Excha
nge},

journal = {New Palgrave Dictionary of Economics},

VOLUME = {}, PAGES = {},

YEAR={2008},

NOTE={}}


@ARTICLE{paper67,

AUTHOR = {Bob Wilson and Srihari Govidan},

TITLE = {{N}ash Equilibrium, refinements of},

journal = {The New Palgrave Dictionary of
Economics},

VOLUME = {}, PAGES = {},

YEAR={2008},

NOTE={}}


@ARTICLE{paper68,

AUTHOR = {Bob Wilson},

TITLE = {Supply Function Equilibrium in a Constrained Transmission
System},

journal = {Operations Research},

VOLUME = {56:2}, PAGES = {},

YEAR={2008},

NOTE
={}}


@ARTICLE{paper70,

AUTHOR = {A. Altman and M. Tennenholtz},

TITLE = {Axiomatic Foundations for Ranking Systems},

journal = {Journal of AI Research},

VOLUME = {31}, PAGES = {473
--
495},

YEAR={2008}}


@COLLECTION{other1,

AUTHOR = {Srihari Govindan and
Robert Wilson},

TITLE = {Invariance of Stable Equilibria of Signaling Games},

YEAR = {2002}}


@BOOK{other2,

AUTHOR = {Yoav Shoham},

TITLE = {Introduction to Multi
-
Agent Systems},

PUBLISHER = {Cambridge University Press},

YEAR = {2004}}


@TECHREPORT{other3,

AUTHOR = {Yossi Feinberg and Eddie Dekel},

TITLE = {A True Expert Knows which Question Should be Asked},

YEAR = {2004},

NOTE = {Stanford GSB Research Papers}}


@TECHREPORT{other4,

AUTHOR = {Yossi Feinberg},

TITLE= {Subjective Reasoning in Dyanmic Games},

YEAR = {2002},

NOTE = {Stanford GSB Research Papers}}


@BOOK{other5,

AUTHOR = {Peter Cramton and Yoav Shoham and Richard Steinberg},

TITLE = {Combinatorial Auctions},

YEAR = {2006},

PUBLISHER = {MIT Press},

NOTE = {In Preparation}

}


@INCOLLECTION{other7,

AUTHOR = {Srihari Govindan and Robert Wilson},

TITLE = {Refinements of {N}ash Equilibrium},

BOOKTITLE = {The New Palgrave Dictionary of Economics, 2nd Edition},

EDITOR = { S. Durlauf and L. Blume },

PUBLISHER = {Macmillan, New York}}


@TECHREPORT{other9,

AUTHOR = {Srihari Govindan and Robert Wilson},

TITLE = {Stable Outcomes of Generic Extensive
-
Form Games},

YEAR = {2006},

NOTE = {Stanford GSB Research Papers}}


@inproceedings{ AllenEtAl1996,


author = "James F. Allen and Bradfor
d W. Miller and Eric K. Ringger
and Teresa Sikorski",


title = "A Robust System for Natural Spoken Dialogue",


booktitle = "Proceedings of the 1996 Annual Meeting of the
Association for Computational Linguistics ({ACL}'96)",


pages = "62
-
70",


year = "1996"}


@INPROCEEDINGS{Doyle94representingpreferences,


author = {Jon Doyle and Michael P. Wellman},


title = {Representing Preferences as Ceteris Paribus Comparatives},


booktitle = {Proceedings of the AAAI Spring Symposium on Decision
-
Th
eoretic

Planning},


year = {1994},


pages = {69
--
75}

}


@article{vBGRCeterisParibus,


author = {van Benthem, Johan and Girard, Patrick and Roy,
Olivier },


journal = {Journal of Philosophical Logic},


title = {Everything Else Being Equal: A Modal Logic for Ceteris
Paribus Preferences},


volume = 38,


number = 1,


pages = "83
--
125",


year = 2008


}


@article{McDermott1982,

title = "A temporal logic for reasoning

about processes and plans",

journal = "Cognitive Science",

volume = "6",

number = "2",

pages = "101
--
155",

year = "1982",

author = "Drew McDermott"

}


@book{DHK
-
DELbook,


author = {Hans van Ditmarsch and Wiebe van der Hoek and Barted
Kooi},



title = {Dynamic Epistemic Logic},


Publisher = {Springer},


Year = 2007


}


@ARTICLE{WeldAIplanning,


author = {Daniel S. Weld},


title = {Recent Advances in {AI} Planning},


journal = {{AI} Magazine},


year = {1999},


volume = {20},


pages = {93
--
123}

}


@inproceedings{LamarreShoham94,


author = {Philippe Lamarre and


Yoav Shoham},


title = {Knowledge, Certainty, Belief, and Conditionalisation
(Abbreviated


Version)},


bookti
tle = {Proceedings of KR},


year = {1994},


pages = {415
--
424}


}


@Book{ KripkeNaming,

author = { Saul A. Kripke},

title = { Naming and necessity},

edition = { Revised and enlarged},

publisher = { Blackwell, Oxford},

year = { 1980 }

}


@articl
e{Gettier,


author = {Gettier, Edmund L. },


journal = {Analysis},


pages = {121
--
123},


title = {Is Justified True Belief Knowledge?},


volume = {23},


year = {1963}

}


@BOOK{gabbay96:_label_deduc_system,


title = {Labelled Deductive Systems},


publisher = {Oxford: Clarendon Press},


year = {1996},


author = {D. Gabbay}


}


@article{AGM,


Author = {C. E. Alchourr
\
'on and P. G
\
"ardenfors and D.
Makinson},


Journal = {Journal of Symbolic Lo
gic},


Volume=50,


Number = {2},


Pages = {510
-
530},


Title = {On the Logic of Theory Change: Partial Meet Contractions
and Revision

Functions},


Year = {1985}}


@article{Kleer86ATMS,


author = {Johan de Kleer},


tit
le = {An Assumption
-
Based {TMS}},


journal = {Artificial Intelligence},


volume = {28},


number = {2},


year = {1986},


pages = {127
-
162}

}



@article(Kripke,


title = "Semantical Considerations of Modal Logic",


author = "S.~Kripke",


Journal="Zeitschrift fur Mathematische Logik und Grundlagen der


Mathematik",


Volume="9",


pages = "67
-
96",


year = 1963 )


@article(ShohamAOPAIJ,


author="Y.~S
hoham",


title="Agent {O}riented {P}rogramming",


Journal="Journal of {A}rtificial {I}ntelligence",


volume=60,


number=1,


pages={51
-
92},


year=1993)


@inproceedings(VoorbrakTARK,


a
uthor = "F.~Voorbrak",


title = "Generalized {K}ripke Models for Epistemic Logic",


booktitle = "Proceedings Conference on Theoretical Aspects of


Reasoning about Knowledge",


publisher="Morgan Kaufmann",


pages="214
-
228",


year = 1990 )


@article(McCarthyHayes,


author = {J.~M.~McCarthy and P.~J.~Hayes},


title = {Some Philosophical Problems from the Standpoint of


Artificial Intelligence},


editor =

{Meltzer, B. and Michie, D.},


journal = {Machine Intelligence},


volume = {4},


publisher = {Edinburgh University Press},


year = 1969,


pages = {463
--
502}

)


@article(McDermottDD,


author = {McDermott, Drew V.},


title = {Contexts and data dependencies: a synthesis},


journal = {IEEE Transactions on Pattern Analysis and


Machine Intelligence},


volume = {5},


year = 1983,


pages = {237
--
246}

)


@incollection(Sande
wallShohamHandbook,


author = "E.~J.~Sandewall and Y.~Shoham",


title = "Nonmonotonic Temporal Reasoning",


booktitle = "Handbook of Logic in Artificial Intelligence and
Logic


Programming",


publisher = "Elsevier",


editor = "D.~Gabbai",


year = "1994")


@incollection(PeppasBelRev,


author = "P.~Peppas",


title = "Belief Revision",


booktitle = "Handbook of Knowledge Representation",


publisher

= "Elsevier",


editor = "F. van Harmelen and V. Lifschitz and B. Porter",


year = "2007")



@article(DeanAIJ
-
87,


author = {T.~Dean and D.~V.~McDermott},


title = {Temporal Data Base Management},


journal = "Artificial I
ntelligence",


volume = {32},


number = {1},


pages = {1
--
55},


year = {1987}

)


@book(FHMVbook,


author = "R.~Fagin and J.~Halpern and Y.~Moses and M.~Vardi",


title = "Reasoning about Knowledge",


publishe
r = "{MIT} Press",


year = "1994",


)



@article(BelnapPerloff1,


author = "N.~D.~Belnap and M.~Perloff",


title = "Seeing to it that: a canonical form of agentives",


journal= "Theoria",


Volume=54,


pages="175
-
199",


year = 1989 )


@book{belnap,


Author = {Nuel Belnap and Michael Perloff and Ming Xu},


Date
-
Added = {2008
-
05
-
08 19:02:39
-
0700},


Date
-
Modified = {2008
-
05
-
08 19:03:24
-
0700},


Publisher =
{Oxford University Press},


Title = {Facing the Future},


Year = {2001}}


@book{horty,


Author = {John Horty},


Date
-
Added = {2008
-
05
-
08 19:01:55
-
0700},


Date
-
Modified = {2008
-
05
-
08 19:02:26
-
0700},


Publisher = {
Oxford University Press},


Title = {Agency and Deontic Logic},


Year = {2001}}


@book{vBLogicalDynamics,


Author = {Johan van Benthem},


Publisher = {{CSLI}},


address = {Stanford {U}niversity},


title = {Exploring Logical Dynamics},


Year = {1997}}




@misc{vB,


Author = {Johan van Benthem},


Date
-
Added = {2008
-
05
-
08 18:59:44
-
0700},


Date
-
Modified = {2008
-
05
-
08 19:01:42
-
0700},


Howpublished = {Forthcomi
ng in a collection dedicated to John
McCarthy. Available

at
\
texttt{staff.science.uva.nl/$
\
sim$johan}},


Title = {Situation Calculus Meets Modal Logic},


Year = {2007}}


@article{herzig
-
stit,


Author = {Philippe Balbiani and Andreas H
erzig and Nicolas
Troquard},


Date
-
Added = {2008
-
05
-
08 10:21:58
-
0700},


Date
-
Modified = {2008
-
05
-
08 10:23:03
-
0700},


Journal = {Journal of Philosophical Logic},


Title = {Alternative Axiomatics and Complexity of Deliberative
{
STIT} Theories},


Year = {2007}}


@article{xu
-
stit,


Author = {Ming Xu},


Date
-
Added = {2008
-
05
-
08 10:13:52
-
0700},


Date
-
Modified = {2008
-
05
-
08 10:14:31
-
0700},


Journal = {Journal of Symbolic Logic},


Number = {2},


Pages = {459
-
483},


Title = {On the Basic Logic of {STIT} with a Single Agent},


Volume = {60},


Year = {1995}}


@article{eglesem
-
segerberg,


Author = {Dag Eglesem},


Date
-
Added = {2008
-
05
-
08

09:51:47
-
0700},


Date
-
Modified = {2008
-
05
-
08 09:52:43
-
0700},


Journal = {Synthese},


Number = {1},


Pages = {153
-
177},


Title = {Intentions, Actions and Routines: A problem in Krister
Segerberg's Theory

of Action},



Volume = {85},


Year = {1990}}


@article{chellas
-
segerberg,


Author = {Brian Chellas},


Date
-
Added = {2008
-
05
-
08 09:49:40
-
0700},


Date
-
Modified = {2008
-
05
-
08 09:50:12
-
0700},


Journal = {Journal of Philosophical Log
ic},


Pages = {563
-
571},


Title = {On Bringing It About},


Volume = {24},


Year = {1995}}


@article{segerberg
-
bringitabout,


Author = {Krister Segerberg},


Date
-
Added = {2008
-
05
-
08 08:53:54
-
0700},


Date
-
Modified = {2008
-
05
-
08 08:54:46
-
0700},


Journal = {Journal of Philosophical Logic},


Pages = {327
-
347},


Title = {Bringing It About},


Volume = {18},


Year = {1989}}


@book{dynlogic,


Author = {David
Harel and Dexter Kozen and Jerzy Tiuryn},


Date
-
Added = {2008
-
05
-
08 08:06:00
-
0700},


Date
-
Modified = {2008
-
05
-
08 08:06:58
-
0700},


Publisher = {The {MIT} Press},


Title = {Dynamic Logic},


Year = {2000}}



@article{gover
natori,


Author = {Guido Governatori and Antonino Rotolo},


Date
-
Added = {2008
-
05
-
07 22:44:56
-
0700},


Date
-
Modified = {2008
-
05
-
07 22:45:53
-
0700},


Doi = {http://dx.doi.org/10.1007/s10992
-
004
-
6368
-
1},


Journal = {Journal

of Philosophical Logic},


Number = {4},


Pages = {403
-
431},


Title = {On the Axiomatization of Elgesem's Logic of Agency and
Ability},


Volume = {34},


Year = {2005},


Bdsk
-
Url
-
1 = {http://dx.doi.org/10.1007/s10992
-
004
-
6368
-
1}}


@article{elgesem,


Author = {Dag Elgesem},


Date
-
Added = {2008
-
05
-
07 22:06:28
-
0700},


Date
-
Modified = {2008
-
05
-
07 22:07:35
-
0700},


Journal = {Nordic Journal
of Philosophical Logic},


Number = {2},


Pages = {1
-

46},


Title = {The modal logic of agency},


Volume = {2},


Year = {1997}}


@article{segerberg
-
action,


Author = {Krister Segerberg},


Date
-
Added = {2008
-
05
-
07 19:16:16
-
0700},


Date
-
Modified = {2008
-
05
-
07 19:24:22
-
0700},


Journal = {Studia Logica},


Number = {3
-
4},


Pages = {347
-

378},


Title = {Getting started: Beginnings in the logic of action},


Volume = {51}
,


Year = {1992}}


@article{carr,


Author = {David Carr},


Date
-
Added = {2008
-
05
-
07 19:01:40
-
0700},


Date
-
Modified = {2008
-
05
-
07 19:02:29
-
0700},


Journal = {Mind},


Pages = {394
-

409},


Title = {The Logic fo Knowing How and Ability},


Volume = {88},


Year = {1979}}


@book{Bratman,


Author = {M. Bratman},


Date
-
Added = {2008
-
05
-
07 18:53:15
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:53:15
-
0700},



Publisher = {Harvard University Press},


Title = {Intention, Plans and Practical Reason},


Year = {1987}}




@inproceedings{bdi,


Author = {A.S. Rao and M.P. Georgeff},


Booktitle = {Proceedings of the First International Co
nference on
Multi
-
agent

Systems},


Date
-
Added = {2008
-
05
-
07 18:52:31
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:52:31
-
0700},


Publisher = {AAAI Press},


Title = {{BDI} agents: From theory to practice},


Year = {1995}}




@inproceedings{RG91,


Author = {A.S. Rao and M.P. Georgeff},


Booktitle = {Proceedings of the Third Conference on Knowledge
Representation and Reasoning},


Publisher = {Morgan Kaufmann},


Title = {Modeling Rational Agents within a {BDI}
-
Architecture},


Year = {1991}}



@article{Schmidt.T.H,


Author = {R. Schmidt and D. Tishkovsky and U. Hustadt},


Date
-
Added = {2008
-
05
-
07 18:52:18
-
0700},


Date
-
Modified =

{2008
-
05
-
07 18:52:18
-
0700},


Journal = {Studia Logica},


Number = {3},


Pages = {381
--

415},


Title = {Interaction between Knowledge, Action and Commitment
within Agent Dynamic

Logic},


Volume = {78},


Year = {2
004}}


@article{DK.Verbrugge,


Author = {B. Dunin
-
Keplicz and R. Verbrugge},


Date
-
Added = {2008
-
05
-
07 18:52:05
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:52:05
-
0700},


Journal = {Fundamenta Informaticae},


Title = {Collect
ive Intentions},


Volume = {51},


Year = {2002}}


@inbook{Meyer.Veltman:Handbook,


Author = {J.
-
J. Meyer and Frank Veltman},


Chapter = {Intelligent Agents and Common Sense Reasoining},


Date
-
Added = {2008
-
05
-
07 18:52:05
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:52:05
-
0700},


Editor = {Patrick Blackburn and Johan van Benthem and Frank
Wolter},


Publisher = {Elsevier},


Title = {Handbook of Modal Logic},


Year = {2007}}


@article{karo,


Author = {Wiebe van der Hoek and B. van Linder and J.
-
J. Meyer},


Date
-
Added = {2008
-
05
-
07 18:52:05
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:52:05
-
0700},


Journal = {Fundamenta Informaticae},


Pages = {1
--

49},


Title = {Formalising Abilities and Opportunities of Agents},


Volume = {34},


Year = {1998}}


@article{vdHW:rationalagency,


Author = {Wiebe van der Hoek and Michael Wooldridge},


Date
-
Added = {2008
-
05
-
07 18:52:05
-
0700},



Date
-
Modified = {2008
-
05
-
07 18:52:05
-
0700},


Journal = {Logic Journal of the {IGPL}},


Number = {2},


Pages = {135
--

160},


Title = {Towards a Logic of Rational Agency},


Volume = {11},


Year = {2003}}



@artic
le{vdHJW,


Author = {W. van der Hoek and W. Jamroga and M. Wooldridge},


Date
-
Added = {2008
-
05
-
07 18:51:45
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:51:45
-
0700},


Journal = {Synthese},


Title = {Towards a Theory of Intention Revision},


Volume = {155},


Year = {2007}}


@article{MvdHvL,


Author = {J.
-
J. Meyer and W. van der Hoek and B. van Linder},


Date
-
Added = {2008
-
05
-
07 18:51:45
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:51:45
-
0700},


Journal = {Artificial Intelligence},


Pages = {1
--

40},


Title = {A logical approach to the dynamics of commitments},


Volume = {113},


Year = {1999}}


@article{CL,


Author

= {P. R. Cohen and H. Levesque},


Date
-
Added = {2008
-
05
-
07 18:51:45
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:51:45
-
0700},


Journal = {Artificial Intelligence},


Number = {3},


Pages = {213
---

261},


Title = {Inte
ntion is Choice with Committment },


Volume = {42},


Year = {1990}}


@misc{IPSintention,


Author = {Thomas Icard and Eric Pacuit and Yoav Shoham},


Howpublished = {Forthcoming},


Title = {A Dynamic Logic of Belief and Intention},


Year = {2009}}


@inproceedings{Harman:1999gt,

Author = {G. Harman},

Booktitle = {Reasoning, Meaning and Mind},

Pages = {46
-
74},

Publisher = {Oxford University Press},

Title = {Practical Rea
soning},

Year = {1999}}


@book{Harman:1986,

Author = {G. Harman},

Title = {Change in View},

Publisher = {{MIT} Press},

Year = {1986}}



@inproceedings{Velleman:2006et,

Address = {Berlin/New York },

Author = {J.D. Velleman},

Booktitle = {Action in Context},

Editor = {A. Leist and H. Baumann},

Publisher = {de Gruyter/Mouton},

Title = {What Good is a Will?},

Year = {2008}}


@inproceedings{Bratman:2006vi,

Address = {Oxford},

Author = {M. Bratman},

Booktitle = {Spheres of Reason},

Editor = {J. Timmerman and J.
Skorupski and S. Robertson},

Publisher = {Oxford University Press},

Title = {Intention, Belief, Practical, Theoretical},

Year = {2009}}


@article{Yaffe:2004fk,

Author = {G. Yaffe},

Date = {Spring/Fall},

Journal = {Philosophical Topics},

Number = {1
-
2},

Tit
le = {Trying, Intending, and Attempted Crimes},

Volume = {32},

Year = {2004}}


@phdthesis{roy2008tba,

Author = {Olivier Roy},

School = {Institute for Logic, Language and Computation, University of
Amsterdam},

Title = {Thinking before Acting: Intentions, Lo
gic, Rational Choice},

Year = {2008}}


@book{Wallace:2006lh,

Author = {R.J. Wallace},

Publisher = {Oxford University Press},

Title = {Normativity and the Will},

Year = {2006}}

@article{bratman:1991b,


Author = {M. Bratman},

Journal = {Nous},

Title =
{Practical Reasoning and Acceptance in a Context},

Year = 1991}


@book{rott01,

Address = {Oxford},

Author = {H. Rott},

Publisher = {ford University Press},

Series = {Oxford Logic Guides},

Title = {Change, Choice and Inference: A Study of Belief Revision an
d
Nonmonotonic

Reasoning},

Year = 2001}


@article{horty01,

Author = {J.F. Horty and M.E. Pollack},

Journal = {Artificial Intelligence},

Month = {April},

Number = 2,

Pages = {199
-
220},

Title = {Evaluating new options in the context of existing plans},

Volum
e = {Volume 127},

Year = 2001}



@article{RoySynthese,

Author = {Olivier Roy},

Title = "Intentions and interactive transformations of decision
problems",

Journal = {Synthese},

Volume = {179},

number = 2,

month= {July},

pages = {335
--
349,

Year = 2009}


@article{FriedmanHalpernJAIR1999,

Author = {N. Friedman and J.Y. Halpern},

Title = {Modelling beliefs in dynamic systems. Part II: revision and
update},

journal = {Journal of Artificial Intelligence Research},

Volume = 10,

Pages = {117
--
167},

Year = 1999}


@book{WooldridgeSecondEdition,

Author = {Michael Wooldridge},

Title = {An Introduction to MultiAgent Systems
-

Second Edition},

Publisher = {John Wiley
\
& Sons},

Year = 2009}


@inproceedings{HerzigLongin2004,

Author = {Andreas Herzig and Dominique Longin}
,

Title = {C
\
&L intention revisited},

Booktitle = {Proc.
\

KR2004},

Year = 2004}


@book{CMP1990,

Author = {P. R. Cohen and J. Morgan and M. E. Pollack (eds.)},

Title = {Intentions in Communication},

Publisher = {{MIT} Press},

Year = 1990}


@article{MPCRobinsonDubber,

Title = {The {A}merican {M}odel {P}enal {C}ode: A Brief Overview},

Author = {P. H. Robinson and M. D. Dubber},

Journal = {New Criminal Law Review},

Volume = 10,

Number = 3,

Pages = {319
--

341},

Month = August,

Year = 2007}


@ar
ticle{ShohamIntentionJPL2009,

Author = {Y. Shoham},

Title = {Logical Theories of Intention and the Database Perspective},

journal = {Journal of Philosophical Logic},

Volume = 38,

Number =6,

Year = 2009}


@book{Bratman,


Author = {M. Bratman},


Date
-
Added =

{2008
-
05
-
07 18:53:15
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:53:15
-
0700},


Publisher = {Harvard University Press},


Title = {Intention, Plans and Practical Reason},


Year = {1987}}


@article{CL,


Author = {P. R. Cohen and H. Levesque},


Date
-
Added =
{2008
-
05
-
07 18:51:45
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:51:45
-
0700},


Journal = {Artificial Intelligence},


Number = {3},


Pages = {213
---

261},


Title = {Intention is Choice with Committment },


Volume = {42},


Year = {1990}}



@article(DeanAIJ
-
87,


author = {T.~Dean and D.~V.~McDermott},


title = {Temporal Data Base Management},


journal = "Artificial Intelligence",


volume = {32},


number = {1},


pages = {1
--
55},


year = 1987

)


@book(FHMVbook,


author = "R.~Fagin and J.~Halpern and Y.~Moses and M
.~Vardi",


title = "Reasoning about Knowledge",


publisher = "{MIT} Press",


year = "1994",


)



@misc{vB,


Author = {Johan van Benthem},


Date
-
Added = {2008
-
05
-
08 18:59:44
-
0700},


Date
-
Modified = {2008
-
05
-
08 19:01:42
-
0700},


Howpublished = {Forthcomin
in a collection dedicated to John
McCarthy},


Title = {Situation Calculus Meets Modal Logic},


Year = {2009}}



@book{dynlogic,


Author = {David Harel and Dexter Kozen and Jerzy Tiuryn},


Date
-
Added = {2008
-
05
-
08 08:06:00
-
0700},


Date
-
Modified = {2008
-
05
-
08 08:06:58
-
0700},


Publisher = {The {MIT} Press},


Title = {Dynamic Logic},


Year = {2000}}


@article{vdHW:rationalagency,


Author = {Wiebe van der Hoek and Michael Wooldridge},


Date
-
Added = {2008
-
05
-
07 18:52:05
-
0700},


Date
-
Modified = {2008
-
05
-
07 18:5
2:05
-
0700},


Journal = {Logic Journal of the {IGPL}},


Number = {2},


Pages = {135
--

160},


Title = {Towards a Logic of Rational Agency},


Volume = {11},


Year = {2003}}


@misc{ShohamIntentionJPL,


Author = {Yoav Shoham},


Howpublished = {Forthcoming in
the {J}ournal of {P}hilosophical
{L}ogic},


Title = {Considerations on Logical Theory of Intention},


Year = {2009}}



@misc{IPSintention,


Author = {Paul Icard and Eric Pacuit and Yoav Shoham},


Howpublished = {Forthcoming},


Title = {A Dynamic Logic of B
elief and Intention},


Year = {2009}}





@article{AGM,


Author = {C. E. Alchourr
\
'on and P. G
\
"ardenfors and D. Makinson},


Journal = {Journal of Symbolic Logic},


Volume=50,


Number = {2},


Pages = {510
-
530},


Title = {On the Logic of Theory Change: Part
ial Meet Contractions
and Revision Functions},


Year = {1985}}



@string{ipl = "Information Processing Letters"}

@string{tcs = "Theoretical Computer Science"}

@string{jacm = "Journal of the ACM"}

@string{cacm = "Communications of the ACM"}

@string{ic =
"Information and Control"}

@string{icomp = "Information and Computation"}

@string{jcss = "Journal of Computer and System Science"}

@string{dc = "Distributed Computing"}

@string{ai = "Artificial Intelligence"}

@string{scp = "Science of Computer Programming"
}

@string{lop = "Proc. of the Workshop on Logics of Programs"}

@string{toplas = "ACM Trans. on Programming Languages and Systems"}

@string{tocs = "ACM Trans. on Computer Systems"}

@string{popl7 = "Proc. 7th ACM Symp. on Principles of Programming



Languages"}

@string{popl8 = "Proc. 8th ACM Symp. on Principles of Programming


Languages"}

@string{popl10 = "Proc. 10th ACM Symp. on Principles of Programming


Languages"}

@string{popl12 = "Proc. 12th A
CM Symp. on Principles of Programming


Languages"}

@string{popl13 = "Proc. 13th ACM Symp. on Principles of Programming


Languages"}

@string{popl80 = "Proc. 7th ACM Symp. on Principles of Programming



Languages"}

@string{popl81 = "Proc. 8th ACM Symp. on Principles of Programming


Languages"}

@string{popl82 = "Proc. 9th ACM Symp. on Principles of Programming


Languages"}

@string{popl83 = "Proc. 10th ACM Sy
mp. on Principles of Programming


Languages"}

@string{popl84 = "Proc. 12th ACM Symp. on Principles of Programming


Languages"}

@string{popl85 = "Proc. 13th ACM Symp. on Principles of Programming


Languages"}

@string{ftcs85 = "Proc. 15th International Conf. on Fault
-
Tolerant


Computing Systems"}

@string{aaai82 = "Proc. of AAAI
-
82"}

@string{aaai83 = "Proc. of AAAI
-
83"}

@string{aaai84 = "Proc. of AAAI
-
84"}

@stri
ng{aaai85 = "Proc. of AAAI
-
85"}

@string{aaai86 = "Proc. of AAAI
-
86"}

@string{aaai87 = "Proc. of AAAI
-
87"}

@string{aaai88 = "Proc. of AAAI
-
88"}

@string{aaai90 = "Proc. of AAAI
-
90"}

@string{aaai91 = "Proc. of AAAI
-
91"}

@string{aaai92 = "Proc. of AAAI
-
92"}

@s
tring{aaai93 = "Proc. of AAAI
-
93"}

@string{aaai94 = "Proc. of AAAI
-
94"}

@string{aaai04 = "Proc. of AAAI
-
04"}

@string{aaai06 = "Proc. of AAAI
-