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

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