Jantke, Klaus P.; Knauf, Rainer; Stephan, Andreas
Validation von Anwendungssoftware: von der Forschung zum Marktfaktor. - In: Tagungsbericht, (1997), S. 1-21
Validation von Anwendungssoftware: von der Forschung zum Marktfaktor. - In: Tagungsbericht, (1997), S. 1-21
Herrmann, Jörg; Jantke, Klaus P.; Knauf, Rainer
Using structural knowledge for system validation. - In: Proceedings of the Tenth International Florida Artificial Intelligence Research Symposium, (1997), S. 82-86
Using structural knowledge for system validation. - In: Proceedings of the Tenth International Florida Artificial Intelligence Research Symposium, (1997), S. 82-86
Knauf, Rainer;
Philippow, Ilka; Gonzalez, Avelino J.
Towards an assessment of an AI system's validity by a turing test. - In: Proceedings of the Tenth International Florida Artificial Intelligence Research Symposium, (1997), S. 397-401
Towards an assessment of an AI system's validity by a turing test. - In: Proceedings of the Tenth International Florida Artificial Intelligence Research Symposium, (1997), S. 397-401
Knauf, Rainer;
Estimating an AI system's validity by a TURING test. - In: [Vortragsreihen, (1997), S. 65-70
Estimating an AI system's validity by a TURING test. - In: [Vortragsreihen, (1997), S. 65-70
Knauf, Rainer; Jantke, Klaus P.; Abel, Thomas; Philippow, Ilka
Fundamentals of a TURING test approach to validation of AI systems. - In: [Vortragsreihen, (1997), S. 59-64
Fundamentals of a TURING test approach to validation of AI systems. - In: [Vortragsreihen, (1997), S. 59-64
Abel, Thomas;
Enlarging a second bottleneck: a criteria-based approach to manage expert system validation based on test cases. - In: [Vortragsreihen, (1997), S. 47-52
Enlarging a second bottleneck: a criteria-based approach to manage expert system validation based on test cases. - In: [Vortragsreihen, (1997), S. 47-52
Herrmann, Jörg; Jantke, Klaus P.; Knauf, Rainer
Towards cost driven system validation. - In: [Vortragsreihen, (1997), S. 41-46
Towards cost driven system validation. - In: [Vortragsreihen, (1997), S. 41-46
Knauf, Rainer; Philippow, Ilka
Ein Turing Test zur Validitätsabschätzung von KI-Systemen. - In: Tagungsbericht, (1996), S. 147-152
Ein Turing Test zur Validitätsabschätzung von KI-Systemen. - In: Tagungsbericht, (1996), S. 147-152
Abel, Thomas; Knauf, Rainer; Gonzalez, Avelino J.
Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation. - In: Proceedings of the Ninth Florida Artificial Intelligence Research Symposium, (1996), S. 280-284
Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation. - In: Proceedings of the Ninth Florida Artificial Intelligence Research Symposium, (1996), S. 280-284
Knauf, Rainer;
Logische Programmierung und wissensbasierte Systeme : eine Einführung
Als Ms. gedr.. - Aachen : Shaker, 1993. - XII, 244 S. - (Reihe Informatik) : Zugl.: Ilmenau, Techn. Hochsch., Diss., 1992 [i.e. 1990]
ISBN 3-86111-310-4
Logische Programmierung und wissensbasierte Systeme : eine Einführung
Als Ms. gedr.. - Aachen : Shaker, 1993. - XII, 244 S. - (Reihe Informatik) : Zugl.: Ilmenau, Techn. Hochsch., Diss., 1992 [i.e. 1990]
ISBN 3-86111-310-4