A logic-algebraic tool for reasoning with Knowledge-Based Systems
Alonso-Jimenez J.A.
Aranda-Corral G.A.
Borrego-Diaz J.
Fernandez-Lebron M.M.
Jose Hidalgo-Doblado M.
Journal of Logical and Algebraic Methods in Programming
Doi 10.1016/j.jlamp.2018.09.001
Volumen 101
páginas 88 - 109
2018-12-01
Citas: 7