SIXTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF
KNOWLEDGE REPRESENTATION AND REASONING
(KR'98)
Call for Papers
TRENTO, ITALY, JUNE 2-5, 1998
(With workshops and coordinated events
May 30-June 1 and June 6-8, 1998)
World Wide Web: http://www.kr.org/kr/kr98/
Autoresponder: ·········@kr.org
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'98 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.
The following topics are meant to be suggestive of the scope of the
conference.
* Representational Formalisms * Implemented KR&R Systems
o Representations of o Reports
+ Belief o Updates
+ Intention o Comparisons
+ Time o Evaluations
+ Space * Significant Applications
+ Action o Planning
+ Events o Robotics
o Nonmonotonic Logics o Diagnosis
o Description Logics o Natural Language
* Reasoning Techniques o Multi-Agent
o Deduction Environments
o Induction o Knowledge Bases
o Abduction * Implications for/of
o Reasoning under Uncertainty o Machine Learning
o Parallel and Distributed o Decision Theory
o Implementations o Databases
o Efficiency Measures and o Software Engineering
Complexity
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.
A form at the WWW address <http://www.kr.org/kr/kr98/submission.html> giving
details of any proposed submission must be properly filled by Wednesday
November 26, 1997.
If intending authors do not have WWW access then an email message must be
sent to ····@cs.rochester.edu by Wednesday November 26, 1997 giving details
of any proposed submission in the following format (please be sure to spell
the keywords correctly and to include the `:'s):
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: <Insert list of keywords, preferably chosen from above list>
Abstract: <Insert short abstract, max 200 words>
EndAbstract: <Mark the end of the short abstract thus>
If intending authors do not have email then they should send the same
information by letter to arrive by Wednesday November 26, 1997 addressed to
either of the Programme Co-chairs.
Extended abstracts should be submitted to either of the Programme Co-chairs
(5 copies) by Monday December 1, 1997. Submissions should be clearly marked
"KR98" on the envelope. Electronic submission of the extended abstract is
not permitted. Acknowledgement of extended abstracts will be made by email
no later than Wednesday December 10 1997.
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 Wednesday March 17 1998. 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 is provided by the publisher).
SCHEDULE
Wednesday November 26, 1997 Electronic abstracts due
Monday December 1, 1997 Extended abstracts due
Wednesday December 10, 1997 Acknowldgement of Extended abstracts
Monday February 2, 1998 Results to authors
Wednesday March 17, 1998 Final papers due
Saturday-Monday May 30 - June 1, 1998 Workshops
Monday evening, June 1, 1998 Opening reception
Tuesday-Friday June 2-5, 1998 KR'98
Saturday-Monday June 6-8, 1998 Workshops
WORKSHOPS AND COORDINATED EVENTS
A number of workshops and adjoining meetings will be held in conjunction
with KR'98:
International Description Logics Workshop (DL'98)
June 6 - June 8, 1998
Contact person: Enrico Franconi (········@irst.itc.it).
<http://dl.kr.org/dl/dl98/>
Nonmonotonic Reasoning workshop (NMR)
May 30 - June 1, 1998
Contact person: Gerhard Brewka (······@informatik.uni-leipzig.de),
chairs: Gerhard Brewka and Ilkka Niemelae, honorary chair: Ray Reiter.
<http://www.kr.org/nm/>
IFIP Workshop on Knowledge Representation for Natural Language Processing
May 31 - June 1, 1998
Contact person: David Etherington (·····@cirl.uoregon.edu).
Conference on Formal Ontology in Information Systems (FOIS'98)
June 6 - June 8, 1998
Contact person: Nicola Guarino (·······@ladseb.pd.cnr.it).
<http://mnemosyne.itc.it:1024/fois98/>
Workshop on Validation & Verification of Knowledge-Based Systems (V&V'98)
June 1, 1998
Contact person: Frank van Harmelen (······@cs.vu.nl).
<http://www.cs.vu.nl/~frankh/KR98-VV.html>
Workshop on Knowledge Representation for Interactive Multimedia Systems
(KRIMS II)
June 1, 1998
Contact persons: Geogre Vouros (·······@ath.aegean.gr),
Paolo Petta (·····@ai.univie.ac.at).
CONFERENCE COMMITTEE
CONFERENCE CHAIR PROGRAM CO-CHAIRS
Stuart C. Shapiro Anthony G. Cohn
State University of New York Division of AI, School of Computer Studies
at Buffalo, USA Univ. of Leeds, Leeds, LS2 9JT, UK
·······@cs.buffalo.edu ···@scs.leeds.ac.uk
Lenhart Schubert
Computer Science Department
University of Rochester
Rochester, NY 14627-0226, USA
········@cs.rochester.edu
PROGRAM COMMITTEE MEMBERS
James Allen (U. Rochester, USA)
Giuseppe Attardi (U. Pisa, IT)
Franz Baader (RWTH Aachen, DE)
Fahiem Bacchus (U. Waterloo, Canada)
John Bell (QMW Coll., UK)
Alexander Bochman (Bar-Ilan U., IL)
Mark Boddy (Honeywell Tech. Cent., USA)
Alex Borgida (Rutgers, USA)
Craig Boutilier (UBC, Canada)
Ronen Brafman (UBC, Canada)
Gerhard Brewka (U. Leipzig, DE)
Tom Bylander (U. TX at San Antonio, USA)
Marco Cadoli (U. Roma, La Sap., IT)
Ernest Davis (NYU, USA)
James Delgrande (Simon Fraser U, Canada)
Francesco Donini (U. Roma, La Sap., IT)
Didier Dubois (U. Paul Sabatier, FR)
Alan Frisch (U. York, UK)
Antony Galton (U. Exeter, UK)
Hector Geffner (U. Simon Bolivar, VE)
Malik Ghallab (LAAS-CNRS, FR)
Robert Givan Jr. (Purdue U., USA)
Georg Gottlob (T.U. Wien, AT)
Adam Grove (NEC Res. Inst., USA)
Thomas Gruber (Intraspect Software, USA)
Nicola Guarino (LADSEB-CNR, IT)
Peter Haddawy (U. WI-Milwaukee, USA)
Bernhard Hollunder (Interactive Objects Software, DE)
Henry Kautz (AT&T, USA)
Jana Koehler (Albert-Ludwigs-U., DE)
Gerhard Lakemeyer (RWTH Aachen, DE)
Neal Lesh (U. Rochester, Mitsubishi Electric Labs., USA)
Vladimir Lifschitz (U. Texas, USA)
Gerard Ligozat (U. Paris-Sud, FR)
Fangzhen Lin (Hong Kong U. of Science, HK)
Robert MacGregor (USC/ISI, USA)
David McAllester (AT&T, USA)
L. Thorne McCarty (Rutgers, USA)
Deborah McGuinness (AT&T, USA)
Jack Minker (U. MD, USA)
Leora Morgenstern (IBM TJ Watson, USA)
Bernhard Nebel (Albert-Ludwigs-U., DE)
Wolfgang Nejdl (U. Hannover, DE)
Werner Nutt (U. des Saarlandes, DE)
Hans Juergen Ohlbach (Imperial College, UK)
Fiora Pirri (U. Roma, La Sap., IT)
Massimo Poesio (U. Edinburgh, UK)
David Poole (UBC, Canada)
Teodor Przymusinski, Teodor (UC Riverside, USA)
Anand Rao (AAII, AU)
Raymond Reiter (U. Toronto, Canada)
Irina Rish (UC Irvine, USA)
Stuart Russell (UC Berkeley, USA)
Marco Schaerf (U. Roma, La Sap., IT)
Bart Selman (AT&T, USA)
Murray Shanahan (QMW Coll., UK)
Yoav Shoham (Stanford U., USA)
Maria Simi (U. Pisa, IT)
Aaron Sloman (U. Birmingham, UK)
Michael Thielscher (Darmstadt U. Technology, DE)
Miroslaw Truszczynski (U. Kentucky, USA)
Peter van Beek (U. Alberta, Canada)
Mary-Anne Williams (U. of Newcastle, AU)
LOCAL ARRANGEMENTS WORKSHOPS COORDINATION
Fausto Giunchiglia (chair), Lin Padgham (chair)
Morena Carli, Luciano Serafini RMIT, Melbourne, Australia
IRST-ITC, Trento, Italy ·····@cs.rmit.edu.au
··········@irst.itc.it
Paolo Traverso (local organisation)
IRST-ITC, Trento, Italy
····@irst.itc.it
PUBLICITY CHAIR TREASURER
Enrico Franconi Francesco Donini
IRST-ITC, Trento, Italy University of Rome "La Sapienza", Italy
········@irst.itc.it ······@assi.dis.uniroma1.it
--------------------
Sponsored by KR, Inc.
Organization supported by IRST-ITC
In cooperation with the AAAI