🚀 go-pugleaf

From: gerhard@uran.informatik.uni-bonn.de (Gerhard Lakemeyer)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Sat, 06 Jul 91 19:36:50 +0200
Subject: <mod-ki 0739> CFP: Theoret.Aspects of Reasoning about Knowledge
Keywords: Conferences, Reasoning

mod-ki message 0739
************************************************************************
 Fourth Conference on Theoretical Aspects of Reasoning about Knowledge 
                             (TARK IV)

                          Call for Papers

The Fourth Conference on Theoretical Aspects of Reasoning about
Knowledge, sponsored by IBM, will be held at the Asilomar Conference
Center in Pacific Grove, California, on March 22-25, 1992.
While reasoning about knowledge has a long and honorable tradition in
Philosophy, it has become an active area of research in a wide variety
of fields, including Artificial Intelligence, Cryptography,
Distributed  Computing Systems, Economics and Game Theory, Linguistics,
Philosophy, and Psychology.

The commonality of the issues studied in the different fields suggests
that interdisciplinary interaction between researchers using reasoning
about knowledge has the potential of enriching and improving the
research performed. The aim of the conference is to bring together
researchers from these fields in order to further our understanding of
interdisciplinary issues involving reasoning about knowledge and
belief. Topics of interest include, but are not limited to:

    o  Semantic Models for Notions of Knowledge and Belief 
    o  Bounded Rationality and Resource-bounded Reasoning 
    o  Knowledge Acquisition, Belief Revision, and Learning 
    o  Commonsense Epistemic Reasoning 
    o  Knowledge and Action 
    o  Applications of Reasoning About Knowledge and Belief 

as they apply in the areas such listed above. 

You are invited  to submit 15 copies of a detailed abstract
(not a complete paper) to the program chair:

   Yoram Moses
   c/o Mark R. Tuttle 
   Digital Equipment Corporation 
   Cambridge Research Lab
   One Kendall Square, Building 700 
   Cambridge, MA 02139, USA

Submissions will be evaluated on the basis of significance,
originality, and overall quality. However, preference will be given to
papers whose topic is of interest to an interdisciplinary audience.
Papers should be written so that they are accessible to such an
audience. Each abstract should 1) contain enough information to enable
the program committee to identify the main contribution of the work;
2) explain the importance of the work---its novelty and its practical
or theoretical implications; and 3) include comparisons with and
references to relevant literature. Abstracts should be no longer than
ten double-spaced pages (4,000 words). It is understood that the
research reported in the abstract is original, and is submitted
exclusively to this conference. Papers arriving late or departing
significantly from these guidelines risk immediate rejection.

Submitted abstracts must arrive in Cambridge no later than 
SEPTEMBER 16, 1991. Authors will be notified of acceptance by November
20th, 1991. Camera-ready copies of the accepted papers will be due by
January 7th, 1992. Extended abstracts of the accepted papers will be
published in the conference proceedings, which will be distributed at
the conference and will be subsequently available for purchase through
the publisher. In order to ensure a workshop environment, attendance
will be limited to invited participants and authors of accepted
papers. We hope to be able to partially subsidize participants'
expenses. 

The program committee consists of Johan van Benthem
(University of Amsterdam), Adam Brandenburger (Harvard
University), Ronald Fagin (IBM Almaden Research Center), Anil
Gupta (Indiana University), Vassos Hadzilacos (University
of Toronto), William Harper (University of  Western Ontario),
David Israel (SRI International), Hector Levesque (University
of Toronto), Yoram Moses (Weizmann Institute), Phil Reny
(University of Western Ontario), Dov Samet (Tel Aviv University),
and Yoav Shoham (Stanford University).

For more information, contact Yoram Moses or Mark Tuttle
at the addresses below. 

Program Chair                      Local Arrangements Chair
Yoram Moses                        Mark R. Tuttle
Dept. of Applied Math              Digital Equipment Corporation
      and Computer Science         One Kendall Sq., Bldg. 700
Weizmann Institute                 Cambridge, MA 02139 USA
Rehovot, 76100, Israel             phone: (617) 621-6635
phone: +972-8-343435               fax: (617) 621-6650
fax: +972-8-344122                 tuttle@crl.dec.com
yoram@wisdom.weizmann.ac.il       

Conference Chair
Ronald Fagin
IBM Research 
Almaden Research Center 
650 Harry Road 
San Jose, CA 95120 
phone: (408) 927-1726 
fax: (408) 997-4662 
fagin@ibm.com
************************************************************************