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

TIC — A Toolkit for Validation in Formal Language Learning

Authors

Volker Dötsch

Leipzig University

Germany;

Klaus P. Jantke

German Research Center for Artificial Intelligence Ltd.

Germany

Published:

May 2000

Proceedings:

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)

Volume

Issue:

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)

Track:

All Papers

Downloads:

Download PDF

Abstract:

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.

FLAIRS

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)


ISBN 978-1-57735-113-9


Published by The AAAI Press, Menlo Park, California.