Publikationen von Philipp Hanschke

1993

• Philipp Hanschke; Thom Frühwirth
  Terminological Reasoning with Constraint Handling Rules.
  DFKI, DFKI Documents (D), Vol. 93-01, 1993.
• Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer
  CoLab: A Hybrid Knowledge Representation and Compilation Laboratory.
  DFKI, DFKI Research Reports (RR), Vol. 93-08, 1993.
• Philipp Hanschke; Jörg Würtz
  Satisfiability of the Smallest Binary Program.
  DFKI, DFKI Research Reports (RR), Vol. 93-09, 1993.
• Philipp Hanschke
  A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning.
  DFKI, DFKI Research Reports (RR), Vol. 93-46, 1993.

1992

• Philipp Hanschke
  Terminological Reasoning and Partial Inductive Definitions.
  DFKI, DFKI Research Reports (RR), Vol. 92-34, 1992.
• Franz Baader; Philipp Hanschke
  Extensions of Concept Languages for a Mechanical Engineering Application.
  DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.
• Philipp Hanschke
  Specifying Role Interaction in Concept Languages.
  DFKI, DFKI Research Reports (RR), Vol. 92-37, 1992.
• Philipp Hanschke; Manfred Meyer
  An Alternative to Θ-Subsumption Based on Terminological Reasoning.
  DFKI, DFKI Research Reports (RR), Vol. 92-38, 1992.
• Philipp Hanschke; Knut Hinkelmann
  Combining Terminological and Rule-based Reasoning for Abstraction Processes.
  DFKI, DFKI Research Reports (RR), Vol. 92-40, 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.
  In: Proceedings of th 10th International Workshop on Expert Systems and their Applications: Tools, Techniques and Methods. International Workshop on Expert Systems and their Applications, 10th, May 28 - June 1, Avignon, France, Pages 133-145, Vol. 8, 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.
  DFKI, DFKI Documents (D), Vol. 91-15, 1991.
• Franz Baader; Philipp Hanschke
  A Scheme for Integrating Concrete Domains into Concept Languages.
  DFKI, DFKI Research Reports (RR), Vol. 91-10, 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.
  DFKI, DFKI Research Reports (RR), Vol. 91-27, 1991.