|
Reviews about "Deduction And Theorem Proving (I.2.3)":
|
How testing helps to diagnose proof failures Petiot G., Kosmatov N., Botella B., Giorgetti A., Julliand J. Formal Aspects of Computing 30(6): 629-657, 2018. Type: Article
|
On the logos: a naïve view on ordinary reasoning and fuzzy logic Trillas E., Springer International Publishing, New York, NY, 2017. 213 pp. Type: Book (978-3-319560-52-6)
|
A progression semantics for first-order logic programs Zhou Y., Zhang Y. Artificial Intelligence 250 58-79, 2017. Type: Article
|
A new perspective on nonmonotonic logics Gabbay D., Schlechta K., Springer International Publishing, New York, NY, 2016. 365 pp. Type: Book (978-3-319468-15-0)
|
Reasoning about uncertainty (2nd ed.) Halpern J., The MIT Press, Cambridge, MA, 2017. 504 pp. Type: Book (978-0-262533-80-5)
|
A case-based reasoning system based on weighted heterogeneous value distance metric for breast cancer diagnosis Gu D., Liang C., Zhao H. Artificial Intelligence in Medicine 77 31-47, 2017. Type: Article
|
Uncertainty and reduction of variable precision multigranulation fuzzy rough sets based on three-way decisions Feng T., Fan H., Mi J. International Journal of Approximate Reasoning 85(C): 36-58, 2017. Type: Article
|
more...
|
|
|
|