| 1993 |
|---|
| 10 | | Thom W. Frühwirth,
Philipp Hanschke:
Terminological Reasoning with Constraint Handling Rules.
PPCP 1993: 80-89 |
| 9 | | Philipp Hanschke,
Jörg Würtz:
Satisfiability of the Smallest Binary Program.
Inf. Process. Lett. 45(5): 237-241 (1993) |
| 8 | | Franz Baader,
Philipp Hanschke,
Bernhard Hollunder,
Bernhard Nebel,
Werner Nutt:
``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht.
KI 7(3): 24-25 (1993) |
| 1992 |
|---|
| 7 | | Philipp Hanschke:
How to Benefit from Terminological Logics?
Description Logics 1992: 45-48 |
| 6 | | Franz Baader,
Philipp Hanschke:
Extensions of Concept Languages for a Mechanical Engineering Application.
GWAI 1992: 132-143 |
| 5 | | Philipp Hanschke,
Knut Hinkelmann:
Combining Terminological and Rule-based Reasoning for Abstraction Processes.
GWAI 1992: 144-155 |
| 4 | | Philipp Hanschke:
Specifying Role Interaction in Concept Languages.
KR 1992: 318-329 |
| 1991 |
|---|
| 3 | | Philipp Hanschke:
Terminological Reasoning and Partial Inductive Definitions.
ELP 1991: 221-237 |
| 2 | | Franz Baader,
Philipp Hanschke:
A Scheme for Integrating Concrete Domains into Concept Languages.
IJCAI 1991: 452-457 |
| 1 | | Philipp Hanschke,
Andreas Abecker,
Dennis Drollinger:
TAXON: A Concept Language with Concrete Domains.
PDK 1991: 411-413 |
