José A. Maestro, María Aránzazu Simón Hurtado, Mario López, Alejandra Martínez-Monés, Carlos J. Alonso. A Proposal of Diagnosis for an ITS for Computational Logic. In Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz, editors, Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers. Volume 3040 of Lecture Notes in Computer Science, pages 86-95, Springer, 2003. [doi]
Abstract is missing.