José Júlio Alferes João Alexandre Leite Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings JELIA Lecture Notes in Computer Science 3229 Springer 2004 3-540-23242-7 db/conf/jelia/jelia2004.html