Article
A logic-algebraic tool for reasoning with Knowledge-Based Systems
| Author/s | Alonso Jiménez, José Antonio
Aranda Corral, Gonzalo A. Borrego Díaz, Joaquín 
Fernández Lebrón, María Magdalena
Hidalgo Doblado, María José |
| Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
| Publication Date | 2018 |
| Deposit Date | 2019-05-21 |
| Published in |
|
| Abstract | A detailed exposition of foundations of a logic-algebraic model for reasoning
with knowledge bases speci ed by propositional (Boolean) logic is presented.
The model is conceived from the logical translation of usual ... |
| Project ID. | TIN2013-41086-P
 |
| Citation | Alonso Jiménez, J.A., Aranda Corral, G.A., Borrego Díaz, J., Fernández Lebrón, M.M. y Hidalgo Doblado, M.J. (2018). A logic-algebraic tool for reasoning with Knowledge-Based Systems. Journal of Logical and Algebraic Methods in Programming, 101 (December 2018), 88-109. |
: 
| Files | Size | Format | View | Description |
|---|---|---|---|---|
| 1809.00508.pdf | 681.1Kb | 
[PDF]
| View/ | |
https://hdl.handle.net/11441/86606
https://doi.org/10.1016/j.jlamp.2018.09.001This item appears in the following collection(s)
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional