1996

RR-2-96.ps.gz

 

RR-3-96.ps.gz

 

RR-4-96.ps.gz

 

RR-5-96.ps.gz

 

RR-6-96.ps.gz

 

RR-7-96.ps.gz

 

RR-8-96.ps.gz

 

RR-9-96.ps.gz

 

RR-10-96.ps.gz

 

RR-11-96.ps.gz

 

RR-12-96.ps.gz

 

RR-13-96.ps.gz

 

RR-14-96.ps.gz

 

RR-15-96.ps.gz

 

RR-16-96.ps.gz

 

RR-17-96.ps.gz

 

RR-19-96.ps.gz

 

RR-20-96.ps.gz

 

RR-21-96.ps.gz

 

RR-22-96.ps.gz

 

RR-23-96.ps.gz

 

RR-24-96.ps.gz

 

RR-25-96-en.ps.gz

 

RR-25-96.ps.gz

 

RR-26-96.ps.gz

 

RR-27-96.ps.gz

 

RR-28-96.ps.gz

 

BibTeX Entries 1996

 

Echtzeitplanung für Alters- oder Reaktionszeitanforderungen

 

Action Logical Correctness Proving

 

Constraint Logic Programming for Computational Linguistics

 

Die Lineare Algebra der Verklemmungsvermeidung

 

Refinements for Restart Model Elimination

 

Tableaux for Diagnosis Applications

 

Meta-CASE in Practice: a Case for KOGGE

 

Algebraic Characterization of Petri Net Pomset Semantics

 

Minimal Model Generation Based on E-Hyper Tableaux

 

A Flexible System for Constraint Disjunctive Logic Programming

 

Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems

 

DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover

 

Knowledge Representation with Logic Programs

 

An Application of Compositional Petri Net Semantics

 

Calculi for Disjunctive Logic Programming

 

Physically Based Volume Rendering of Gaseous Objects

 

Graph Based Modeling and Implementation with EER/GRAL

 

Querying Graph Structures with G2QL

 

RR-9-96

 

Hyper Tableaux

 

Efficient Implementation of the Well-founded and Stable Model Semantics

 

Implementing Circumscription Using a Tableau Method

 

A Tableau Calculus for Minimal Model Reasoning

 

Characterizations and Implementation of Static Semantics of Disjunctive Programs

 

Generic Support for Understanding Heterogeneous Software

 

A Comparison of STATIC Semantics with D-WFS

 

Alternative Konzepte für Sprachen und Rechner, Bad Honnef 1995

 

RR-1-96

 

RR-18-96