TARK VI '96

Last update: March 4, 1996.

This is NEW!

Description

The mission of the bi-annual TARK conferences is to bring together researchers from a wide variety of fields - including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology - in order to further our understanding of interdisciplinary issues involving formal reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, knowledge and action, applications of reasoning about knowledge and other mental states, and belief revision. Previously a by-invitation-only conference, TARK is now open to all interested attendees. TARK VI is the first to be held outside the United States.

TARK VI is sponsored by (in alphabetical order):

• Department of Computer Science, Utrecht
• Dutch Association for Artificial Intelligence (NvKI)
• Dutch Graduate School in Logic
• Faculty of Mathematics, Computer Science, Physics and Astronomy, Amsterdam
• IBM Nederland N.V.
• Institute for Logic, Language and Computation, Amsterdam (ILLC)
• Interval Research Corporation
• National Facility for Informatics (NFI)
• Netherlands Computer Science Research Foundation (SION)
• Royal Dutch Academy of Art and Sciences (KNAW)
• Stichting Mathematisch Centrum (SMC)

The conference is organized under the auspices of TARK Inc.

(Limited) Financial Support

Requests may be mailed to tark@cs.ruu.nl. Probably, final decisions about appropriating support will be made not far before March 17.

Latest News

Program

Invited Talks

Committees

Conference Location

Travelling Information

Excursion

Registration Form

(Limited) Financial Support

• At the Travelling Information, routes by car have been added. The route was corrected on March 4. Two maps are now available.

Sunday, March 17

• 17.30--19.00 Opening Reception (bar and Dutch treat)
• 16.00--20.00 Conference Registration

Monday, March 18

• 8.30--9.00 Conference Registration
• 9.00--9.10 Welcoming remarks (J. van Benthem, Y. Shoham)
• 9.15--10.05 Games, Information, and Computational Complexity
  C. Papadimitriou (invited talk)
  
• 10.10--10.35 Local Knowledge Assertions in a Changing World
  R. Ramanujam (Inst. of Mathematical Sciences, India)
  

• 10.35--11.00 BREAK
  

• 11.00--11.50 Special Session: Implementing Knowledge-Based Programs
  • Review of Knowledge-Based Programs M. Vardi (Rice U., USA)
  • Implementing Knowledge-Based Programs M. Vardi (Rice U., USA)
  • Knowledge-Based Programs: On the Complexity of Perfact Recall in Finite Environments R. van der Meyden (Sydney U. of Technology, Australia)
  
  
• 12.00--14.00 LUNCH
  

• 14.00--14.50 Causality, Counterfactuals and Implicit Actions J. Pearl (invited talk)
  

• 14.50--15.05 BREAK
  

• 15.05--15.55 Imperfect Recall in Decision Problems A. Rubinstein (invited talk)
• 16.00--16.50 Responses to Rubinstein
  • On Ambiguities in the Interpretation of Game Trees
    J.Y. Halpern (IBM Almaden, USA)
  • The Absent-Minded Driver
    R.J. Aumann, S. Hart, M. Perry (Hebrew U., Israel)
• 17.00--17.30 Rump Session (attendees encouraged to give short impromptu presentations)
  

• 18.30--20.00 DINNER
  

• 20.00--20.50 Dynamic Update Semantics F. Veltman (invited tutorial)

Tuesday, March 19

• 9.00--9.50 Belief Revision and Knowledge Representation P. Gärdenfors (invited talk)
  

• 9.50--10.05 BREAK
  

