Applying formal concepts to learning systems validation

DOI10.1080/095281300454810zbMath1012.68158OpenAlexW2089653896MaRDI QIDQ4783358

Gunter Grieser, Volker Dötsch, Steffen Lange

Publication date: 5 May 2003

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454810

zbMATH Keywords

verificationformal languagesvalidation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Language identification in the limit
• Unnamed Item