 | 2008 |
|---|
| 30 |       | Ulrich Geske,
Armin Wolf:
Declarative Modelling and Efficient Optimization using Constraint Technology.
GI Jahrestagung (2) 2008: 515-516 |
| 29 | | Ulrich Geske,
Hans-Joachim Goltz,
Armin Wolf:
Representation and Processing of Preferential Rules.
GI Jahrestagung (2) 2008: 529-534 |
| 2007 |
|---|
| 28 |  | Ulrich Geske,
Hans-Joachim Goltz:
A Guide for Manual Construction of Difference-List Procedures.
INAP/WLP 2007: 1-20 |
| 2006 |
|---|
| 27 | | Masanobu Umeda,
Armin Wolf,
Oskar Bartenstein,
Ulrich Geske,
Dietmar Seipel,
Osamu Takata:
Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers
Springer 2006 |
| 26 | | Ulrich Geske:
How to Teach Difference Lists?
WLP 2006: 33-34 |
| 2005 |
|---|
| 25 | | Dietmar Seipel,
Michael Hanus,
Ulrich Geske,
Oskar Bartenstein:
Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Springer 2005 |
| 24 | | Ulrich Geske:
Railway Scheduling with Declarative Constraint Programming.
INAP 2005: 117-134 |
| 2004 |
|---|
| 23 | | Ulrich John,
Ulrich Geske:
Integrating Time Constraints into Constraint-Based Configuration Models.
INAP/WLP 2004: 200-214 |
| 22 | | Ulrich Geske:
Constraint-Rules for Configuration Problems.
PAKM 2004: 487-495 |
| 21 | | Ulrich Geske,
Hans-Joachim Goltz:
Automatische und interaktive Stundenplanung.
Inform., Forsch. Entwickl. 19(2): 65-73 (2004) |
| 2003 |
|---|
| 20 | | Oskar Bartenstein,
Ulrich Geske,
Markus Hannebauer,
Osama Yoshie:
Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers
Springer 2003 |
| 2002 |
|---|
| 19 | | Ulrich John,
Ulrich Geske:
Konfiguration komplexer Produkte mit Constraint-basierter Modellierung.
Inform., Forsch. Entwickl. 17(4): 167-176 (2002) |
| 2001 |
|---|
| 18 | | Ulrich Geske,
Dietmar Seipel:
Introduction to Part III: Decision Support by Advanced Logic Programming.
INAP (LNCS Volume) 2001: 147-150 |
| 17 | | Ulrich John,
Ulrich Geske:
Constraint-Based Configuration of Large Systems.
INAP (LNCS Volume) 2001: 217-234 |
| 16 | | Dietmar Seipel,
Ulrich Geske:
Cardinality Constraints in Disjunctive Deductive Databases.
Semantics in Databases 2001: 179-199 |
| 2000 |
|---|
| 15 | | François Bry,
Ulrich Geske,
Dietmar Seipel:
Preface.
WLP 2000: 7 |
| 14 | | Georg Ringwelski,
Armin Wolf,
Ulrich Geske:
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva.
WLP 2000: 89-100 |
| 13 | | Armin Wolf,
Thomas Gruenhagen,
Ulrich Geske:
On the Incremental Adaptation of CHR Derivations.
Applied Artificial Intelligence 14(4): 389-416 (2000) |
| 12 | | Ulrich Geske,
Hans-Joachim Goltz:
Planungstechnik und Deklarative Programmierung.
Inform., Forsch. Entwickl. 15(2): 110-113 (2000) |
| 1999 |
|---|
| 11 | | Ulrich John,
Ulrich Geske:
Constraint-logische Modellierung und Bearbeitung technischer Konfigurationsprobleme - Das System ConBaCon.
PuK 1999 |
| 1998 |
|---|
| 10 | | Ulrich Geske,
Hans-Joachim Goltz,
Ulrich John,
Armin Wolf:
The constraint logic paradigm: declarativity, efficiency and flexibility.
Systems Implementation 2000 1998: 59-71 |
| 1997 |
|---|
| 9 | | Dmitri Boulanger,
Andreas Fordan,
Ulrich Geske,
Hans-Joachim Goltz,
Ulrich John,
Alexander Nareyek,
André Schiemann,
Armin Wolf:
Constraint-basierte Planung und Konfiguration (system description).
WLP 1997: 0- |
| 8 | | André Schiemann,
Ulrich John,
Ulrich Geske,
Dmitri Boulanger:
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon.
WLP 1997: 0- |
| 1996 |
|---|
| 7 | | Andreas Fordan,
Ulrich Geske,
Alexander Nareyek:
Optimizing Constraint-Intensive Problems Using Early Projection (Poster Abstract).
JICSLP 1996: 537 |
| 6 | | Ulrich Geske,
Michael Nitsche:
Representing COBOL in Prolog - towards Program Comprehension and Reengineering.
International Journal of Software Engineering and Knowledge Engineering 6(1): 113-133 (1996) |
| 1995 |
|---|
| 5 | | Rayk Fenske,
Ulrich Geske,
Mario Lenz:
Generating Types Is Better than Programming Them.
LPE 1995 |
| 1994 |
|---|
| 4 | | Ulrich Geske,
Mario Lenz:
A Type Based Debugging Tool for Untyped Logic Languages.
LPE 1994: 0- |
| 3 | | Michael Nitsche,
Ulrich Geske:
Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen.
WLP 1994: 100-103 |
| 1993 |
|---|
| 2 | | Harold Boley,
François Bry,
Ulrich Geske:
Neuere Entwicklungen der deklarativen KI-Programmierung.
KI 1993: 226-236 |
| 1 | | Ulrich Geske,
Mario Lenz:
Generierung von Typ-Information durch abstrakte Interpretation nach einer modifizierten OLDT-Resolution.
WLP 1993: 27-31 |
