Logics in artificial intelligence: European workshop, JELIA '96 Evora, Portugal September 30 -- October 3, 1996 proceedings - Alferes, Jose Julio (Lecture notes in artificial intelligence /, 1996)