INAP 2005 - Call for Papers

----------------------------------------------------------------------

			  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)
          o CP and IP/OR and Local Search
          o CP systems
          o Optimization and Simulation of Complex Problems in
            Industry, Medicine, and Offices
    * Track 2: Knowledge Management (chair: Dietmar Seipel)
          o Knowledge Modeling and Knowledge Base Management
          o Answer Set Programming and its Applications
          o Data Mining
    * Track 3: Applications (chair: Osamu Takata)
          o Web Agents and Industrial Web Applications
	  o Information Systems for Industry, Commerce, Government and
            Societal Services
          o 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
Knowledge-Mediated Knowledge Management

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

Invited Tutorial
----------------
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.

Submissions
-----------
Authors are invited to submit an electronic soft-copy of their paper
in either Adobe PDF or Postscript format by email.  Please use the
submission page (http://inap.dialogengines.com/Submission/) to
establish the first contact.

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
   ([email protected])

Program Co-Chairs:
   Masanobu Umeda, Kyushu Institute of Technology, Japan
   ([email protected])
   Armin Wolf, Fraunhofer FIRST, Germany
   ([email protected])

Constraints Track Chair:
   Ulrich Geske, Fraunhofer FIRST, Germany
   ([email protected])

Knowledge Management Track Chair:
   Dietmar Seipel, University of Wurzburg, Germany
   ([email protected])

Applications Track Chair:
   Osamu Takata, Kyushu Institute of Technology, Japan
   ([email protected])

Local Arrangement Chair:
   Osamu Yoshie, Waseda University, Japan
   ([email protected])