Petra Hofstedt has some photos at http://uebb.cs.tu-berlin.de/~ph/Japan.INAP/

Call For Papers

16th International Conference on Applications of Declarative Programming and Knowledge Management
INAP2005

October 22-24, 2005 Waseda University, Fukuoka, Japan http://inap.dialogengines.com

Declarative Programming is an advanced paradigm for the modeling and solving of complex problems. This specification method has got more and more attraction over the last years, e.g. in the domains of databases and the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing systems for the Web.

INAP2005 is a communicative and dense single-track conference for intensive discussion of applications of important technologies around Prolog, Logic Programming, Constraint Problem Solving and closely related advanced software. It comprehensively covers the impact of programmable logic solvers in the Internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services.

We invite the submission of papers on the described fields, especially, but not excluding, in different aspects of Declarative Programming, Constraint Processing and Knowledge Management as well as their use for Distributed Systems and the Web:

• Knowledge Management, e.g. Knowledge Modeling, Data Mining, Decision Support, Deductive Databases
• Distributed Systems and the Web, e.g. Agents and Concurrent Engineering, Semantic Web
• Constraints, e.g. Constraint Systems, Extensions of Constraint (Logic) Programming
• Theoretical Foundations, e.g. Deductive Databases, Nonmonotonic Reasoning
• Systems and Tools for academic and industrial use
• Knowledge-based Web Services - Logic Solvers and Applications

Publications

All accepted papers will be published in a technical report. Selected papers will be published in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence (LNAI) series (http://www.springer.de/comp/lncs/index.html).

Important Dates

Deadline for Submission: August 1, 2005
Notification of Authors: August 24, 2005
Final Versions of Papers: September 12, 2005
Conference: October 22-24, 2005

Planned Sessions

• Track 1: Constraints (chair: Ulrich Geske)
  • CP and IP/OR and Local Search
  • CP systems
  • Optimization and Simulation of Complex Problems in Industry, Medicine, and Offices
• Track 2: Knowledge Management (chair: Dietmar Seipel)
  • Knowledge Modeling and Knowledge Base Management
  • Answer Set Programming and its Applications
  • Data Mining
• Track 3: Applications (chair: Osamu Takata)
  • Web Agents and Industrial Web Applications
  • Information Systems for Industry, Commerce, Government and Societal Services
  • Systems and Tools for Education and Research

Invited Talks

Ulrich Geske Fraunhofer FIRST, Germany
Railway Scheduling with Declarative Constraint Programming

Virginia Dignum Utrecht University, Netherlands
Agent-Mediated Knowledge Management

Riichiro Mizoguchi Osaka University, Japan
Ontology Engineering and its Application to Technical Knowledge Sharing

Invited Tutorials

Naoyuki Tamura Kobe University, Japan
Calc/Cream: OpenOffice spreadsheet front-end for constraint programming

Abstract Calc/Cream is a constraint programming system with a spreadsheet front-end implemented on OpenOffice.org Calc and Java language. Constraint problems are described by users as cell expressions on a spreadsheet, and solutions are searched by the constraint solver and shown as cell values by the system. It is also possible to use Basic macros to customize the system.

Akihiro Yamamoto Kyoto University, Japan
Inductive Logic Programming --Yet Another Application of Logic--

Abstract This tutorial presents a brief introduction of the relation between logic programming and inductive inference, e.g. learning and knowledge discovery. The famous area researching the relation is so called Inductive Logic Programming. We are not concerned with the details of Inductive Logic Programming systems, but are mainly explaining that the relation is not the same one as that between logic and computation.

Submissions

Authors are invited to submit an electronic soft-copy of their paper in either Adobe PDF or Postscript format by email to: inap2005-submit@cad.ci.kyutech.ac.jp.

Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at LNCS Authors and Editors page (http://www.springer.de/comp/lncs/authors.html).

Submissions must be written in English and can be up to 10 pages long. All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted.

Please, indicate clearly your preference for one of the tracks of the conference.

Organizing Committee

Conference Chair:
Oskar Bartenstein, IF Computer, Japan

Program Co-Chairs:
Masanobu Umeda, Kyushu Institute of Technology, Japan
Armin Wolf, Fraunhofer FIRST, Germany

Constraints Track Chair:
Ulrich Geske, Fraunhofer FIRST, Germany

Knowledge Management Track Chair:
Dietmar Seipel, University of Wurzburg, Germany

Applications Track Chair:
Osamu Takata, Kyushu Institute of Technology, Japan

Local Arrangement Chair:
Osamu Yoshie, Waseda University, Japan

Program Committee

Masanobu Umeda Kyushu Institute of Technology, Japan (Co-Chair)

Armin Wolf Fraunhofer FIRST, Germany (Co-Chair)

Oskar Bartenstein IF Computer, Japan

Ulrich Geske Fraunhofer FIRST, Germany

Dietmar Seipel University of Wurzburg, Germany

Osamu Yoshie Waseda University, Japan

Osamu Takata Kyushu Institute of Technology, Japan

Kouichi Shibao AIE Research, Japan

Virginia Dignum Utrecht University, Netherlands

Petra Hofstedt Technical University of Berlin, Germany

Neng-Fa Zhou The City University of New York, USA

Sergio A. Alvarez Boston College, USA

Joachim Baumeister Univ. of Wuerzburg, Germany

Carolina Ruiz Worcester Polytechnic Institute, USA