WLP 2007: List of Accepted Papers
-
Ricardo Soto:
A Solver-Independent Platform for Modeling Constrained Objects Involving Discrete and Continuous Domains
-
Slim Abdennadher, Marlien Edward:
Constraint-Based Examination Timetabling for the German University in Cairo
-
Slim Abdennadher, Mohamed Aly:
Constraint-Based University Timetabling for the German University in Cairo
-
Ricardo Soto, Laurent Granvilliers:
Dynamic Parser Cooperation for Extending a Constrained Object-Based Modeling Language
-
Jesus M. Almendros-Jimenez, Antonio Becerra-Teron, Francisco J. Enciso-Banos:
Integrating XQuery and Logic Programming
-
Martin Plümicke:
Java type unification with wildcards
-
Tristan Behrens, Jürgen Dix:
LTL Model Checking with Logic Based Petri Nets
-
Francisco Lopez-Fraguas, Juan Rodriguez-Hortala, Jaime Sanchez-Hernandez:
Narrowing for Non-Determinism with Call-Time Choice
-
Ricardo Rocha, Pedro Costa, Michel Ferreira:
Tabling Logic Programs in a Database
-
Hans Tompits, Johannes Oetsch, Martina Seidl, Stefan Woltran:
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT
-
Bernd Brassel, Frank Huch:
The Kiel Curry System KiCS
-
Hans Tompits, Martin Gebser, Joerg Puehrer, Torsten Schaub, Stefan Woltran:
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics