CALL FOR PAPERS AND WORKSHOPS

Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000)

April 12--15, 2000
Breckenridge, CO, USA; Colocated with AIPS2000 and NMR'2000
Sponsored by KR, Inc.

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 KR2000 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. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing. KR2000 will colocate with the Fifth International Conference on Artificial Intelligence Planning and Scheduling Systems (AIPS2000), with one day in common. We strongly encourage papers which can be of interest to both communities. Anyone interested in organising a workshop in conjunction with KR2000 should contact the workshops coordination chair as soon as possible.

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. 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). Submitted papers must be unpublished and substantively different from papers currently under review.

Details of any proposed submissions must be sent by one of the following three alternative means, preferably to arrive by October 22, 1999.

Fill out the form at the WWW address http://www.kr.org/kr/kr00/submission.html
Send an email message to kr2000@irst.itc.it providing the details in exactly the following format:

Title: Title of paper
Author: Last name, initials
Author: Insert as many more author lines as necessary
CorrespondingAuthor: Name of corresponding author
CorrespondingEmail: Email of corresponding author
CorrespondingAddress: Address of corresponding author
Keywords: List of keywords, preferably chosen from topic list
Abstract: Short abstract, max 200 words
EndAbstract: Mark the end of the short abstract thus
If intending authors do not have email or web access, they should mail the same information to either of the Programme Co-chairs.

Extended abstracts should be submitted to either of the Programme Co-chairs (5 copies) by November 2, 1999. Submissions should be clearly marked ``KR2000'' on the envelope. In addition to hardcopies of your extended abstract, we request that also send us a postscript file (.ps) of your submission. Email your .ps to kr2000@irst.itc.it, to arrive by Tuesday, November 2nd. Acknowledgement of extended abstracts will be made by email no later than November 12, 1999. Acceptance or rejection information will be sent by December 15, 1999.

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 January 21, 2000.

Topics

Representational Formalisms: Representations of Belief, Intention, Time, Space, Action, Events; Nonmonotonic Logics; Description Logics.
Reasoning Techniques: Deduction, Induction, Abduction, Reasoning under Uncertainty, 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.
Implications for/of: Machine Learning, Decision Theory, Databases, Software Engineering.

Schedule

Fri. October 22, 1999 : Electronic abstracts due
Tue. November 2, 1999 : Extended abstracts due
Fri. November 12, 1999 : Ack. of submissions
Wed. December 15, 1999 : Results to authors
Friday January 21, 2000 : Final papers due
April 9--11, 2000 : Pre-conference workshops
April 12--15, 2000 : KR2000 conference

Conference Committee

Conference chair

Anthony G. Cohn
Division of AI
School of Computer Studies
University of Leeds
Leeds, LS2 9JT, UK
agc@scs.leeds.ac.uk

Program chairs

Fausto Giunchiglia
Automated Reasoning Systems Division
ITC-IRST, Povo, 38050 Trento, Italy
fausto@irst.itc.it

Bart Selman
Computer Science Department
Cornell University
Ithaca, NY 14853-7501, USA
selman@cs.cornell.edu

Local arrangements chair

Deborah L. McGuinness
Stanford University
Stanford, CA 94305
dlm@ksl.stanford.edu

Workshops coordination chair

Mary-Anne Williams
U. Newcastle, Newcastle, Australia
maryanne@infosystems.newcastle.edu.au

Publicity chair

Peter Patel-Schneider
Bell Labs Research
600 Mountain Ave., 2A-427
Murray Hill, NJ 07974, USA
pfps@research.bell-labs.com

Treasurer

Neal Lesh
Mitsubishi Electric Research Laboratory
Cambridge, MA 02139
lesh@merl.com

Program Committee

Luigia Carlucci Aiello University of Rome "La Sapienza"	Franz Baader RWTH Aachen
Fahiem Bacchus University of Waterloo, Canada	Susanne Biundo University of Ulm
Alexander Bochman Bar-Ilan University	Alex Borgida Rutgers University
Gerd Brewka University of Leipzig	Marco Cadoli University of Rome "La Sapienza"
Rina Dechter ICS - University of California, Irvine	Didier Dubois IRIT, France
Luis Farinas del Cerro IRIT, France	Richard Fikes Stanford University
Maria Fox University of Durham, UK	Hector Geffner University Simon Bolivar, VE
Yolanda Gil USC/ISI	Matt Ginsberg University of Oregon
Georg Gottlob Technische Universitaet Wien	Pat Hayes IHMC, University of West Florida
Andreas Herzig IRIT, France	Ian Horrocks University of Manchester
Eric Horvitz Microsoft Research	Henry Kautz AT&T Labs
Gerhard Lakemeyer RWTH Aachen	Maurizio Lenzerini University of Roma "La Sapienza"
Vladimir Lifschitz University of Texas at Austin	Fangzhen Lin
John McCarthy Stanford University	Nicola Muscettola NASA Ames Research Center
Karen Myers SRI International	John Mylopolous University of Toronto
Wolfgang Nejdl University of Hannover	Hans Juergen Ohlbach King's College, UK
Jussi Rintanen University of Freiburg	Dan Roth University of Illinois, Urbana/Champaign
Erik Sandewall Linköping University, Sweden	Roberto Sebastiani University of Trento
Carles Sierra	Murray Shanahan Imperial College
Sam Steel University of Essex	Rich Thomason University of Michigan
Paolo Traverso ITC-IRST, Trento, Italy	Toby Walsh University of York, UK

Resources

WWW: http://www.kr.org/kr/kr00/
Autoresponder: kr00-info@kr.org