7.490, Calls: Knowledge representation and reasoning (KR'96)

Sun Mar 31 19:29:21 UTC 1996

---------------------------------------------------------------------------
LINGUIST List:  Vol-7-490. Sun Mar 31 1996. ISSN: 1068-4875. Lines:  273

Subject: 7.490, Calls: Knowledge representation and reasoning (KR'96)

Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at tam2000.tamu.edu>
            Helen Dry: Eastern Michigan U. <hdry at emunix.emich.edu> (On Leave)
            T. Daniel Seely: Eastern Michigan U. <dseely at emunix.emich.edu>

Associate Editor:  Ljuba Veselinova <lveselin at emunix.emich.edu>
Assistant Editors: Ron Reck <rreck at emunix.emich.edu>
                   Ann Dizdar <dizdar at tam2000.tamu.edu>
                   Annemarie Valdez <avaldez at emunix.emich.edu>

Software development: John H. Remmers <remmers at emunix.emich.edu>

Editor for this issue: dizdar at tam2000.tamu.edu (Ann Dizdar)

---------------------------------Directory-----------------------------------
1)
Date:  Fri, 29 Mar 1996 13:32:02 PST
From:  skalsky at aaai.org (Rick Skalsky)
Subject:  KR'96 - CALL FOR PAPERS (Knowledge representation and reasoning)

---------------------------------Messages------------------------------------
1)
Date:  Fri, 29 Mar 1996 13:32:02 PST
From:  skalsky at aaai.org (Rick Skalsky)
Subject:  KR'96 - CALL FOR PAPERS (Knowledge representation and reasoning)

KR'96 - CALL FOR PAPERS

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 at 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 at 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 at 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        Department of Computer Science
e Sistemistica    		   226 Bell Hall
via Salaria 113                    Buffalo, NY 14260-2000
00198 Roma                	   USA
ITALY
Voice: +39 6 8841947                    Voice: +1 716 645 3180 ext. 125
Fax:   +39 6 85300849                   Fax:   +1 716 645 3464
EMAIL: aiello at dis.uniroma1.it           EMAIL: shapiro at cs.buffalo.edu
EMAIL: kr96-pc-chairs at kr.org

INTER-CONFERENCE COOPERATION CHAIR
Ronald P. Loui
Washington University, USA
EMAIL: loui at cs.wustl.edu

PUBLICITY CHAIR
Werner Horn
Austrian Research Institute for Artificial Intelligence
Austria
EMAIL: werner at 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 at 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 at research.att.com and greiner at scr.siemens.com.

Julia Bowen     bowen at 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 at aaai.org
------------------------------------------------------------------------
LINGUIST List: Vol-7-490.