|
Reviews in category "Inference Engines (I.2.3)": |
|
Exploration in recommender systems Chen M. RecSys 2021 Amsterdam, the Netherlands, Sep 27-Oct 1, 2021) 551-553, 2021. Type: Proceedings |
|
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 |
|
Symbolic checking of fuzzy CTL on fuzzy program graph Ebrahimi M., Sotudeh G., Movaghar A. Acta Informatica 56(1): 1-33, 2019. Type: Article |
|
Circuit complexity, proof complexity, and polynomial identity testing: the ideal proof system Grochow J., Pitassi T. Journal of the ACM 65(6): 1-59, 2018. Type: Article |
|
Fuzzy logic augmentation of neural and optimization algorithms: theoretical aspects and real applications Castillo O., Melin P., Kacprzyk J., Springer International Publishing, New York, NY, 2018. 546 pp. Type: Book (978-3-319710-07-5) |
more...
|
|
|
|