Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings - Alferes, José Júlio; Leite, João Alexandre (Springer, 2004)