International Conference on
Applications of Declarative Programming
and Knowledge Management (INAP 2007)
October 4-6, 2007, Würzburg, Germany

Track on
Knowledge Management

We invite the submission of papers on the fields described below, especially, but not excluding, different aspects of Declarative Programming, Knowledge Management, Data Mining and Decision Support, as well as their use for the Web.

• Knowledge Base Management
  • Operations on declarative knowledge bases
  • Declarative programming and deductive databases
  • Handling of various kinds of knowledge
  • Practical aspects
• Data Mining
  • Rule mining techniques
  • Temporal and sequential data Visualization methods
  • Applications

• Answer Set Programming and its Applications
  • Formal methods for software development and lifecycle management: model checking and constraint satisfaction, software verification, software configuration management, software synthesis from specifications, formal aspects of software security
  • Foundations of agent technologies, planning and diagnosis, constraint satisfaction, reasoning tools for the semantic web and service oriented architectures
  • logic for knowledge representation, data and information integration, knowledge management