Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings - Alferes, Jose, Julio; Alferes, Jose, Julio; Leite, Joao; Leite, Joao (Springer Berlin Heidelberg : Imprint: Springer, 2004)