Georgios Bardis, Dimitrios Makris, Vassilios Golfinopoulos, Georgios Miaoulis, Dimitri Plemenos. A Formal Framework for Declarative Scene Description Transformation into Geometric Constraints. In Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I. Volume 6881 of Lecture Notes in Computer Science, pages 347-356, Springer, 2011. [doi]