Bello, Pedro, Benemérita Universidad Autónoma de Puebla, Mexico

• Vol 26, No 1 (2022): Recent Advances in Language & Knowledge Engineering (Guest editors: D. Pinto, B. Beltrán, A. Vázquez, D. Vilariño) - Articles of the Thematic Issue
  Model Checking Algorithm for Repairing Inference between Conjunctive Forms
  Abstract  PDF