Sixth International Conference on Principles of
Knowledge Representation and Reasoning
(KR'98)

Trento, Italy
June 2-5, 1998

(with colocated workshops
May 30-June 1 and June 6-8, 1998)

KR

Colocated Workshops
Information

Workshops registration and participation is limited to those active participants determined by each workshop organizing committee prior the conference. Please, contact the workshops organizers in order to check participation conditions.

Workshop participants should use the common Registration and Hotel-Banquet-Excursion forms. KR'98 conference registration for workshops participants is welcome but it is not mandatory. Workshops on-site registration is organized by the individual workshops.

Bus transportation from the conference hotels located outside the city center to the workshops locations is included in the each workshop registration fee; check the bus schedule at the conference hotels.


Conference and Colocated Workshops at a Glance

Saturday, May 30
NM'98
Sunday, May 31
NM'98
Monday, June 1
NM'98
KBS V&V'98
KRIMS II
evening
Opening Reception
Tuesday, June 2
morning
Technical Program
afternoon
Technical Program
Wednesday, June 3
morning
Technical Program
afternoon
Technical Program
Thursday, June 4
morning
Technical Program
afternoon
free time
evening
Banquet
Friday, June 5
morning
Technical Program
afternoon
Technical Program
Saturday, June 6
DL'98
FOIS'98
Sunday, June 7
DL'98
FOIS'98
Monday, June 8
DL'98
FOIS'98


Seventh International Workshop on Nonmonotonic Reasoning (NM'98)

May 30 - June 1, 1998
Home page:
http://saturn.hut.fi/~ini/nmrw98.html
Location: Facoltà di Lettere (marked KR'98 on the map)

The aim of the workshop is to bring together active researchers interested in nonmonotonic reasoning to discuss current research, results, and problems of both theoretical and practical nature. The format of this workshop is different from earlier nonmonotonic reasoning workshops. NM'98 will consist of five specialized one day workshops to be held at least partly in parallel. The specialized workshops will be surrounded by a plenary program consisting of invited talks and panels. The following specialized workshops are part of NM'98:

Invited speakers are B. Kowalski, I. Levi, J. McCarthy, D. Roth, and E. Sandewall.

Participation is by invitation. Those wishing to attend without submitting a paper should send a statement of interest with a short description of research interests and recent work to one of the NM'98 Co-Chairs.

Organizers: R. Reiter (Honorary Chair), G. Brewka, I. Niemelä (Co-Chairs), E. Giunchiglia (Local Chair).

Contact persons: G. Brewka (brewka@informatik.uni-leipzig.de).


Second International Workshop on Knowledge Representation for Interactive Multimedia Systems: Research and Experience (KRIMS II)

June 1, 1998
Home page:
http://www.math.aegean.gr/KRIMSII/KRIMSII.html
Location: ITC-IRST, Povo - Sala Conferenze (marked Povo on the map)

Knowledge-based Interactive Multimedia Systems (IMS) possess and utilize knowledge about their own Means and about the Function of user sessions. IMS must support users in achieving their goals and performing their tasks. They must be able to reason about users in order to collaborate effectively during determination of content and communication of information:

Major topics to be addressed by KRIMS-II include:

The target audience includes researchers in collaborative systems, personal assistants, intelligent multimedia presentation systems, adaptive interfaces, multimedia information retrieval, and intelligent integration of information.

Organizers: Marcus Herzog (TU Vienna), Paolo Petta (ÖFAI), George Vouros (Univ. of the Aegean); Supported by ÖGAI.

Contact person: Paolo Petta (paolo@ai.univie.ac.at).


Workshop on Validation & Verification of Knowledge-Based Systems (KBS V&V'98)

June 1, 1998
Home page:
http://www.cs.vu.nl/~frankh/KR98-VV.html
Location: ITC-IRST, Povo - Sala Conferenze Edificio Est (marked Povo on the map)

Knowledge-Based Systems (KBS) are perhaps AI's most successful and visible application area. Ensuring reliability and enhancing quality of KBS are critical factors for their successful deployment in real-world applications. This is a broad task involving both methodological and formal aspects for designing rigorous validation methods and tools. The purpose of this workshop is to encourage exchange of ideas between researchers in the field of knowledge-representation with those concentrating on V&V of KBS specifically. There are obvious connections between the two fields, and we solicit papers on the following topics:

Because the aim of the workshop is to stimulate discussion, some accepted papers might be preferred over others for presentation, but all papers will be included in the printed workshop proceedings. Publication of selected papers in a coherent journal format will be considered.

Program Committee: Frank van Harmelen, Vrije Univ. Amsterdam, NL; Grigoris Antoniou, Griffith University, AU; Dieter Fensel, University of Karlsruhe, DE; Alun Preece, University of Aberdeen, UK; Marie-Christine Rousset, Universite Paris Sud, FR; Jan van Thienen, Catholic University of Leuven, BE

Contact person: Frank van Harmelen (frankh@cs.vu.nl).


1998 International Description Logics Workshop (DL'98)

June 6 - June 8, 1998
Home page:
http://dl.kr.org/dl/dl98/
Location: ITC-IRST, Povo - Sala Conferenze (marked Povo on the map)

The 1998 International Workshop on Description Logics (DL'98) continues the tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms based on Description Logics. We will discuss about the foundations of Description Logics, the extensions of Description Logics, the integration of Description Logics with other formalisms, the use of Description Logics in applications, and the building of systems based on Description Logics.

DL'98 will host a DL systems comparison session. Systems will be compared on the basis of benchmarks which will be prepared in order to emphasize the best out of each system. This first round of the comparison at DL'98 will serve mostly as an evaluation of the benchmark testing set, and it is not intended to be the last word on a possible ranking. We have four aims:

Organizers: E. Franconi, chair, (IRST, ITA); G. De Giacomo (Univ. Roma, ITA); R. MacGregor (USC/ISI, USA); W. Nutt (DFKI, DE); C. Welty (Vassar College, USA); F. Sebastiani (IEI-CNR, Italy).

Contact person: Enrico Franconi (franconi@irst.itc.it).


International Conference on Formal Ontology in Information Systems (FOIS'98)

June 6 - June 8, 1998
Home page:
http://krr.irst.itc.it:1024/fois98/
Location: ITC - Sala Grande (marked KR'98 on the map)

The importance of research on ontology has been recognized in fields as diverse as qualitative modeling of physical systems, natural language processing, knowledge engineering, information integration, database design, geographic information science, and intelligent information access. Insights in this field have potential impacts on the whole area of information systems. In order to provide a solid general foundation for this work, it is important to focus on the common scientific principles and open problems arising from current tools, methodologies, and applications of ontology. The conference will have a strongly interdisciplinary character. Expected participants include computer science practitioners as well as linguists, logicians, and philosophers. Although the primary focus of the conference is on theoretical issues, methodological proposals as well as concrete applications from a well-founded theoretical perspective will be discussed:

Extra-copies of FOIS'98 proceedings will be available at the KR'98 conference desk, at the special price of 100,000 Italian lire and they can be ordered either by checking the appropriate box in the KR'98 registration form or by contacting the chair.

Conference Chair: Nicola Guarino, LADSEB-CNR, Italy (guarino@ladseb.pd.cnr.it).


Workshop on Roles for Knowledge Representation in Natural Language
WARNING: canceled workshop

June 6 - June 7, 1998
Home page:
http://www.cis.upenn.edu/~mpalmer/kr_nl.html
Location: ITC-IRST, Povo - Sala Conferenze Edificio Est (marked Povo on the map)

This workshop is aimed at reinvigorating the historical connection between research in Natural Language Processing and Knowledge Representation. The goal is to encourage communication between the two fields, in hopes of stimulating KR research on problems of interest to the NLP community, communication of KR discoveries from the NLP community to KR researchers, and identification of existing KR techniques that may help solve problems faced by NLP researchers. Topics will include, but not be limited to:

The workshop will also address the current state of the art in broad areas of knowledge representation technology (e.g., constraint satisfaction, uncertainty, defaults) focusing on an interdisciplinary approach.

Organizers: M. Palmer (Univ. of Pennsylvania), H. Bunt (Tilburg Univ.), D. Etherington (Univ. of Oregon), F. Pianesi (ITC-IRST).

Contact person: Martha Palmer (mpalmer@linc.cis.upenn.edu).


KRGo to KR Home Page.

franconi@irst.itc.it
Last modified: Tue Apr 7 10:37:37 METDST 1998