Philipp Hanschke

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
CoLab: A hybrid knowledge representation and compilation laboratory. Ann. Oper. Res. 55 (1) (1995)
Thom W. Frühwirth, Philipp Hanschke
Terminological Reasoning with Constraint Handling Rules. PPCP (1993)
Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. 7 (3) (1993)
Philipp Hanschke, Jörg Würtz
Satisfiability of the Smallest Binary Program. Inf. Process. Lett. 45 (5) (1993)
Franz Baader, Philipp Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application. GWAI (1992)
Philipp Hanschke
How to Benefit from Terminological Logics? Description Logics (1992)
Philipp Hanschke, Knut Hinkelmann
Combining Terminological and Rule-based Reasoning for Abstraction Processes. GWAI (1992)
Philipp Hanschke
Specifying Role Interaction in Concept Languages. KR (1992)
Philipp Hanschke
Terminological Reasoning and Partial Inductive Definitions. ELP (1991)
Franz Baader, Philipp Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages. IJCAI (1991)
Philipp Hanschke, Andreas Abecker, Dennis Drollinger
TAXON: A Concept Language with Concrete Domains. PDK (1991)