arpa-bboard@ucbvax.ARPA (04/14/85)
From: Joe Halpern <halpern%ibm-sj.csnet@csnet-relay.arpa>
CONFERENCE ON THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE:
FIRST CALL FOR PAPERS
A conference on Theoretical Aspects of Reasoning About Knowledge
will be held Mar. 19-22, 1986, at the Asilomar Conference Center in
Monterey. While traditionally research in this area was mainly done by
philosophers, recently it has been shown to be of great
relevance to computer science, especially in such areas as artificial
intelligence, distributed systems, database systems,
and cryptography. There has also been interest in the area among
linguists and economists. The aim
of this conference is to bring together
researchers from these various disciplines
with the intent of furthering our theoretical understanding of
reasoning about knowledge.
Topics of interest include, but are not limited to:
* Semantic models for knowledge and belief
* Resource-bounded knowledge (appropriate for modelling reasoners with
limited reasoning power and reasoning about cryptographic protocols)
* Using knowledge to specify and reason about distributed systems
* Semantic models of knowledge acquisition and learning
* Nonmonotonic reasoning
Please send 8 copies of a detailed abstract
not exceeding 10 double-spaced typewritten pages in length
(not a full paper),
by September 15, 1985, to the program chair:
Dr. J. Halpern
IBM Research, K51/281
5600 Cottle Rd.
San Jose, CA 95193
The abstract should include a clear description of the problem being
addressed, comparisons with extant work, and a section on major
original contributions of this work. The abstract must provide
sufficient detail for the program committee to make a decision.
Papers will be chosen on the basis of scientific merit, originality,
and appropriateness for this conference.
Authors will be notified of acceptance by Nov. 1, 1985. Accepted
papers typed on special pages will be due at the above address
by Dec. 15, 1985.
The program committee members are:
M. Fischer, Yale
J. Halpern, IBM San Jose
H. Levesque, University of Toronto
R. Moore, SRI
R. Parikh, CUNY/Brooklyn College
R. Stalnaker, Cornell
R. Thomason, Pittsburg
M. Vardi, Stanford/CSLI
We hope to allow enough time between the talks during the conference
for private discussions and small group meetings. In order to
ensure that the conference remains relatively small, attendance will
be limited to invited participants and
authors of accepted papers.
Support for the conference has been received from IBM and AAAI;
an application for further support is pending at ONR.