TY - BOOK AU - Ojeda-Aciego,Manuel.et al Eds TI - Logics in Artificial Intelligence, Proceedings of the European Workshop, Spain, 2000 SN - 3540411313 CY - Berlin KW - Logics KW - Artificial Intelligence ER -