| 2000 |
|---|
| 15 | | Heribert Schütz,
Tim Geisler:
Efficient Model Generation through Compilation.
Inf. Comput. 162(1-2): 138-157 (2000) |
| 1999 |
|---|
| 14 | | Heribert Schütz:
Generating Minimal Herbrand Models Step by Step.
TABLEAUX 1999: 263-277 |
| 1998 |
|---|
| 13 | | François Bry,
Norbert Eisinger,
Heribert Schütz,
Sunna Torge:
SIC: Satisfiability Checking for Integrity Constraints.
DDLP 1998: 25-36 |
| 12 | EE | Slim Abdennadher,
Heribert Schütz:
CHRv: A Flexible Query Language.
FQAS 1998: 1-14 |
| 1997 |
|---|
| 11 | | Slim Abdennadher,
Heribert Schütz:
Model Generation with Existentially Quantified Variables and Constraints.
ALP/HOA 1997: 256-272 |
| 10 | | Tim Geisler,
Sven Panne,
Heribert Schütz:
Satchmo - The Compiling and Functional Variants.
J. Autom. Reasoning 18(2): 227-236 (1997) |
| 1996 |
|---|
| 9 | | Heribert Schütz,
Tim Geisler:
Efficient Model Generation through Compilation.
CADE 1996: 433-447 |
| 8 | | François Bry,
Rainer Manthey,
Heribert Schütz:
Deduktive Datenbanken.
KI 10(3): 17-23 (1996) |
| 1995 |
|---|
| 7 | EE | Willem Jonker,
Heribert Schütz:
The ECRC Multi Database System.
SIGMOD Conference 1995: 490 |
| 1994 |
|---|
| 6 | | Heribert Schütz:
Tupelweise Bottom-up-Auswertung von Logikprogrammen.
GI Datenbank Rundbrief 13: 90 (1994) |
| 1993 |
|---|
| 5 | | Günther Specht,
Burkhard Freitag,
Heribert Schütz:
AMOS: A Natural Language Parser written in LOLA.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 124-133 |
| 4 | | Burkhard Freitag,
Heribert Schütz,
Günther Specht:
Overview of the deductive database system LOLA.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 166 |
| 1992 |
|---|
| 3 | | Burkhard Freitag,
Heribert Schütz,
Günther Specht,
Rudolf Bayer,
Ulrich Güntzer:
LOLA - ein deduktives Datenbanksystem.
Objektbanken für Experten 1992: 1-28 |
| 1991 |
|---|
| 2 | EE | Burkhard Freitag,
Heribert Schütz,
Günther Specht:
LOLA - A Logic Language for Deductive Databases and its Implementation.
DASFAA 1991: 216-225 |
| 1 | EE | Johann Kempe,
T. Lenz,
Burkhard Freitag,
Heribert Schütz,
Günther Specht:
CL/TB an allegro common Lisp programming interface for TransBase.
SIGPLAN Notices 26(8): 60-69 (1991) |
