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

Any de publicació: 2018

Volum: 101

Pàgines: 88-109

Tipus: Article

DOI: 10.1016/J.JLAMP.2018.09.001 GOOGLE SCHOLAR