Heribert Schütz

18 papers A 1B 2C 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2000 J jnl
Efficient Model Generation through Compilation.
Inf. Comput.
Heribert Schütz, Tim Geisler
1999 B conf
Generating Minimal Herbrand Models Step by Step.
TABLEAUX
Heribert Schütz
1998 C conf
CHRv: A Flexible Query Language.
FQAS
Slim Abdennadher, Heribert Schütz
1998 — conf
SIC: Satisfiability Checking for Integrity Constraints.
DDLP
François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge
1997 — conf
Model Generation with Existentially Quantified Variables and Constraints.
ALP/HOA
Slim Abdennadher, Heribert Schütz
1997 J jnl
Satchmo - The Compiling and Functional Variants.
J. Autom. Reason.
Tim Geisler, Sven Panne, Heribert Schütz
1996 J jnl
Deduktive Datenbanken.
Künstliche Intell.
François Bry, Rainer Manthey, Heribert Schütz
1996 A conf
Efficient Model Generation through Compilation.
CADE
Heribert Schütz, Tim Geisler
1995 — conf
The ECRC Multi Database System.
SIGMOD Conference
Willem Jonker, Heribert Schütz
1994 J jnl
Tupelweise Bottom-up-Auswertung von Logikprogrammen.
GI Datenbank Rundbrief
Heribert Schütz
1993 — conf
AMOS: A Natural Language Parser written in LOLA.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
Günther Specht, Burkhard Freitag, Heribert Schütz
1993 — conf
Overview of the deductive database system LOLA.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS
Burkhard Freitag, Heribert Schütz, Günther Specht
1993 — —
Tupelweise Bottom-up-Auswertung von Logikprogrammen.
Heribert Schütz
1992 — conf
LOLA - ein deduktives Datenbanksystem.
Objektbanken für Experten
Burkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer
1991 J jnl
CL/TB an allegro common Lisp programming interface for TransBase.
ACM SIGPLAN Notices
Johann Kempe, Thomas Lenz, Burkhard Freitag, Heribert Schütz, Günther Specht
1991 B conf
LOLA - A Logic Language for Deductive Databases and its Implementation.
DASFAA
Burkhard Freitag, Heribert Schütz, Günther Specht
1990 J jnl
LOLA: a logic language for deductive databases and its implementation
Forschungsberichte, TU Munich
Burkhard Freitag, Heribert Schütz, Günther Specht
1990 J jnl
R-Lisp: eine erweiterte relationale Algebra in Lisp
Forschungsberichte, TU Munich
Heribert Schütz