Logic for Programming Artificial Intelligence and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2007)