Knowledge Base Management (KBM)

Session at the
15th International Conference on
Applications of Declarative Programming
and Knowledge Management (INAP 2004)
March 4-6, 2004, Berlin, Germany
http://inap.dialogengines.com

Scope

During the last couple of years a lot of fruitful research has been conducted on the topic of using declarative programming for the management of knowledge based systems. Besides different methodologies guiding the development process of knowledge based systems, experience has shown, that reasoning about the knowledge is of special interest for analyzing and transforming the knowledge.
The session on knowledge base management is part of the conference INAP 2004 (Track: Knowledge Management), and it will provide a forum for researchers, that are interested in the management and the analysis of declarative knowledge bases.
We would like to attract researches working in the fields of knowledge base management and deductive databases as well as the intersection of the two fields.

Topics of interest include, but are not limited to:

Operations on declarative knowledge bases	analysis refactoring, restructuring, and refinement validation and verification transformations
Declarative programming and deductive databases	query optimization reasoning about the structure of the knowledge non-monotonic reasoning handling of semi-structured knowledge
Handling of various kinds of knowledge, such as	rules models and uncertainty cases knowledge on the semantic web
Practical aspects	visualization techniques tool-support applications

Important Dates

Formatting Instructions

Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in postscript/pdf format (11pt) before January 06, 2004.
Papers should be submitted in Springer LNCS format. Authors' instructions along with LaTeX and Word macro files are available on the web at Springeronline.com.
Submissions must include the title, authors' names, affiliations, addresses, and e-mail. The submission procedure is described at

http://inap.dialogengines.com/

Please, indicate your preference for the track "knowledge base management" of the conference.
All accepted papers will be published in a technical report. Selected papers are published as a post-conference proceeding in the Springer Lecture Notes in Artificial Intelligence (LNAI) series.

Organizers

Dietmar Seipel (University Wuerzburg, Germany) [contact]
Joachim Baumeister (University Wuerzburg, Germany) [contact]
Submissions will be refereed by at least two members of the program committee. For more information about the special session please contact one of the organizers.

Program Committee (INAP 2004):

Dietmar Seipel, University of Wuerzburg, Germany (chair)

Sergio A. Alvarez, Boston College, USA
Roman Bartak, Charles University, Praha, Czech Republic
Joachim Baumeister, Univ. of Wuerzburg, Germany
Oskar Bartenstein, IF Computer, Japan
James P. Delgrande, Simon Fraser University, Canada
Robin Drogemuller, CSIRO, Australia
Shuichi Fukuda, TMIT, Japan
Rita Gavriloaie, Learning Lab Lower Saxony, Germany
Nicola Henze, KBS, University of Hannover, Germany
Ulrich Geske, FhG FIRST, Germany
Geun-Sik Jo, Inha University, Korea
Thomas Linke, University of Potsdam, Germany
Steve Prestwich, 4C/UCC, Cork, Ireland
Georg Ringwelski, 4C/UCC, Cork, Ireland
Carolina Ruiz, WPI, USA
Torsten Schaub, University of Potsdam, Germany
Paul Tarau, Binnet Corp, USA
Armin Wolf, FhG FIRST, Berlin, Germany
Akihiro Yamamoto, Kyoto University, Japan
Osamu Yoshie, Waseda University, Japan