Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings - Jóse Júlio Alferes, João Leite ((Lecture Notes in Computer Science))