A logic-algebraic tool for reasoning with Knowledge-Based Systems

  1. Alonso-Jiménez, J.A.
  2. Aranda-Corral, G.A.
  3. Borrego-Díaz, J.
  4. Fernández-Lebrón, M.M.
  5. José Hidalgo-Doblado, M.
Revista:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Año de publicación: 2018

Volumen: 101

Páginas: 88-109

Tipo: Artículo

DOI: 10.1016/J.JLAMP.2018.09.001 GOOGLE SCHOLAR