TIC -- A Toolkit for Validation in Formal Language Learning

Volker Dötsch, Leipzig University, Germany; and Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany

Our validation toolkit TIC allows to explore the behaviour of various algorithms for learning formal languages. This is a well-examined and standardized application domain. TIC is operated by interactive as well as automatic control.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.