default search action

combined dblp search
author search
venue search
publication search

ask others

28th WLP / 23rd WFLP 2014: Wittenberg, Germany

> Home > Conferences and Workshops > WLP
> Home > Conferences and Workshops > WFLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/wlp/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/2014
Stefan Brass, Johannes Waldmann:
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. CEUR Workshop Proceedings 1335, CEUR-WS.org 2015

WLP Track

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/BalazFHSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BalazFHSF14
Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris:
Embedding Defeasible Logic Programs into Generalized Logic Programs. 11-25
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/BauW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BauW14
Alexander Bau, Johannes Waldmann:
Describing and Measuring the Complexity of SAT encodings for Constraint Programs. 26-37
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/OstermayerFS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/OstermayerFS14
Ludwig Ostermayer, Frank Flederer, Dietmar Seipel:
PPI - A Portable Prolog Interface for Java. 38-52
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/SeipelBP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/SeipelBP14
Dietmar Seipel, Joachim Baumeister, Klaus Prätor:
Declarative Evaluation of Ontologies with Rules. 53-65
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/Waldmann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Waldmann14
Johannes Waldmann:
Automated Exercises for Constraint Programming. 66-80
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/Mellouli14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Mellouli14
Taïeb Mellouli:
Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent Argumentations. 81-102

WFLP Track

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/Hanus14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Hanus14
Michael Hanus:
Declarative Multi-paradigm Programming. 105-107
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/WidemannL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/WidemannL14
Baltasar Trancón y Widemann, Markus Lepper:
Interpreting XPath by Iterative Pattern Matching with Paisley. 108-124
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/Danilenko14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Danilenko14
Nikita Danilenko:
Exploring Non-Determinism in Graph Algorithms. 125-139
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/AntoyH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/AntoyH14
Sergio Antoy, Michael Hanus:
Curry without Success. 140-154
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/HanusP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/HanusP14
Michael Hanus, Björn Peemöller:
A Partial Evaluator for Curry. 155-171
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wlp/GodderzV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/GodderzV14
Tobias Gödderz, Janis Voigtländer:
Automatic Testing of Operation Invariance. 172-186

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.