3955
2010
eng
187
conferenceobject
Universitätsverlag Potsdam
Potsdam
Gesellschaft für Logische Programmierung e.V.
1
2010-03-02
--
--
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. The 23rd WLP was held in Potsdam at September 15 – 16, 2009. The topics of the presentations of WLP2009 were grouped into the major areas: Databases, Answer Set Programming, Theory and Practice of Logic Programming as well as Constraints and Constraint Handling Rules.
urn:nbn:de:kobv:517-opus-37977
3797
978-3-86956-026-7
ST 304
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
eng
uncontrolled
Logic Programming
eng
uncontrolled
Constraint Solving
eng
uncontrolled
Logics
eng
uncontrolled
Deduction
eng
uncontrolled
Planing
eng
uncontrolled
Optimization
Datenverarbeitung; Informatik
open_access
Complete Edition of the Proceedings
Institut für Informatik und Computational Science
Universitätsverlag Potsdam
Universität Potsdam
https://publishup.uni-potsdam.de/files/3955/wlp09.pdf
3956
2010
eng
conferenceobject
Gesellschaft für Logische Programmierung e.V.
0
2010-03-03
--
--
Preface
The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. In this decade, previous workshops took place in Dresden (2008), Würzburg (2007), Vienna (2006), Ulm (2005), Potsdam (2004), Dresden (2002), Kiel (2001), and Würzburg (2000). Contributions to workshops deal with all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including foundations of constraint/ logic programming. Some of the special topics are constraint solving and optimization, extensions of functional logic programming, deductive databases, data mining, nonmonotonic reasoning, , interaction of CP/LP with other formalisms like agents, XML, JAVA, program analysis, program transformation, program verification, meta programming, parallelism and concurrency, answer set programming, implementation and software techniques (e.g., types, modularity, design patterns), applications (e.g., in production, environment, education, internet), constraint/logic programming for semantic web systems and applications, reasoning on the semantic web, data modelling for the web, semistructured data, and web query languages.
urn:nbn:de:kobv:517-opus-41401
4140
Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. v - viii
ST 304
Keine öffentliche Lizenz: Unter Urheberrechtsschutz
Ulrich Geske
Armin Wolf
eng
uncontrolled
Logic Programming
eng
uncontrolled
Constraint Solving
eng
uncontrolled
Logics
eng
uncontrolled
Deduction
eng
uncontrolled
Planing
eng
uncontrolled
Optimization
Datenverarbeitung; Informatik
open_access
Preface
Institut für Informatik und Computational Science
Extern
Universität Potsdam
https://publishup.uni-potsdam.de/files/3956/wlp09_v_x.pdf