25th Workshop on Logic Programming, Vienna, Austria
28 September 2011 - 28 September 2011
Austria
The 25th Workshop on Logic Programming will take place from 28 to 30 September 2011 in Vienna, Austria.
Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This specification method has attracted increased attention over the last decades, such as in the domains of databases and natural language processing, for the modeling and the processing of combinatorial problems, as well as for establishing systems for the internet.
The event will be a forum for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It will comprehensively cover the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Topics are set to include:
- 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.For further information, please visit: http://www.kr.tuwien.ac.at/wlp11/(opens in new window)
Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This specification method has attracted increased attention over the last decades, such as in the domains of databases and natural language processing, for the modeling and the processing of combinatorial problems, as well as for establishing systems for the internet.
The event will be a forum for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It will comprehensively cover the impact of programmable logic solvers in the internet society, its underlying technologies, and leading edge applications in industry, commerce, government, and societal services. Topics are set to include:
- 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.For further information, please visit: http://www.kr.tuwien.ac.at/wlp11/(opens in new window)