• 10.05--12.00 Special Session: Belief Change
  • Changing Conditional Beliefs Unconditionally
    A. Nayak, N. Foo, M. Pagnucco (U. Sydney, Australia)
    and A. Sattar (Griffith U., Australia)
  • Distance Semantics for Belief Revision
    K. Schlechta, D. Lehmann, M. Magidor (Hebrew U., Israel)
  • Belief Change and Dependence
    L. Farrinas del Cerro, A. Herzig (U. Paul Sabatier, France)
  • Counterfactuals and Updates as Inverse Modalities
    O. Rodrigues (Imperial College, UK), M.D. Ryan (U. Birmingham, UK) and P-Y. Schobbens (Institut d'Informatique, Belgium)
  • Multi-Agent Belief Revision
    N.E. Kfir-Dahav, M. Tennenholtz (Technion, Israel)
• 12.00--14.00 LUNCH
  

• 14.00--14.50 Rational Interactive Learning in Economics and Game Theory
  E. Kalai (invited talk)
• 15.00--15.25 From Reinforcement Learning to Emergent Conventions
  C. Boutilier (U. British Columbia, Canada)
  

• 15.25--15.40 BREAK
  

• 15.40--16.05 Knowledge at Equilibrium
  E. Minelli, H.M. Polemarchakis (U. Catholique de Louvain, Belgium)
• 16.10-16.35 Nondeterministic Action and Dominance: Foundations for Planning and Qualitative Decision
  R.H. Thomason (U. Pittsburgh, USA) and J.F. Horty (U. Maryland, USA)
• 16.40--17.30 Rump Session (attendees encouraged to give short impromptu presentations)
  

• 17.30--19.00 BREAK
  

• 19.00--20.30 BANQUET
• 20.30--21.30 TARK business meeting (all attendees welcome)

Wednesday, March 20

• 9.00-- 9.50 Constructive Proof Theory and Epistemics G. Sundholm (invited talk)
• 10.00--10.25 Multi-Agent `Only Knowing'
  J.Y. Halpern (IBM Almaden, USA) and G. Lakemeyer (U. Bonn, Germany)
• 10.30--10.55 Rationality Postulates for Induction P.A. Flach (Tilburg U., Netherlands)
• 11.10--12.00 Special Session: Common Knowledge Revisited
  • Computer Science: R. Fagin, J.Y. Halpern (IBM Almaden, USA), Y. Moses (Weizmann Inst., Israel) and M.Y. Vardi (Rice U., USA)
  • Economics and Game Theory: S. Morris (U. Pennsylvania, USA)

• 12.00--14.00 FAREWELL LUNCH; END OF CONFERENCE
  

• 14.00--18.00 optional local excursion

• Peter Gärdenfors, Cognitive Science (Lund)
  Belief Revision and Knowledge Representation
  

• Ehud Kalai, Economics (Evanston)
  Rational Interactive Learning in Economics and Game Theory
  

• Christos Papadimitriou, Computer Science (Berkeley)
  Games, Information, and Computational Complexity
  

• Judea Pearl, Artificial Intelligence (Los Angeles)
  Causality, Counterfactuals and Implicit Actions
  

• Ariel Rubinstein, Economics (Princeton)
  Imperfect Recall in Decision Problems
  

• Göran Sundholm, Philosophy (Leiden)
  Constructive Proof Theory and Epistemics
  

• Frank Veltman, Logic (Amsterdam)
  Tutorial on Dynamic Update Semantics
  

Conference Chair:

Johan van Benthem (Amsterdam)

Program Chair:

Yoav Shoham (Stanford)

Program Committee:



• Barbara Grosz (Cambridge, Mass.)
• Peter Gärdenfors (Lund)
• Sergiu Hart (Jerusalem)
• Hans Kamp (Stuttgart)
• Daphne Koller (Stanford)
• Stephen Morris (Philadelphia)
• Gil Neiger (Hillsboro)
• Christos Papadimitriou (Berkely)
• Krister Segerberg (Uppsala)
• Moshe Tennenholtz (Technion)
• Michael Wellman (Ann Arbor)

Organizing Committee:

• Peter van Emde Boas
• Wiebe van der Hoek
• Erik-Jan van der Linden
• John-Jules Meyer
• Margje Punt

back to the menu

The weather in March in the Netherlands is quite unpredictable: there are days with sun, but it can also be rather chilly and wet. Especially at the beach, a pull-over and a warm coat are recommendable.

The hotel has lots of facilities: a large lounge with a fireplace, a bar and a lovely winter-garden. The heated indoor-pool is provided with a terrace, a sauna and a solarium. All the rooms have a bathroom, telephone, alarm-clock, colour-t.v. and mini-bar. In the surroundings of the hotel one can find tennis- and mini-golf-courts. Finally, bikes can be rented at the reception-desk to explore the region.

Address:
Hotel `De Zeeuwse Stromen'
Duinwekken 5
Postbus 70
4325 ZG Renesse
The Netherlands

tel: +31--0111-462040
fax: +31--0111-462065
back to the menu

By plane

From Amsterdam airport (Schiphol)

• By train
  Take the train direction Vlissingen. Leave the train at Goes. From Schiphol to Goes takes 2.5 hours: it is almost two hundred kilometers. There are direct trains leaving Schiphol from 7:55, each hour, until 21:55. (There is also one leaving 7:25 each hour, until 21:55 but this requires a change of train at the station Roosendaal ). You need to buy a one way ticket Schiphol - Goes (about Dfl. 50,-).
  

• By car
  A trip by car from Schiphol Airport to Renesse takes about 1.5 hours.
  Schiphol Airport lies near the highway called both the A4 and E19. Take the direction Den Haag / Rotterdam (which is the opposite direction of Utrecht / Amsterdam). You pass the places Nieuw Vennep, Hoogmade, Zoeterwoude Dorp, and Leidschendam.
  At Rijswijk, you leave the A4, but stay on the E19: the E19 is also called the A13 here: the direction is Rotterdam. When reaching Rotterdam, at the junction called `Kleinpolderplein', you take the A20, in the direction of Vlaardingen and Hoogvliet. Watch the signs: they should say `Ringweg west' or `Europoort'. At the junction `Kethelplein' you take the A4 again: direction Hoogvliet and Beneluxtunnel. On the same A4, you pass this Beneluxtunnel.
  Then, you near the junction Hoogvliet. Here, one takes the A15 in the direction of Rozenburg. At Rozenburg, take the N57 (crossing the water at the Haringvlietdam and the Brouwersdam, respectively). Follow the N57 until you are directed to the right to Renesse.
  Coming in the village Renesse, you find a square with a church on your right. At the end of this square, you turn left. Just before the shopping centre, you turn right, towards the sea. You find the hotel on your left hand side. Two maps are now available, for Amsterdam to Renesse:
  • One in black and white (34K)
  • On in colour (52K)

Name          
Department    
Institution   
Address       
Postcode/city 
Country       
Telephone     
Fax           
e-mail        
remarks