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