Abstract is missing.
- Embedding Defeasible Logic Programs into Generalized Logic ProgramsMartin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris. 11-25 [doi]
- Describing and Measuring the Complexity of SAT encodings for Constraint ProgramsAlexander Bau, Johannes Waldmann. 26-37 [doi]
- PPI - A Portable Prolog Interface for JavaLudwig Ostermayer, Frank Flederer, Dietmar Seipel. 38-52 [doi]
- Declarative Evaluation of Ontologies with RulesDietmar Seipel, Joachim Baumeister, Klaus Prätor. 53-65 [doi]
- Automated Exercises for Constraint ProgrammingJohannes Waldmann. 66-80 [doi]
- Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent ArgumentationsTaïeb Mellouli. 81-102 [doi]
- Declarative Multi-paradigm ProgrammingMichael Hanus. 105-107 [doi]
- Interpreting XPath by Iterative Pattern Matching with PaisleyBaltasar Trancón-y-Widemann, Markus Lepper. 108-124 [doi]
- Exploring Non-Determinism in Graph AlgorithmsNikita Danilenko. 125-139 [doi]
- Curry without SuccessSergio Antoy, Michael Hanus. 140-154 [doi]
- A Partial Evaluator for CurryMichael Hanus, Björn Peemöller. 155-171 [doi]
- Automatic Testing of Operation InvarianceTobias Gödderz, Janis Voigtländer. 172-186 [doi]