| 1. |
Hanschke, Philipp
(1993)
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
Report (Bericht)
|
| 2. |
Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred
(1993)
COLAB : a hybrid knowledge representation and compilation laboratory
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 3. |
Hanschke, Philipp ; Würtz, Jörg
(1993)
Satisfiability of the smallest binary program
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 4. |
Hanschke, Philipp ; Meyer, Manfred
(1992)
An alternative to theta-subsumption based on terminological reasoning
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 5. |
Hanschke, Philipp ; Hinkelmann, Knut
(1992)
Combining terminological and rule-based reasoning for abstraction processes
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 6. |
Baader, Franz ; Hanschke, Philipp
(1992)
Extensions of concept languages for a mechanical engineering application
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 7. |
Hanschke, Philipp
(1992)
Specifying role interaction in concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 8. |
Hanschke, Philipp
(1992)
Terminological reasoning and partial inductive definitions
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 9. |
Bernardi, Ansgar ; Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Klauck, Christoph ; Kühn, Otto ; Legleitner, Ralf ; Meyer, Manfred ; Richter, Michael M. ; Schmalhofer, Franz ; Schmidt, Gabriele ; Sommer, Walter
(1991)
ARC-TEC : acquisition, representation and compilation of technical knowledge
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
