DFKI-LT - Publications

1997
 
Gert Smolka, Martin Henz, Michael Mehl, Ralf Scheidhauer, Christian Schulte, Ralf Treinen, Jörg Würtz
Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints
volume 97-02,
DFKI Final Reports, Pages 156Technical Report, DFKI GmbH, 1997
 
1995
 
Gert Smolka
The Oz Programming Model
volume 95-10,
DFKI Research Reports, Pages 23Technical Report, DFKI, 1995
 
1994
 
Gert Smolka
A Foundation for Higher-order Concurrent Constraint Programming
volume 94-16,
DFKI Research Reports, Pages 26Technical Report, DFKI, 1994
 
Gert Smolka
The Definition of Kernel Oz
volume 94-23,
DFKI Research Reports, Pages 53Technical Report, DFKI, 1994
 
Christian Schulte, Gert Smolka, Jörg Würtz
Encapsulated Search and Constraint Programming in Oz
volume 94-20,
DFKI Research Reports, Pages 21Technical Report, DFKI, 1994
 
Gert Smolka
A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards
volume 94-03,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1994
 
1993
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information volume 2 number 1, Pages 1-18, Springer, Netherlands, 3/1993
 
Gert Smolka, Martin Henz, Jörg Würtz
Object-Oriented Concurrent Constraint Programming in Oz
volume 93-16,
DFKI Research Reports, Pages 17Technical Report, DFKI, 1993
 
1992
 
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
A Feature-based Constraint System for Logic Programming with Entailment
volume 92-17,
DFKI Research Reports, Pages 23Technical Report, DFKI, 1992
 
Gert Smolka, Ralf Treinen
Records for Logic Programming
volume 92-23,
DFKI Research Reports, Pages 38Technical Report, DFKI, 1992
 
Rolf Backofen, Gert Smolka
A Complete and Recursive Feature Theory
volume 92-30,
DFKI Research Reports, Pages 32Technical Report, DFKI, 1992
 
Rolf Backofen, Gert Smolka
A Complete and Recursive Feature Theory
volume 92-30,
DFKI Research Reports, Pages 32,
Research Report Technical Report, DFKI GmbH, Saarbrücken, 1992
 
1991
 
Bernhard Nebel, Gert Smolka
Attributive Description Formalisms ... and the Rest of the World
volume 91-15,
DFKI Research Reports, Pages 20Technical Report, DFKI, 1991
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
volume 91-01,
DFKI Research Reports, Pages 20Technical Report, DFKI, DFKI GmbH, 1991
 
Gert Smolka
Residuation and Guarded Rules for Constraint Logic Programming
volume 91-13,
DFKI Research Reports, Pages 17Technical Report, DFKI, 1991