| 1. |
Abecker, Andreas ; Boley, Harold ; Hinkelmann, Knut ; Wache, Holger ; Schmalhofer, Franz
(1995)
An environment for exploring and validating declarative knowledge
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 2. |
Hinkelmann, Knut
(1994)
A consequence-finding approach for feature recognition in CAPP
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 3. |
Hinkelmann, Knut ; Hintze, Helge
(1994)
Computing cost estimates for proof strategies
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 4. |
Boley, Harold ; Hanschke, Philipp ; Hinkelmann, Knut ; Meyer, Manfred
(1993)
COLAB : a hybrid knowledge representation and compilation laboratory
Kaiserslautern ; Saarbrücken : DFKI, 1993
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. |
Harm, Martin ; Hinkelmann, Knut ; Labisch, Thomas
(1992)
Integrating bottom-up and top-down reasoning in COLAB
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 7. |
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)
|
| 8. |
Hinkelmann, Knut
(1991)
Bidirectional reasoning of horn clause programs : transformation and compilation
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| 9. |
Hinkelmann, Knut
(1991)
Forward logic evaluation : developing a compiler from a partially evaluated meta interpreter
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
