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.
Journal:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216
Year of publication: 2018
Volume: 101
Pages: 88-109
Type: Article