DFKI Publications by Hinkelmann, Knut

D-91-15

with Harold Boley , Philipp Hanschke , Martin Harm , Thomas Labisch , Manfred Meyer , Jörg Müller , Thomas Oltzen , Michael Sintek , Werner Stein , Frank Steinle
CAD2NC: A Declarative Lathe-Workplanning Model Transforming CAD-like Geometries into Abstract NC Programs

D-92-27

with Martin Harm , Thomas Labisch
Integrating Top-down and Bottom-up Reasoning in COLAB

D-98-02

with Andreas Abecker , Ansgar Bernardi , Otto Kühn , Michael Sintek
Techniques for Organizational Memory Information Systems

FR-97-01

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

RR-91-27

with A. Bernardi , H. Boley , Ph. Hanschke , Ch. Klauck , O. Kühn , R. Legleitner , M. Meyer , M. M. Richter , F. Schmalhofer , G. Schmidt , W. Sommer
ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

RR-92-40

with Philipp Hanschke
Combining Terminological and Rule-based Reasoning for Abstraction Processes

RR-93-08

with Harold Boley , Philipp Hanschke , Manfred Meyer
COLAB: A Hybrid Knowledge Representation and Compilation Laboratory

RR-94-10

with Helge Hintze
Computing Cost Estimates for Proof Strategies

RR-94-11

A Consequence Finding Approach for Feature Recognition in CAPP

TM-91-02

Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

TM-91-13

Forward Logic Evaluation: Developing a Compiler from a Partially Evaluated Meta Interpreter

TM-95-03

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

Edited:

D-01-02

with Heinz-Jürgen Müller , Andreas Abecker , Heiko Maus
Geschäftsprozessorientiertes Wissensmanagement
Workshop im Rahmen der 1. Konferenz Professionelles Wissensmanagement
Erfahrungen und Visionen
Kongresshaus Baden-Baden, 14.-16. März 2001

D-93-11

with Armin Laux (Eds.)
DFKI Workshop on Knowledge Representation Techniques --- Proceedings

D-97-03

with Andreas Abecker , Stefan Decker , Ulrich Reimer
Proceedings of the Workshop "Knowledge-Based Systems for Knowledge Management in Enterprises" 97

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.