This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Constraint Programming is an effective approach for modeling and solving combinatorial problems, leveraging techniques from Artificial Intelligence, Logic Programming, and Operations Research. Central to this method are constraint propagation and heuristic search. It abstracts problem-solving into a reusable constraint engine and a declarative program that models the problem, with the engine implementing necessary propagation and search algorithms. This engine can be integrated as a library in general-purpose programming languages (like C++), as an extension of existing languages (like Prolog), or as a standalone system with its own language. The focus here is on the architecture and implementation of constraint engines, introducing a new concurrent architecture that surpasses the sequential architecture of Prolog. This concurrent method employs copying and recomputation instead of sequential search with trailing and backtracking, allowing for any search strategy and simplifying the implementation of constraint propagation algorithms. Additionally, the book explores a generalization of this concurrent architecture that supports propagation-preserving combinators, such as deep guard combinators for negation, disjunction, implication, and recitation of constraint propagators, which are not feasible within Prolog’s framework. This innovative approach utilizes a reflective encapsulation primitive to achieve these capabilities.
Als Walter Benjamin 1939 die verlorene Aura des Kunstwerks beklagte, hatte er vor allem die leicht reproduzierbaren modernen Medien Fotografie, Film oder Schallplatte im Blick. Aber wie steht es heute um die Aktualität und den Gebrauchswert von Benjamins Theorie, wo das Fernsehen den Film abgelöst hat und selbst schon wieder vom Internet verdrängt zu werden droht? Hat nicht das digitale Zeitalter mit seinen virtuellen Welten ganz neue Formen der Aura hervorgebracht, und wie verhält sich, was Benjamin als „taktile Rezeption“ beschrieb, zum Zeit und Raum überwindenden Cyberspace? Welchen Akzent hätte der Kunstwerk-Aufsatz heute, und wie könnte das Verhältnis von Politik und Ästhetik gedacht werden? Neben diesen, unsere Gegenwart betreffenden Fragen überprüfen die Autoren des Sammelbandes Benjamins Aussagen zu Fotografie, Film und Radio, gehen seinen Aussagen zur Bildkonzeption und zur Rolle des Akustischen nach und hinterfragen die sprachphilosophischen und mimesisorientierten Implikationen seines Medienbegriffs. Mit Beiträgen von: Markus Bauer, Wolfgang Bock, Mika Elo, Andrea Gnam, Klemens Gruber, Miriam Bratu Hansen, Alexander Honold, Klaus Kreimeier, Burkhardt Lindner, Christian Schulte, Timo Skrandies und Uwe C. Steiner.
