Pedro Bello López, Jose Andrés Vazquez Flores, Meliza Contreras González, Marco Rodríguez Herníndez. Detection of inconsistencies in knowledge bases for emission of foreign judgments. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, R. Carolina Medina Ramírez, editors, Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012. Volume 911 of CEUR Workshop Proceedings, pages 101-108, CEUR-WS.org, 2012. [doi]
Abstract is missing.