Danail Dochev Marco Pistore Paolo Traverso Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings 5253 2008 978-3-540-85775-4 AIMSA Lecture Notes in Computer Science Springer db/conf/aimsa/aimsa2008.html