=Paper=
{{Paper
|id=Vol-1335/wlp_wflp_2014_toc
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1335/wlp_wflp_2014_toc.pdf
|volume=Vol-1335
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1335/wlp_wflp_2014_toc.pdf</pdf>
<pre>
           WLP 2014

        28th Workshop on
 (Constraint) Logic Programming




          WFLP 2014

        23rd International
   Workshop on Functional and
 (Constraint) Logic Programming




September 15-17, 2014, Wittenberg




           Proceedings
Table of Contents

About WLP 2014 . . . . . . . . . . . . . . . . . . . . . .            4

About WFLP 2014 . . . . . . . . . . . . . . . . . . . . .             6


I 28th Workshop on (Constraint) Logic Program-
ming                                                                  9

Embedding Defeasible Logic Programs into Gener-
  alized Logic Programs . . . . . . . . . . . . . . . . . .          11
  Martin Baláž, Jozef Frtús, Martin Homola, Ján Šefránek
  and Giorgos Flouris

Describing and Measuring the Complexity of SAT
  encodings for Constraint Programs . . . . . . . . . .              26
  Alexander Bau and Johannes Waldmann

PPI — A Portable Prolog Interface for Java . . . . .                 38
  Ludwig Ostermayer, Frank Flederer and Dietmar Seipel

Declarative Evaluation of Ontologies with Rules . . .                53
  Dietmar Seipel, Joachim Baumeister and Klaus Prätor

Automated Exercises for Constraint Programming .                     66
  Johannes Waldmann

Complex Certainty Factors for Rule Based Systems
  — Detecting Inconsistent Argumentations (Invited
  Talk) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .    81
  Taı̈eb Mellouli


II 23rd International Workshop on Functional and
(Constraint) Logic Programming                                      103

Declarative Multi-paradigm Programming . . . . . . .                105

                                   2
   Michael Hanus

Interpreting XPath by Iterative Pattern Matching
   with Paisley . . . . . . . . . . . . . . . . . . . . . . . .   108
   Baltasar Trancón y Widemann and Markus Lepper
Exploring Non-Determinism in Graph Algorithms .                   125
 Nikita Danilenko
Curry without Success . . . . . . . . . . . . . . . . . .         140
  Sergio Antoy and Michael Hanus
A Partial Evaluator for Curry . . . . . . . . . . . . .           155
  Michael Hanus and Björn Peemöller
Automatic Testing of Operation Invariance             . . . . .   172
  Tobias Gödderz and Janis Voigtländer




                                  3

</pre>