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

Website | Edit Freely

Category INAP 2011

Deadline: July 01, 2011 | Date: September 28, 2011-September 30, 2011

Venue/Country: Vienna, Austria

Updated: 2011-05-26 22:18:28 (GMT+9)

Call For Papers - CFP

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.