Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings - Manuel Ojeda-Aciego, Inma P. Guzmán, Gerhard Brewka, Luís Pereira ((Lecture Notes in Computer Science))