A logic-algebraic tool for reasoning with Knowledge-Based Systems
- Alonso-Jiménez, J.A.
- Aranda-Corral, G.A.
- Borrego-Díaz, J.
- Fernández-Lebrón, M.M.
- José Hidalgo-Doblado, M.
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Année de publication: 2018
Volumen: 101
Pages: 88-109
Type: Article