revised KR2002 call for papers (deadline November 1, 2001)

		        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
		fausto@irst.itc.it

   Program Chairs 
	Deborah McGuinness
		Knowledge Systems Lab
		Stanford University, CA, USA
		dlm@ksl.stanford.edu
	Dieter Fensel
		Vrije Universiteit Amsterdam
		Amsterdam, Netherlands
		dieter@cs.vu.nl
	Mary-Anne Williams
		Business & Technology Research Lab
		The University of Newcastle, Australia
		maryanne@ebusiness.newcastle.edu.au

   Local Arrangements Chairs 
	Andreas Herzig
	Jerome Lang
		Institut de Recherche en Informatique de Toulouse
		Université Paul Sabatier, Toulouse, France
 		herzig@irit.fr, lang@irit.fr
	  
   Workshops Coordination Chair 
   	Bruce Porter
		Artificial Intelligence Laboratory
		University of Texas, Austin, TX, USA
		porter@cs.utexas.edu

   Publicity Chair 
	Peter Patel-Schneider
		Bell Labs Research, Murray Hill, NJ, USA
		pfps@research.bell-labs.com

   Treasurer
	Laure Vieu
		Institut de Recherche en Informatique de Toulouse
		Université Paul Sabatier, Toulouse, France
		vieu@irit.fr

Received on Monday, 24 September 2001 12:32:00 UTC