INAP 2013

20th International Conference on Applications of Declarative Programming and Knowledge Management

Kiel, Germany, September 11-13, 2013

colocated with 27th Workshop on Logic Programming (WLP 2013)

part of the Kiel Declarative Programming Days 2013


Declarative programming is a family of advanced paradigms for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and the processing of combinatorial problems, and for establishing systems for the Web.

INAP is a communicative and dense conference for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. 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.

In this year, INAP will be jointly organized and co-located with the 27th Workshop on Logic Programming under the umbrella of the Kiel Declarative Programming Days in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The conference will be held in Kiel, Germany. Previous INAP editions were held in Vienna (INAP 2011), Évora (INAP 2009), Würzburg (INAP 2007), Fukuoka (INAP 2005), Potsdam (INAP 2004), Tokyo (INAP 2001, INAP 2000, INAP 1999, INAP 1998, INAP 1996, INAP 1995) and Kobe (INAP 1997).

Important Dates

Paper registration (abstract): July 10, 2013
Submission of papers: July 07, 2013 July 16, 2013
Notification of acceptance: July 28, 2013 August 02, 2013
Camera-ready papers: August 18, 2013
Conference: September 11-13, 2013

Topics and Tracks

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, selected papers will be published as post-conference proceedings in the Springer Lecture Notes in Computer Science series.


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