AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000) / All Papers

Formal Concepts of Learning Systems Validation in Use

Download PDF

Abstract:

The aim of this paper is to exemplify a validation approach based on a clear and thoroughly formal theory. In this way, validation and verification should be brought closer to each other, for the benefit of a concerted action towards dependable software systems.

Published Date: May 2000

Registration: ISBN 978-1-57735-113-9

Copyright: Published by The AAAI Press, Menlo Park, California.

Authors

Volker Dötsch

Leipzig University

Germany; Gunter Grieser

Darmstadt University of Technology

Germany; Klaus P. Jantke

German Research Center for Artificial Intelligence Ltd.

Germany; Steffen Lange

Leipzig University

Germany

DOI: