DFKI Publications by Meyer, Manfred

[Back]

D-91-15

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

FR-97-01

with Harold Boley , Andreas Abecker , Knut Hinkelmann , Otto Kühn , 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 , K. Hinkelmann , Ch. Klauck , O. Kühn , R. Legleitner , M. M. Richter , F. Schmalhofer , G. Schmidt , W. Sommer
ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

RR-92-35

Using Hierarchical Constraint Satisfaction for Lathe-Tool Selection in a CIM Environment

RR-92-38

with Philipp Hanschke
An Alternative to Theta-Subsumption Based on Terminological Reasoning

RR-93-08

with Harold Boley , Philipp Hanschke , Knut Hinkelmann
COLAB: A Hybrid Knowledge Representation and Compilation Laboratory

RR-93-22

with Jörg Müller
Weak Looking-Ahead and its Application in Computer-Aided Process Planning

RR-94-36

Issues in Concurrent Knowledge Engineering. Knowledge Base and Knowledge Share Evolution.

Edited:

D-93-14

Constraint Processing -- Proceedings of the International Workshop at CSAM'93, St.Petersburg, July 20-21, 1993

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.