| |
| 2002 | ||
|---|---|---|
| 2 | Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, Dirk Salecker: System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge. FLAIRS Conference 2002: 216-220 | |
| 1999 | ||
| 1 | Dirk Salecker, Rainer Knauf: Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology. FLAIRS Conference 1999: 531-535 | |
| 1 | Avelino J. Gonzalez | [2] |
| 2 | Klaus P. Jantke | [2] |
| 3 | Rainer Knauf | [1] [2] |
| 4 | Ilka Philippow | [2] |