| Vol-1335 urn:nbn:de:0074-1335-7 Copyright © 2014 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# WLP/WFLP 2014
(Constraint) Logic Programming and
Functional and (Constraint) Logic Programming

### Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014)
Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming

### Wittenberg, Germany, September 15-17, 2014.

Edited by

### Stefan Brass *
Johannes Waldmann **

* Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 06099 Halle, Germany
** HTWK Leipzig, Fakultät Informatik, Mathematik und Naturwissenschaften, Postfach 301166, 04251 Leipzig, Germany

## Table of Contents

- Title Page and Contents 1-3
- About WLP 2014 4-5
- About WFLP 2014 6-7

### WLP Track

- Embedding Defeasible Logic Programs into Generalized Logic Programs 11-25
  Martin Baláž, Jozef Frtús, Martin Homola, Ján Šefránek, Giorgos Flouris
- Describing and Measuring the Complexity of SAT encodings for Constraint Programs 26-37
  Alexander Bau, Johannes Waldmann
- PPI - A Portable Prolog Interface for Java 38-52
  Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
- Declarative Evaluation of Ontologies with Rules 53-65
  Dietmar Seipel, Joachim Baumeister, Klaus Prätor
- Automated Exercises for Constraint Programming 66-80
  Johannes Waldmann
- Complex Certainty Factors for Rule Based Systems – Detecting Inconsistent Argumentations (Invited Talk) 81-102
  Taïeb Mellouli

### WFLP Track

- Declarative Multi-paradigm Programming (Invited Tutorial) 105-107
  Michael Hanus
- Interpreting XPath by Iterative Pattern Matching with Paisley 108-124
  Baltasar Trancón y Widemann, Markus Lepper
- Exploring Non-Determinism in Graph Algorithms 125-139
  Nikita Danilenko
- Curry without Success 140-154
  Sergio Antoy, Michael Hanus
- A Partial Evaluator for Curry 155-171
  Michael Hanus, Björn Peemöller
- Automatic Testing of Operation Invariance 172-186
  Tobias Gödderz and Janis Voigtländer

### Full Proceedings

- Full proceedings of WLP 2014 and WFLP 2014 in one PDF

2015-02-19: submitted by Stefan Brass, metadata incl. bibliographic data published under Creative Commons CC0
2015-02-26: published on CEUR-WS.org |valid HTML5|