DFKI Publications by Wache, Holger

[Back]

FR-97-01

with Harold Boley , Andreas Abecker , Knut Hinkelmann , Otto Kühn , Manfred Meyer , Harald Meyer auf'm Hofe , Franz Schmalhofer
VEGA Knowledge Validation and Exploration by Global Analysis

TM-95-03

with Andreas Abecker , Harold Boley , Knut Hinkelmann , Franz Schmalhofer
An Environment for Exploring and Validating Declarative Knowledge

TM-96-01

with Gerd Kamp
CTL - a description Logic with expressive concrete domains

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.