FIFTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION
AND REASONING
Cambridge, Massachusetts, U.S.A.
November 5-8, 1996
World Wide Web: http://kr.org/kr/
Information Autoresponder: kr96-info@kr.org
Contact information below
INVITATION
Explicit representations of knowledge manipulated by inference algorithms
provide an important foundation for much work in Artificial Intelligence,
from natural language dialogue systems to expert systems. We intend KR'96
to be a place for the exchange of news, issues, and results among the
community of researchers in the principles and
practices of knowledge representation and reasoning (KR&R) systems.
We encourage papers that present substantial new results in the principles
of KR&R systems while clearly showing the applicability of those results
to
implemented or implementable AI systems. We also encourage "reports from
the field" of applications, experiments, developments, and tests. The
following topics are meant to be suggestive of the scope of the
conference.
Representational Formalisms
Representing Belief, Intention, Time, Space, Action, Events
Nonmonotonic Logics
Description Logics
Reasoning Techniques
Deduction
Induction
Abduction
Reasoning under Uncertainty
Parallel and Distributed Implementations
Efficiency Measures and Complexity
Implemented KR&R Systems
Reports
Updates
Comparisons
Evaluations
Significant Applications of KR&R Systems and Techniques
Planning
Robotics
Diagnosis
Natural Language
Multi-Agent Environments
Knowledge Bases
Implications for/of Other Areas of AI and CS
Machine Learning
Decision Theory
Databases
Software Engineering
SCHEDULE
KR'96 will be held in Cambridge immediately preceding the AAAI Fall
Symposia Series, and immediately after several independent workshops.
More
information on these adjoining meetings appears at the end of this
announcement.
May 6, 1996 Extended abstracts due
June 14, 1996 Results to authors
July 17, 1996 Final papers due
November 2-4, 1996 Workshops (DL'96, Relevance)
November 5-8, 1996 KR'96
November 9-11, 1996 AAAI Fall Symposia
SUBMISSION OF PAPERS
The Program Committee will review EXTENDED ABSTRACTS rather than complete
papers. Submissions must be at most twelve (12) pages, excluding the
title
page and the bibliography, with a maximum of 38 lines per page and an
average of 75 characters per line (corresponding to the LaTeX
article-style, 12pt). Overlength submissions will be rejected without
review. All abstracts must be submitted on 8 1/2 by 11 inch or A4 paper,
and printed or typed in 12-point font (10 characters per inch on a
typewriter). Dot matrix printout, FAX, or electronic submission will not
be accepted. Each submission should include the names and complete
addresses (including email, when possible) of all authors. Correspondence
will be sent to the first author, unless otherwise indicated. Also,
authors should indicate under the title which of the topic areas listed
above best describes their paper (if none is appropriate, please give a
set
of keywords that best describe the topic of the paper).
KR'96 is arranging with AAAI to handle the collection and acknowledgment
of
submissions. To be considered, five (5) paper copies of each extended
abstract must be received no later than May 20, 1996 at the following
address:
KR'96
c/o AAAI
445 Burgess Drive
Menlo Park, CA 94025
Receipt of submissions will be acknowledged, ordinarily by email.
Remaining questions concerning receipt of submission may be addressed to
AAAI at
Tel: 415-328-3123
Fax: 415-321-4457
Email: kr@aaai.org
MULTIPLE SUBMISSIONS
Submitted papers must be unpublished and substantively different from
papers currently under review.
NOTIFICATION
Authors will be notified of the Program Committee's decision by July 1,
1996. Notification will be made by electronic mail whenever possible.
FINAL PAPERS
Authors of accepted papers will be expected to submit substantially longer
full papers for the conference proceedings. Final camera-ready copies of
the full papers will be due July 31, 1996. Final papers will be allowed
at
most twelve (12) double-column pages in the conference proceedings
(corresponding to approximately 28 article-style LaTeX pages; a style file
will be provided by the publisher).
REGISTRATION
Registration, lodging, and travel information will be distributed later;
check the web page or autoresponder listed above for current information.
KR'96 is arranging with AAAI to handle registration, including payment by
credit card.
CONFERENCE CHAIR
Jon Doyle
Massachusetts Institute of Technology
Laboratory for Computer Science
545 Technology Square
Cambridge, MA 02139
USA
Voice: +1 (617) 253-3512
Fax: +1 (617) 258-8682
EMAIL: doyle@mit.edu
PROGRAM CO-CHAIRS
Luigia Carlucci Aiello Stuart C. Shapiro,
Universit di Roma La Sapienza State University of New York at
Buffalo
Dipartimento di Informatica e Sistemistica Department of Computer
Science
via Salaria 113 226 Bell Hall
00198 Roma Buffalo, NY 14260-2000
ITALY USA
Voice: +39 6 8841947 Voice: +1 716 645 3180 ext. 125
Fax: +39 6 85300849 Fax: +1 716 645 3464
EMAIL: aiello@dis.uniroma1.it EMAIL: shapiro@cs.buffalo.edu
EMAIL: kr96-pc-chairs@kr.org
INTER-CONFERENCE COOPERATION CHAIR
Ronald P. Loui
Washington University, USA
EMAIL: loui@cs.wustl.edu
PUBLICITY CHAIR
Werner Horn
Austrian Research Institute for Artificial Intelligence
Austria
EMAIL: werner@ai.univie.ac.at
PROGRAM COMMITTEE
(Preliminary)
Syed Ali (SW. MO St. U., USA)
John A. Barnden (NM St. U., USA)
Ron Brachman (ST&T, USA)
Ernest Davis (NYU, USA)
Richard Fikes (Stanford U., USA)
Fausto Giunchiglia (U. Trento, Italy)
Patrick Hayes (U. IL, USA)
Jim Hendler (U. Md, USA)
Eduard Hovy (USC/ISI, USA)
Kurt Konolige (SRI, USA)
David Israel (SRI, USA)
Lucja Iwanska (Wayne St. U., USA)
Benjamin Kuipers (U. TX, USA)
Deepak Kumar (Bryn Mawr Coll., USA)
Fritz Lehmann (Cycorp and GRANDAI, USA)
Doug Lenat (Cycorp, USA)
Hector Levesque (U. Toronto, Canada)
Vladimir Lifschitz (U. TX, USA)
Robert MacGregor (USC/ISI, USA)
Hwee Tou Ng (DSO, Singapore)
Ramesh Patil (USC/ISI, USA)
Anand Rao (AAII, Australia)
Len Schubert (U. Rochester, USA)
Yoav Shoham (Stanford U., USA)
John Sowa (U. Binghamton, USA)
Wolfgang Wahlster (DFKI, Germany)
ADJOINING CONFERENCES
KR'96 will be immediately preceded by several workshops and immediately
followed by the AAAI Fall Symposia Series. Tentative information for
these meetings is as follows, with all located in Cambridge, Massachusetts.
The AAAI Fall Symposia Series will be held November 9-11, 1996. For more
information, see http://www.aaai.org/.
Description Logic '96 will be held November 2-4, 1996. For more
information contact the organizing committee at dl96@dl.kr.org. The
organizing committee consists of Lin Padgham (chair), Deborah McGuinness,
Peter Patel-Schneider, Enrico Franconi, and Manfred Gehrke.
Relevance in Knowledge Representation and Reasoning (RRR-96) will be held
(tentatively) November 2-4, 1996. For more information, contact the
organizers, Alon Levy and Russ Greiner, at levy@research.att.com and
greiner@scr.siemens.com.
Julia Bowen bowen@uranus.aaai.org
AAAI
445 Burgess Drive
Menlo Park,CA 94025
(415)328-3123 fax (415)321-4457
Richard Skalsky
AAAI
445 Burgess Drive
Menlo Park, CA 94025
Voice (415) 328-3123
Fax (415) 321-4457
skalsky@aaai.org
----- End Forwarded Message -----