REVISED CALL FOR PAPERS
(submission deadline November 1, 2001)
Eighth International Conference on
Principles of Knowledge Representation and Reasoning
(KR2002)
April 22-25, 2002; Toulouse, France
Colocated with AIPS'02, NMR'2002, and DL-2002.
Sponsored by KR, Inc.
For up-to-date information on KR2002, see http://www.kr.org/kr/kr02/
Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting
field of human endeavour. KR&R techniques are key drivers of innovation in
computer science, and they have lead to significant advances in practical
applications in a wide range of areas from Artificial Intelligence to
Software Engineering.
Explicit representations of knowledge manipulated by reasoning engines are
an integral and crucial component of intelligent systems. Semantic Web
technologies and the design of software agents, in particular, provide
significant challenges for KR&R.
We intend KR2002 to be a place for the exchange of news, issues, and
results among the community of researchers in the principles and practices
of 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 systems. We also encourage
"reports from the field'' of applications, experiments, developments, and
tests. Such papers should be explicitly identified as reports from the
field by the authors, to ensure appropriate reviewing.
KR2002 will colocate with the Sixth International Conference on Artificial
Intelligence Planning and Scheduling Systems (AIPS2002), with one day in
common. We strongly encourage papers which would be of interest to both
communities.
Paper Format:
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.
The deadline for submissions is November 1, 2001. Acknowledgement of
extended abstracts will be made by email no later than November 12,
2001. Acceptance or rejection information will be sent by December 21,
2001.
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 February 8, 2002.
Electronic Submission of Papers:
Authors must submit a title page and an electronic version of their paper
in pdf format only, using the process described below. Authors completely
unable to submit their papers using this electronic submission process must
contact the program chairs no later than October 15, 2001 to arrange an
alternative submission process. Electronic papers not in pdf format will
be rejected without review. Papers cannot be submitted by email or FAX!
To submit your title page and paper use a World Wide Web (WWW) browser such
as Netscape to connect to http://cafe.newcastle.edu.au/krconfman/REG-paper/.
Papers will be given a unique identification number, and the abstract
should be less than 300 words.
After the author has submitted their title page, an acknowledgement will be
displayed (and simultaneously emailed to the contact author). At the
bottom of the acknowledgement page will be a link to "Upload Paper>" where
authors will be requested to divulge the name of the pdf file to be
uploaded. Note: When a title page is submitted directions on how to upload
the electronic paper in pdf format will also will be emailed to the contact
author. Authors should note their tracking number, and only upload their
pdf file only once!
Topics:
Representational Formalisms: Representations of Belief, Concepts,
Intention, Time, Space, Action, Events; Nonmonotonic Logics; Description
Logics; Knowledge and Concept Structures for the Semantic Web.
Reasoning Techniques: Deduction, Induction, Abduction, Reasoning under
Uncertainty, Reasoning in Heterogeneous Environments, Efficiency Measures,
Complexity, Parallel and Distributed Implementations.
Implemented KR&R Systems: Reports, Updates, Comparisons, Evaluations.
Significant Applications: Planning, Robotics, Diagnosis, Natural Language,
Multi-Agent Systems, Knowledge Bases, The Semantic Web,
Ontologies, Concept Management, Knowledge Integration, Knowledge Sharing,
Decision Support.
Implications for/of: Machine Learning, Decision Theory, Uncertainty,
Databases, Software Engineering, Conceptual Modelling.
Important Dates for Papers:
November 1, 2001: Electronic Title Page and Electronic Paper Submission Deadline
November 12, 2001: Acknowledgement of Electronic Paper Submission
December 21, 2001: Acceptance Notification
February 8, 2002: Deadline for Receipt of Camera-ready Copy
April 19 -21, 2002: Preconference workshops
April 22 - 25, 2002: KR2002 conference
Invited Speakers:
Peter Gardenfors, Lund University, Sweden
James Hendler, University of Maryland, USA
Bernhard Nebel, Albert-Ludwigs-Universit�t Freiburg, Germany
Program Committee:
Franz Baader, RWTH Aachen
Fahiem Bacchus, University of Toronto
Lawrence W. Barsalou, Emory University
Salem Benferhat, Universit� Paul Sabatier
Brandon Bennett, University of Leeds
Gerhard Brewka, University of Leipzig
Marco Cadoli, Universita' di Roma
Marie-Odile Cordier, Universit� Rennes
Adnan Darwiche, University of California
Ernest Davis, New York University
Rina Dechter, University of California
Stefan Decker, Stanford University
Luis Farinas del Cerro, Universit� Paul Sabatier
Patrick Doherty, Link�ping University
Didier Dubois, Universit� Paul Sabatier
Thomas Eiter, University of Vienna
Helene Fargier, Universit� Paul Sabatier
Richard Fikes, Stanford University
Tim Finin, University of Maryland
Antony Galton, University of Exeter
Hector Geffner, Universitat Pompeu Fabra
Enrico Giunchiglia, Universit� di Genova
Carole Goble, University of Manchester
Asunci�n G�mez-P�rez, Univ. Poli. de Madrid
Nicola Guarino, LADSEB-CNR
Frank van Harmelen, Vrije Univ. Amsterdam
Pat Hayes, University of West Florida
Ian Horrocks, University of Manchester
Anthony Hunter, University College London
Henry Kautz, University of Washington
Mark Keane, University College Dublin
Hector Levesque, University of Toronto
Paolo Liberatore, Universita di Roma
Vladimir Lifschitz, University of Texas at Austin
Fangzhen Lin, Hong Kong Univ. Sci. & Tech
David Makinson, Kings College
David McAllester, AT&T
John McCarthy, Stanford University
Sheila McIlraith, Stanford University
Robert A. Meersman, Vrije Universiteit Brussel
Leora Morgenstern, IBM Hawthorne
John-Jules Charles Meyer, Utrecht University
Ryszard Michalski, George Mason University
Daniele Nardi, Universita' di Roma
Ilkka Niemela, Helsinki University of Technology
Lin Padgham, RMIT
Simon Parson, University of Liverpool
Pavlos Peppas, Patras University
Ramon Pino Perez, Universidad de Los Andes
David Poole, University of British Columbia
Gregory Provan, Rockwell Scientific
Henri Prade, Universit� Paul Sabatier
David Randell, Imperial College
Marco Schaerf, Univ. Roma
A. Th. Schreiber, University of Amsterdam
Bart Selman, Cornell University
Stuart C. Shapiro, SUNY Buffalo
Yoav Shoham, Stanford University
Liz Sonenberg, University of Melbourne
John F. Sowa
Rudi Studer, University of Karlsruhe
Michael Thielscher, Dresden Univ. of Technology
Rich Thomason, University of Michigan
Pietro Torasso, Universita' di Torino
Mirek Truszczynki, University of Kentucky
Toby Walsh, The University of York
Christopher A. Welty, Vassar College
Brian Williams, MIT
Frank Wolter, University of Leipzig
Mike Wooldridge, University of Liverpool
Conference Committee
Conference Chair
Fausto Giunchiglia
Automated Reasoning Systems Division
ITC-IRST, Povo, 38050 Trento, Italy
[EMAIL PROTECTED]
Program Chairs
Deborah McGuinness
Knowledge Systems Lab
Stanford University, CA, USA
[EMAIL PROTECTED]
Dieter Fensel
Vrije Universiteit Amsterdam
Amsterdam, Netherlands
[EMAIL PROTECTED]
Mary-Anne Williams
Business & Technology Research Lab
The University of Newcastle, Australia
[EMAIL PROTECTED]
Local Arrangements Chairs
Andreas Herzig
Jerome Lang
Institut de Recherche en Informatique de Toulouse
Universit� Paul Sabatier, Toulouse, France
[EMAIL PROTECTED], [EMAIL PROTECTED]
Workshops Coordination Chair
Bruce Porter
Artificial Intelligence Laboratory
University of Texas, Austin, TX, USA
[EMAIL PROTECTED]
Publicity Chair
Peter Patel-Schneider
Bell Labs Research, Murray Hill, NJ, USA
[EMAIL PROTECTED]
Treasurer
Laure Vieu
Institut de Recherche en Informatique de Toulouse
Universit� Paul Sabatier, Toulouse, France
[EMAIL PROTECTED]
