WLP/WFLP

Publications

volume 1335, 2015

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. WLP/WFLP 1335 (2015)

2014

Dietmar Seipel, Joachim Baumeister, Klaus Prätor
Declarative Evaluation of Ontologies with Rules. WLP/WFLP (2014)
Taïeb Mellouli
Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent Argumentations. WLP/WFLP (2014)
Tobias Gödderz, Janis Voigtländer
Automatic Testing of Operation Invariance. WLP/WFLP (2014)
Michael Hanus
Declarative Multi-paradigm Programming. WLP/WFLP (2014)
Johannes Waldmann
Automated Exercises for Constraint Programming. WLP/WFLP (2014)
Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris
Embedding Defeasible Logic Programs into Generalized Logic Programs. WLP/WFLP (2014)
Alexander Bau, Johannes Waldmann
Describing and Measuring the Complexity of SAT encodings for Constraint Programs. WLP/WFLP (2014)
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel
PPI - A Portable Prolog Interface for Java. WLP/WFLP (2014)
Michael Hanus, Björn Peemöller
A Partial Evaluator for Curry. WLP/WFLP (2014)
Sergio Antoy, Michael Hanus
Curry without Success. WLP/WFLP (2014)
Baltasar Trancón y Widemann, Markus Lepper
Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP (2014)
Nikita Danilenko
Exploring Non-Determinism in Graph Algorithms. WLP/WFLP (2014)