Philipp Hanschke

Most-cited papers

A Scheme for Integrating Concrete Domains into Concept Languages
F. Baader, Philipp Hanschke
1991International Joint Conference on Artificial Intelligence486 citations
Semantic Scholar
Extensions of Concept Languages for a Mechanical Engineering Application
F. Baader, Philipp Hanschke
1992German Workshop on Artificial Intelligence65 citations Open access
Semantic Scholar
Terminological Reasoning with Constraint Handling Rules
Thom W. Frühwirth, Philipp Hanschke
1993Principles and Practice of Constraint Programming50 citations
Semantic Scholar
Specifying Role Interaction in Concept Languages
Philipp Hanschke
1992International Conference on Principles of Knowledge Representation and Reasoning38 citations
Semantic Scholar
Satisfiability of the Smallest Binary Program
Philipp Hanschke, Jörg Würtz
1993Information Processing Letters33 citations Open access
Semantic Scholar
ARC-TEC : acquisition, representation and compilation of technical knowledge
A. Bernardi, H. Boley, Philipp Hanschke, Knut Hinkelmann +8 more
199129 citations
Semantic Scholar
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Philipp Hanschke
1993DISKI24 citations
Semantic Scholar
CoLab: A hybrid knowledge representation and compilation laboratory
H. Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
1995Annals of Operations Research13 citations
Semantic Scholar
Combining Terminological and Rule-based Reasoning for Abstraction Processes
Philipp Hanschke, Knut Hinkelmann
1992German Workshop on Artificial Intelligence13 citations Open access
Semantic Scholar
TAXON: A Concept Language with Concrete Domains
Philipp Hanschke, A. Abecker, Dennis Drollinger
1991Processing Declarative Knowledge12 citations
Semantic Scholar
μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programs
H. Boley, Philipp Hanschke, M. Harm, Knut Hinkelmann +7 more
19915 citations
Semantic Scholar
An alternative to theta-subsumption based on terminological reasoning
Philipp Hanschke, Manfred Meyer
19922 citations
Semantic Scholar
Terminological Reasoning and Partial Inductive Definitions
Philipp Hanschke
1991Extensions of Logic Programming2 citations Open access
Semantic Scholar
How to Benefit from Terminological Logics?
Philipp Hanschke
1992Description Logics1 citations
Semantic Scholar
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht
F. Baader, Philipp Hanschke, B. Hollunder, Bernhard Nebel +1 more
1993Künstliche Intell.0 citations
Semantic Scholar