KR'96 Call for Papers 
Author Message
 KR'96 Call for Papers

                        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://www.*-*-*.com/


                      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
        {*filter*}
        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
            July 1, 1996                Results to authors
            August 15, 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{*filter*}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
6, 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

                         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{*filter*}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.

                           KR MAILING LIST

Updated information will also be posted to the new KR mailing list.
To subscribe to this automated facility, simply send a

reading

    subscribe kr

if you want the email address from which you are sending the message
to be added to the list, or

    subscribe kr <desired email address>

if you want a different email address for yourself added to the list.
Include a line reading

    help

to receive more information about how to use the mailing list
facility.  You will receive acknowledgement and welcome messages in
response to your request.  Please do not be concerned if some
KR-Majordomo messages come from the host medg.lcs.mit.edu instead of
KR.ORG.  These two domain names are aliased at present, but will be
separated in the future.  Accordingly, please always use the KR.ORG
address in communications.

                            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

                            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


                  INTER-CONFERENCE COOPERATION CHAIR
                      Ronald P. Loui
                      Washington University, USA

                           PUBLICITY CHAIR
        Werner Horn
        Austrian Research Institute for Artificial Intelligence
        Austria

                          PROGRAM COMMITTEE
                            (Preliminary)

Syed Ali (SW. MO St. U., USA)
Afzal Ballim (EPFL, CH)
John A. Barnden (NM St. U., USA)
Ron Brachman (AT&ampT Bell Labs, USA)
Maurice Bruynooghe (Catholic Univ. of Leuven, BE)
Anthony G. Cohn (U. Leeds, UK)
Marie Odile Cordier (IRISA, FR)
Ernest Davis (NYU, USA)
Didier Dubois (IRIT, FR)
Thomas Eiter (T.U. Wien, AT)
Luis Farinas del Cerro (IRIT, FR)
Richard Fikes (Stanford U., USA)
Dov Gabbay (Imperial College, UK)
Peter Gaerdenfors (Lund U., SE)
Mike Georgeff (AAII, AU)
Fausto Giunchiglia (U. Trento, Italy)
Frank van Harmelen (Free Univ. of Amsterdam, NL)
Patrick Hayes (U. IL, USA)
Jim Hendler (U. Md, USA)
Eduard Hovy (USC/ISI, USA)
Hiroachi Kitano (Sony, JP)
Kurt Konolige (SRI, USA)
Sarit Kraus (Bar Ilan U., IL)
David Israel (SRI, USA)
Lucja Iwanska (Wayne St. U., USA)
Benjamin Kuipers (U. TX, USA)
Deepak Kumar (Bryn Mawr Coll., USA)
Gerhard Lakemeyer (U. Bonn, Germany)
Fritz Lehmann (Cycorp and GRANDAI, USA)
Doug Lenat (Cycorp, USA)
Maurizio Lenzerini (U. Roma, IT)
Hector Levesque (U. Toronto, Canada)
Vladimir Lifschitz (U. TX, USA)
Robert MacGregor (USC/ISI, USA)
Joao Martins (Tech Univ of Lisbon, PT)
Riichiro Mizoguchi (U. Osaka, JP)
Bernhard Nebel (U. Ulm, DE)
Hwee Tou Ng (DSO, Singapore)
Hans Juergen Ohlbach (Max Plank I., DE)
Lin Padgham  (RMIT, AU)
Ramesh Patil (USC/ISI, USA)
Anand Rao (AAII, Australia)
Ray Reiter (U. Toronto, Canada)
Jeff Rosenschein (Hebrew U., IL)
Erik Sandewall (Linkoeping U., SE)
Len Schubert (U. Rochester, USA)
Yoav Shoham (Stanford U., USA)
John Sowa (U. Binghamton, USA)
Piero Torasso (U. Torino, IT)
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.*-*-*.com/
        Description Logic '96 will be held November 2-4, 1996.  For

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



Sat, 08 Aug 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. KR'96 Call for Papers

2. KR'96 Call for Papers

3. KR'96 Call for Papers

4. KR'96 Call for Papers

5. TOOLS Europe '96 Call for Papers

6. TOOLS Europe '96 Call for Papers

7. euroFORTH'96 announce & call for papers

8. ASIAN'96 Final Call for Papers

9. ASIAN'96 CALL FOR PAPERS

10. SAS'96: second call for papers

11. LICS'96 Final Call for Papers + Correction

12. LICS'96 Second Call for Papers

 

 
Powered by phpBB® Forum Software