INAP 2011 - 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)

19th International Conference on
Applications of Declarative Programming
and Knowledge Management (INAP 2011)

http://www.kr.tuwien.ac.at/events/inap11

Declarative programming is an advanced paradigm for the modeling and solving
of complex problems. This specification method attracted increased attention
over the last decades, e.g., in the domains of databases and natural language
processing, for the modeling and the processing of combinatorial problems, and
for establishing systems for the Web.

INAP 2011


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.

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 five tracks, covering relevant
subareas of declarative methods:

* Nonmonotonic Reasoning Track;
* Applications Track;
* Extensions of Logic Programming Track;
* Constraint Programming Track;
* Databases and Data Mining Track.