1998

Research Reports

Jürgen Ebert, Roger Süttenbach, Ingar Uhe.
Meta-CASE Worldwide.
Research Report 24-98 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Norbert Eisinger, Ulrich Furbach.
A Confluent Connection Calculus.
Research Report 23-98 (Abstract, Report, BiBTeX Entry)

Bernt Kullbach, Andreas Winter.

Querying as an Enabling Technology in Software Reengineering.
Research Report 22-98 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, V.S. Subrahmanian, George Pick.
Meta-Agent Programs.
Research Report 21-98 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, Ulrich Furbach, Ilkka Niemelä .
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations.
Research Report 20-98 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, Steffen Hölldobler.
Inference Mechanisms in Knowledge-Based Systems: Theory and Applications (Proceedings of WS at KI '98).
Research Report 19-98 (Abstract, Report, BiBTeX Entry)

Jose Arrazola, Jürgen Dix, Mauricio Osorio, Claudia Zepeda.

Well-behaved semantics for Logic Programming.
Research Report 18-98 (Abstract, Report, BiBTeX Entry)

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski.

Super Logic Programs.
Research Report 17-98 (Abstract, Report, BiBTeX Entry)

Jürgen Dix.

The Logic Programming Paradigm.
Research Report 16-98 (Abstract, Report, BiBTeX Entry)

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski.

Transformation-Based Bottom-Up Computation of the Well-Founded Model.
Research Report 15-98 (Abstract, Report, BiBTeX Entry)

Manfred Kamp.

GReQL -- Eine Anfragesprache für das GUPRO--Repository -- Sprachbeschreibung (Version 1.2).
Research Report 14-98 (Abstract, Report, BiBTeX Entry)

Peter Dahm, Jürgen Ebert, Angelika Franzke, Manfred Kamp, Andreas Winter.

TGraphen und EER-Schemata -- formale Grundlagen.
Research Report 12-98 (Abstract, Report, BiBTeX Entry)

Peter Dahm, Friedbert Widmann.

Das Graphenlabor.
Research Report 11-98 (Abstract, Report, BiBTeX Entry)

Jörg Jooss, Thomas Marx.
Workflow Modeling according to WfMC.
Research Report 10-98 (Abstract, Report, BiBTeX Entry)

Dieter Zöbel.

Schedulability criteria for age constraint processes in hard real-time systems.
Research Report 9-98 (Abstract, Report, BiBTeX Entry)

Wenjin Lu, Ulrich Furbach.

Disjunctive logic program = Horn Program + Control program.
Research Report 8-98 (Abstract, Report, BiBTeX Entry)

Andreas Schmid.

Solution for the counting to infinity problem of distance vector routing.
Research Report 7-98 (Abstract, Report, BiBTeX Entry)

Ulrich Furbach, Michael Kühn, Frieder Stolzenburg.
Model-Guided Proof Debugging.
Research Report 6-98 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Dorothea Schäfer.

Model Elimination with Simplification and its Application to Software Verification.
Research Report 5-98 (Abstract, Report, BiBTeX Entry)

Bernt Kullbach, Andreas Winter, Peter Dahm, Jürgen Ebert.

Program Comprehension in Multi-Language Systems.
Research Report 4-98 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, Jorge Lobo.
Logic Programming and Nonmonotonic Reasoning.
Research Report 3-98 (Abstract, Report, BiBTeX Entry)

Hans-Michael Hanisch, Kurt Lautenbach, Carlo Simon, Jan Thieme.

Zeitstempelnetze in technischen Anwendungen.
Research Report 2-98 (Abstract, Report, BiBTeX Entry)

Manfred Kamp.

Managing a Multi-File, Multi-Language Software Repository for Program Comprehension Tools --- A Generic Approach.
Research Report 1-98 (Abstract, Report, BiBTeX Entry)