Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - Sergio Flesca, Sergio Greco, Giovambattista Ianni, Nicola Leone ((Lecture Notes in Computer Science))