28th Workshop on (Constraint) Logic Programming WFLP 2014 23rd International Workshop on Functional and (Constraint) Logic Programming September 15-17, 2014, Wittenberg Proceedings

-

Proceedings Table of Contents About WLP 2014 . . . . . . . . . . . . . . . . . . . . . . About WFLP 2014 . . . . . . . . . . . . . . . . . . . . . I 28th Workshop on (Constraint) Logic Programming Embedding Defeasible Logic Programs into Generalized Logic Programs . . . . . . . . . . . . . . . . . . Martin Balaz, Jozef Frtus, Martin Homola, Jan Sefranek and Giorgos Flouris Describing and Measuring the Complexity of SAT encodings for Constraint Programs . . . . . . . . . .

Alexander Bau and Johannes Waldmann PPI | A Portable Prolog Interface for Java . . . . .

Ludwig Ostermayer, Frank Flederer and Dietmar Seipel Declarative Evaluation of Ontologies with Rules . . .

Dietmar Seipel, Joachim Baumeister and Klaus Prator Automated Exercises for Constraint Programming .

Johannes Waldmann Complex Certainty Factors for Rule Based Systems | Detecting Inconsistent Argumentations (Invited Talk) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Taeb Mellouli 4 6 9 11 26 38 53 66 81 II 23rd International Workshop on Functional and (Constraint) Logic Programming 103 Declarative Multi-paradigm Programming . . . . . . . 105

References

Interpreting XPath by Iterative Pattern Matching with Paisley . . . . . . . . . . . . . . . . . . . . . . . . 108 Baltasar Trancon 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 Bjorn Peemoller

Automatic Testing of Operation Invariance . . . . . 172 Tobias Godderz and Janis Voigtlander