1996

Research Reports

Wolfgang Albrecht.
Echtzeitplanung für Alters- oder Reaktionszeitanforderungen.
Research Report 28-96 (Abstract, Report, BiBTeX Entry)

Kurt Lautenbach.
Action Logical Correctness Proving.
Research Report 27-96 (Abstract, Report, BiBTeX Entry)

Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk.

Constraint Logic Programming for Computational Linguistics.
Research Report 26-96 (Abstract, Report, BiBTeX Entry)

Kurt Lautenbach, Hanno Ridder.
Die Lineare Algebra der Verklemmungsvermeidung --- Ein Petri-Netz-Ansatz.
Research Report 25-96 (Abstract, Report, BiBTeX Entry)
English translation available: The Linear Algebra of Deadlock Avoidance --- A Petri Net Approach

Peter Baumgartner, Ulrich Furbach.

Refinements for Restart Model Elimination.
Research Report 24-96 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl.

Tableaux for Diagnosis Applications.
Research Report 23-96 (Abstract, Report, BiBTeX Entry)

Jürgen Ebert, Roger Süttenbach, Ingar Uhe.

Meta-CASE in Practice: a Case for KOGGE.
Research Report 22-96 (Abstract, Report, BiBTeX Entry)

Harro Wimmel, Lutz Priese.

Algebraic Characterization of Petri Net Pomset Semantics.
Research Report 21-96 (Abstract, Report, BiBTeX Entry)

Wenjin Lu.

Minimal Model Generation Based on E-Hyper Tableaux.
Research Report 20-96 (Abstract, Report, BiBTeX Entry)

Frieder Stolzenburg.

A Flexible System for Constraint Disjunctive Logic Programming.
Research Report 19-96 (Abstract, Report, BiBTeX Entry)

Ilkka Niemelä (Ed.).
Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems.
Research Report 18-96 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski.
Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications (Proceedings of the JICSLP '96 Postconference Workshop W1).
Research Report 17-96 (Abstract, Report, BiBTeX Entry)

Chandrabose Aravindan.

DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover.
Research Report 16-96 (Abstract, Report, BiBTeX Entry)

Jürgen Dix, Gerhard Brewka.
Knowledge Representation with Logic Programs.
Research Report 15-96 (Abstract, Report, BiBTeX Entry)

Harro Wimmel, Lutz Priese.

An Application of Compositional Petri Net Semantics.
Research Report 14-96 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Ulrich Furbach.

Calculi for Disjunctive Logic Programming.
Research Report 13-96 (Abstract, Report, BiBTeX Entry)

Klaus Zitzmann.

Physically Based Volume Rendering of Gaseous Objects.
Research Report 12-96 (Abstract, Report, BiBTeX Entry)

J. Ebert, A. Winter, P. Dahm, A. Franzke, R. Süttenbach.
Graph Based Modeling and Implementation with EER/GRAL.
Research Report 11-96 (Abstract, Report, BiBTeX Entry)

Angelika Franzke.

Querying Graph Structures with G2QL.
Research Report 10-96 (Abstract, Report, BiBTeX Entry)

Chandrabose Aravindan.

An abductive framework for negation in disjunctive logic programming.
Research Report 9-96 (Abstract, Report, BiBTeX Entry)

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä .

Hyper Tableaux.
Research Report 8-96 (Abstract, Report, BiBTeX Entry)

Ilkka Niemelä, Patrik Simons.
Efficient Implementation of the Well-founded and Stable Model Semantics.
Research Report 7-96 (Abstract, Report, BiBTeX Entry)

Ilkka Niemelä .
Implementing Circumscription Using a Tableau Method.
Research Report 6-96 (Abstract, Report, BiBTeX Entry)

Ilkka Niemelä .

A Tableau Calculus for Minimal Model Reasoning.
Research Report 5-96 (Abstract, Report, BiBTeX Entry)

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

Characterizations and Implementation of Static Semantics of Disjunctive Programs.
Research Report 4-96 (Abstract, Report, BiBTeX Entry)

Jürgen Ebert, Manfred Kamp, Andreas Winter.

Generic Support for Understanding Heterogeneous Software.
Research Report 3-96 (Abstract, Report, BiBTeX Entry)

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor. C. Przymusinski.
A Comparison of STATIC Semantics with D-WFS.
Research Report 2-96 (Abstract, Report, BiBTeX Entry)

J. Ebert (Hrsg.).
Alternative Konzepte für Sprachen und Rechner, Bad Honnef 1995.
Research Report 1-96 (Abstract, Report, BiBTeX Entry)