INAP 2011 19th International Conference on Applications
of Declarative Programming
and Knowledge Management
Co-located with WLP 2011

Important Dates


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):

  1. knowledge management, e.g., data mining, decision support, deductive databases;
  2. distributed systems and the Web, e.g., agents and concurrent engineering, Semantic Web;
  3. constraints, e.g., constraint systems, extensions of constraint (logic) programming;
  4. theoretical foundations, e.g., deductive databases, nonmonotonic reasoning, knowledge representation;
  5. systems and tools for academic and industrial use;
  6. knowledge-based Web services - logic solvers and applications.
The technical program of the conference will include invited talks, presentations of refereed papers and system demonstrations.

This year, INAP consists of the following five tracks, covering relevant subareas of declarative methods:

  1. Nonmonotonic Reasoning Track
    Chair: Hans Tompits (Vienna University of Technology, Austria)
  2. Applications Track
    Chair: Masanobu Umeda (Kyushu Institute of Technology, Japan)
  3. Extensions of Logic Programming Track
    Chair: Salvador Abreu (Universidade de Évora, Portugal)
  4. Constraint Programming Track
    Chair: Armin Wolf (Fraunhofer FIRST, Berlin, Germany)
  5. Databases and Data Mining Track
    Chair: Dietmar Seipel (University of Würzburg, Germany)