Abstract is missing.
- Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set ProgramsElla Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner. 1-16 [doi]
- Sharing and Exchanging DataRana Awada, Pablo Barceló, Iluju Kiringa. 17-32 [doi]
- Propositional Encoding of Constraints over Tree-Shaped DataAlexander Bau, Johannes Waldmann. 33-47 [doi]
- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language CurryChristoph Beierle, Udo Lelitko. 48-64 [doi]
- ALCGerald Berger, Hans Tompits. 65-82 [doi]
- And... Action! - Monoid Actions and (Pre)ordersNikita Danilenko. 83-98 [doi]
- hex-Programs with Existential QuantificationThomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl. 99-117 [doi]
- Introducing Real Variables and Integer Objective Functions to Answer Set ProgrammingGuohua Liu, Tomi Janhunen, Ilkka Niemelä. 118-135 [doi]
- Coverage Driven Test Generation and Consistency AlgorithmJomu George Mani Paret, Otmane Aït Mohamed. 136-151 [doi]
- A Datalog Engine for GPUsCarlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chavez. 152-168 [doi]
- Towards Parallel Constraint-Based Local Search with the X10 LanguageDanny Munera, Daniel Diaz, Salvador Abreu. 169-184 [doi]
- Debate Games in Logic ProgrammingChiaki Sakama. 185-201 [doi]
- A Descriptive Handling of Directly Conflicting Rules in Preferred Answer SetsAlexander Simko. 202-217 [doi]
- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with PaisleyBaltasar Trancón-y-Widemann, Markus Lepper. 218-233 [doi]
- Heuristic Search over Program TransformationsClaus Zinn. 234-249 [doi]