Logics in Artificial Intelligence: 9th European Conference, Jelia 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2004)