Univ.-Prof. Dr. Aart Middeldorp   

Increasing Interpretations

Harald Zankl and Aart Middeldorp
Proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2008), Lecture Notes in Artificial Intelligence 5144, pp. 191 – 205, 2008

abstract   bibtex   pdf (preprint)   doi:10.1007/978-3-540-85110-3_16   journal version
© Springer