Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings - Ojeda-Aciego, Manuel; Ojeda-Aciego, Manuel; Guzman, Inma P. de; Guzman, Inma P. de; Brewka, Gerhard; Brewka, Gerhard; Pereira, Luis M.; Pereira, Luis M. (Springer Berlin Heidelberg : Imprint: Springer, 2000)