DFKI Publications by Hanschke, Philipp

D-91-15

with Harold Boley , Martin Harm , Knut Hinkelmann , 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-93-01

with Thom Frühwirth
Terminological Reasoning with Constraint Handling Rules

RR-91-10

with Franz Baader
A Scheme for Integrating Concrete Domains into Concept Languages

RR-91-27

with A. Bernardi , H. Boley , K. Hinkelmann , 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-34

Terminological Reasoning and Partial Inductive Definitions

RR-92-36

with Franz Baader
Extensions of Concept Languages for a Mechanical Engineering Application

RR-92-37

Specifying Role Interaction in Concept Languages

RR-92-38

with Manfred Meyer
An Alternative to -Subsumption Based on Terminological Reasoning

RR-92-40

with Knut Hinkelmann
Combining Terminological and Rule-based Reasoning for Abstraction Processes

RR-93-08

with Harold Boley , Knut Hinkelmann , Manfred Meyer
COLAB: A Hybrid Knowledge Representation and Compilation Laboratory

RR-93-09

with Jörg Würtz
Satisfiability of the Smallest Binary Program

RR-93-46

A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

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.