Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings - Flesca, Sergio; Flesca, Sergio; Ianni, Giovambattista; Ianni, Giovambattista (Springer Berlin Heidelberg : Imprint: Springer, 2002)