We invite high quality contributions on different aspects of declarative programming, constraint processing and knowledge management, as well as their use for distributed systems and the Web, including, but not limited to the following areas (the order does not reflect any priorities):
knowledge management, e.g., 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, knowledge representation;
systems and tools for academic and industrial use;
knowledge-based Web services – logic solvers and applications.
This year, INAP consists of the following four tracks, covering relevant subareas of declarative methods:
Nonmonotonic Reasoning
Applications and System Implementations
Extensions of Logic Programming
Databases, Deductive Databases, and Data Mining
Submission Guidelines
Authors are invited to submit long papers (no longer than 15 pages) or short papers (no longer than 6 pages) in the following categories:
Technical Papers
Application Papers
System Descriptions
Submissions must be unpublished original work and not submitted for publication elsewhere. However, work that already appeared in informally published workshop proceedings may be submitted too. All submissions must be in PDF format using LaTeX2e and the Springer llncs.cls class file. Paper submission is electronic via the Easychair submission system.
All accepted papers will be published in a technical report. As for previous joint INAP/WLP events, it is planned to publish selected papers in a post-conference proceedings volume in the Springer Lecture Notes in Artificial Intelligence series.
Committees
Conference Chair
Ricardo Rocha University of Porto, Portugal
Track Chairs
Nonmonotonic Reasoning
Hans Tompits Vienna University of Technology, Austria
Applications and System Implementations
Masanobu Umeda Kyushu Institute of Technology, Japan
Extensions of Logic Programming
Salvador Abreu Univesity of Évora, Portugal
Databases, Deductive Databases, and Data Mining
Dietmar Seipel University of Wuerzburg, Germany
Program Committee
Salvador Abreu University of Évora, Portugal
Sergio Alvarez Boston College, USA
Christoph Beierle FernUniversität in Hagen, Germany
Philippe Codognet JFLI/CNRS at University of Tokyo, Japan
Daniel Diaz University of Paris I, France
Ulrich Geske University of Potsdam, Germany
Petra Hofstedt Brandenburg University of Technology at Cottbus, Germany
Katsumi Inoue National Institute of Informatics, Japan
Gabriele Kern-Isberner University of Dortmund, Germany
Ulrich Neumerkel Vienna University of Technology, Austria
Vitor Nogueira Univesity of Évora, Portugal
Enrico Pontelli New Mexico State University, USA
Ricardo Rocha University of Porto, Portugal
Irene Rodrigues University of Évora, Portugal
Carolina Ruiz Worcester Polytechnic Institute, USA
Vítor Santos Costa University of Porto, Portugal
Dietmar Seipel University of Wuerzburg, Germany
Terrance Swift Universidade Nova de Lisboa, Portugal
Hans Tompits Vienna University of Technology, Austria
Masanobu Umeda Kyushu Institute of Technology, Japan
Marina De Vos University of Bath, United Kingdom
Armin Wolf Fraunhofer FIRST, Berlin, Germany
Osamu Yoshie Waseda University, Japan