![]() |
| 1997 | ||
|---|---|---|
| 4 | Oksana Arnold, Klaus P. Jantke: Inductive Program Synthesis for Theory Plan Generation. New Generation Comput. 15(1): 27-58 (1997) | |
| 1996 | ||
| 3 | Klaus P. Jantke, Oksana Arnold: A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. TIME 1996 | |
| 1995 | ||
| 2 | EE | Oksana Arnold, Wolfgang Faisst, Martina Härtling, Pascal Sieber: Virtuelle Unternehmen als Unternehmenstyp der Zukunft? HMD - Praxis Wirtschaftsinform. 185: (1995) |
| 1994 | ||
| 1 | Oksana Arnold, Klaus P. Jantke: Therapy Plan Generation as Program Synthesis. AII/ALT 1994: 40-55 | |
| 1 | Wolfgang Faisst | [2] |
| 2 | Martina Härtling | [2] |
| 3 | Klaus P. Jantke | [1] [3] [4] |
| 4 | Pascal Sieber | [2] |