Decisions, Games, & Logic Workshop

[e]

[e]

<style>

/*** LAYOUT ***/
 DIV { border: 0px; }
 #leftHand { 
    width: 100%;
    margin: 0px;
    color: #dfa; 
    background: #a90 url(imgs/stippleG.gif);
    text-align: center;
 }
 #leftHand A { color: #dfa;  font-weight: bold; }
 #links { padding: 4px; background: #339 url(imgs/stippleB.gif); color: #adf; font-size: 13px; font-weight:bold; }
 #links A { padding-left: 5px; padding-right: 5px; }
 #leftHand A { color: white; font: bold; }
 #barOne { background: #ff0 url(imgs/stippleB.gif); height: 5px; }
 #barTwo { background: red url(imgs/stippleW.gif); height: 3px; }
 #barThree { background: #00f url(imgs/stippleG.gif); height: 3px; }
 
 #rightHand {
    width: 620px;
    margin-left: auto; margin-right: auto;
    margin-bottom: 30px;
    text-align: left;
 }

/*** WORKINGS ***/
.editlink { position: absolute; }
.editlink { display: none; }
#rightHand div div .editlink  { display: inline; position: static; float: right; color: white; }
#rightHand div div .editlink A { color: #bbb; }
textarea { font-family: inherit; }

/*** STYLE ***/
 BODY, TD, P, TEXTAREA { font-family: verdana, arial, palatino linotype; font-size: 10pt; padding: 0px; margin: 0px; }
 TD { text-align: center; }
 #rightHand TD { vertical-align: center; text-align: left; }
 BODY {  }
 H2 {  }
 H3 { font-size: 10pt; }
 H4 { font-size: 10pt; background: #270; color: white; margin-left: -30px; margin-right: -30px; padding-left: 10px; padding-right: 10px; }
 A { text-decoration: none; color: #009; }
 A:Hover { text-decoration: underline; }
 #michaelmasReading P, #lentReading P, #summerReading P { margin: 0px; }
 #rightHand LI { margin-bottom: 8px; }
 IMG { border: 0px; }
 #rightHand IMG { border: 1px solid black; }
 P { margin-top: 7px; }
 BLOCKQUOTE { margin-left: 12px; }
 #photos IMG { border: 3px black solid; }

/**** PRINT ****/
@media print {

}

</style>

[e]

Second Workshop in
Decisions, Games & Logic '08
June 30 - July 2, 2008, Institute for Logic, Language and Computation, Amsterdam

HOME PROGRAMME {JOYCE , BOARD , PACUIT } PRACTICAL INFORMATION CONTACT SPONSORS INTERNAL

[e]

Eric Pacuit: Logics of Rational Interaction

Description of the tutorial:

Many logical systems today describe rational agents interacting over time. These logics focus on different aspects of rational agency: informational attitudes (eg. knowledge, beliefs, certainty), motivational attitudes (eg. preferences, intentions, goals), group attitudes (eg. common knowledge, group preferences) and dynamics (eg., observations, revisions). In this tutorial, we will explore these different logical frameworks focusing on the main conceptual and technical issues.

Biographical Note.

Eric Pacuit is currently a postdoctoral researcher at Stanford University in the Computer Science Department working with Yoav Shoham. After completing is Ph.D. from the City University of New York Graduate Center under the supervision of Rohit Parikh, he spent two years as a post-doc at the Institute for Logic, Language and Computation at the Universiteit van Amsterdam on a National Science Foundation International Research Fellowship.

<h2><img src="imgs/pacuit.jpg" align="right" />Eric Pacuit: Logics of Rational Interaction</h2>
<br><br>
<b>Description of the tutorial: </b><br><p align="justify"> Many logical systems today describe rational agents interacting over time.  These logics focus on different aspects of rational agency:
informational attitudes (eg. knowledge, beliefs, certainty),
motivational attitudes (eg. preferences, intentions, goals), group
attitudes (eg. common knowledge, group preferences) and dynamics (eg.,
observations, revisions).  In this tutorial, we will explore these
different logical frameworks focusing on the main conceptual and
technical issues. </p>

<br><br><b>Biographical Note.</b><br><p align="justify">
<a href="http://ai.stanford.edu/~epacuit/" target="_blank">Eric Pacuit</a> is currently a postdoctoral researcher at Stanford University in the Computer Science Department working with Yoav Shoham. After completing is Ph.D. from the City University of New York Graduate Center under the supervision of Rohit Parikh, he spent two years as a post-doc at the Institute for Logic, Language and Computation at the Universiteit van Amsterdam on a National Science Foundation International Research Fellowship. </p>