Abstract is missing.
- Constraint Solving on Hybrid SystemsPedro Roque, Vasco Pedro. 3-19 [doi]
- Run-Time Analysis of Temporal Constrained ObjectsJinesh M. Kannimoola, Bharat Jayaraman, Krishnashree Achuthan. 20-36 [doi]
- Implementation of Logical Retraction in Constraint Handling Rules with JustificationsThom W. Frühwirth. 37-52 [doi]
- The Proportional Constraint and Its PruningArmin Wolf. 53-63 [doi]
- An Operational Semantics for Constraint-Logic Imperative ProgrammingJan C. Dageförde, Herbert Kuchen. 64-80 [doi]
- Hypertree Decomposition: The First Step Towards Parallel Constraint SolvingKe Liu, Sven Löffler, Petra Hofstedt. 81-94 [doi]
- Declarative Aspects in Explicative Data Mining for Computational SensemakingMartin Atzmueller. 97-114 [doi]
- An Approach for Representing Answer Sets in Natural LanguageMin Fang, Hans Tompits. 115-131 [doi]
- Techniques for Efficient Lazy-Grounding ASP SolvingLorenz Leutgeb, Antonius Weinzierl. 132-148 [doi]
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human ClustersEmmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz. 149-165 [doi]
- Concolic Testing of Functional Logic ProgramsJan Rasmus Tikovsky. 169-186 [doi]
- Declarative XML Schema Validation with SWI-Prolog - System DescriptionFalco Nogatz, Jona Kalkus. 187-197 [doi]
- plspec - A Specification Language for Prolog DataPhilipp Körner, Sebastian Krings. 198-213 [doi]