Heribert Schütz

According to our database, Heribert Schütz authored at least 16 papers between 1990 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Efficient Model Generation through Compilation.

Heribert Schütz, Tim Geisler

Inf. Comput., 2000

1999

Generating Minimal Herbrand Models Step by Step.

Heribert Schütz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

CHRv: A Flexible Query Language.

Slim Abdennadher, Heribert Schütz

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

SIC: Satisfiability Checking for Integrity Constraints.

François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

1997

Satchmo - The Compiling and Functional Variants.

Tim Geisler, Sven Panne, Heribert Schütz

J. Autom. Reason., 1997

Model Generation with Existentially Quantified Variables and Constraints.

Slim Abdennadher, Heribert Schütz

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

1996

Deduktive Datenbanken.

François Bry, Rainer Manthey, Heribert Schütz

Künstliche Intell., 1996

1995

The ECRC Multi Database System.

Willem Jonker, Heribert Schütz

Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

1994

Tupelweise Bottom-up-Auswertung von Logikprogrammen.

Heribert Schütz

GI Datenbank Rundbrief, 1994

1993

Tupelweise Bottom-up-Auswertung von Logikprogrammen.

Heribert Schütz

PhD thesis, 1993

AMOS: A Natural Language Parser written in LOLA.

Günther Specht, Burkhard Freitag, Heribert Schütz

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

Overview of the deductive database system LOLA.

Burkhard Freitag, Heribert Schütz, Günther Specht

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

1992

LOLA - ein deduktives Datenbanksystem.

Burkhard Freitag, Heribert Schütz, Günther Specht, Rudolf Bayer, Ulrich Güntzer

Proceedings of the Objektbanken für Experten, 1992

1991

CL/TB an allegro common Lisp programming interface for TransBase.

Johann Kempe, Thomas Lenz, Burkhard Freitag, Heribert Schütz, Günther Specht

ACM SIGPLAN Notices, 1991

1990

R-Lisp: eine erweiterte relationale Algebra in Lisp

Heribert Schütz

Forschungsberichte, TU Munich, 1990

LOLA: a logic language for deductive databases and its implementation

Burkhard Freitag, Heribert Schütz, Günther Specht

Forschungsberichte, TU Munich, 1990