Probably partially true satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Marcelo Finger Sandro Preto; Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)
Journal of Automated Reasoning Dordrecht v. 64, n. 7, p. 1269-1286, 2020
Dordreccht 2020
Localização:
IME - Inst. Matemática e Estatística
(PROD-2998747 )(Acessar)