Extracting Finite Structure from Infinite Language

T. McQueen, Adrian A. Hopgood, Tony J. Allen, Jonathan A. Tepper. Extracting Finite Structure from Infinite Language. In Max Bramer, Frans Coenen, Tony Allen, editors, Research and Development in Intelligent Systems XXI, Proceedings of AI-2004, the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Queens College, Cambridge, UK, 13-15 December 2004. pages 3-16, Springer, 2004. [doi]

Abstract

Abstract is missing.