DFKI-LT - Publications

1993
 
Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
CoLab: A Hybrid Knowledge Representation and Compilation Laboratory
volume 93-08,
DFKI Research Reports, Pages 64Technical Report, DFKI, 1993
 
Philipp Hanschke, Jörg Würtz
Satisfiability of the Smallest Binary Program
volume 93-09,
DFKI Research Reports, Pages 8Technical Report, DFKI, 1993
 
Philipp Hanschke
A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning
volume 93-46,
DFKI Research Reports, Pages 81Technical Report, DFKI, 1993
 
Philipp Hanschke, Thom Frühwirth
Terminological Reasoning with Constraint Handling Rules
volume 93-01,
DFKI Documents, Pages 12Technical Report, DFKI, 1993
 
1992
 
Philipp Hanschke
Terminological Reasoning and Partial Inductive Definitions
volume 92-34,
DFKI Research Reports, Pages 23Technical Report, DFKI, 1992
 
Franz Baader, Philipp Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
volume 92-36,
DFKI Research Reports, Pages 15Technical Report, DFKI, 1992
 
Philipp Hanschke
Specifying Role Interaction in Concept Languages
volume 92-37,
DFKI Research Reports, Pages 26Technical Report, DFKI, 1992
 
Philipp Hanschke, Manfred Meyer
An Alternative to Θ-Subsumption Based on Terminological Reasoning
volume 92-38,
DFKI Research Reports, Pages 9Technical Report, DFKI, 1992
 
Philipp Hanschke, Knut Hinkelmann
Combining Terminological and Rule-based Reasoning for Abstraction Processes
volume 92-40,
DFKI Research Reports, Pages 17Technical Report, DFKI, 1992
 
1991
 
Ansgar Bernardi, Harold Boley, Knut Hinkelmann, Philipp Hanschke, Christoph Klauck, Otto Kühn, Ralf Legleitner, Manfred Meyer, Michael M. Richter, Gabriele Schmidt, Franz Schmalhofer, Walter Sommer
ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge
Proceedings of th 10th International Workshop on Expert Systems and their Applications: Tools, Techniques and Methods volume 8, Pages 133-145, Avignon, France, EC2, Nanterre, 1991
 
Harold Boley, Philipp Hanschke, Martin Harm, Knut Hinkelmann, Thomas Labisch, Manfred Meyer, Jörg Müller, Thomas Oltzen, Michael Sintek, Werner Stein, Frank Steinle
MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs
volume 91-15,
DFKI Documents, Pages 100Technical Report, DFKI, 1991
 
Franz Baader, Philipp Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
volume 91-10,
DFKI Research Reports, Pages 31Technical Report, DFKI, 1991
 
Ansgar Bernardi, Harold Boley, Philipp Hanschke, Knut Hinkelmann, Christoph Klauck, Otto Kühn, Ralf Legleitner, Manfred Meyer, M.M. Richter, Franz Schmalhofer, Gabriele Schmidt, Walter Sommer
ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge
volume 91-27,
DFKI Research Reports, Pages 18Technical Report, DFKI, 1991