Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.1007/s10817-020-09558-9
- Subjects: RACIOCÍNIO PROBABILÍSTICO; LÓGICA
- Keywords: Fuzzy logics; Probabilistic fuzzy logics; Multivalued logics; Probabilistic multivalued logics; Łukasiewicz Infinitely-valued Logic
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher place: Dordreccht
- Date published: 2020
- Source:
- Título: Journal of Automated Reasoning
- ISSN: 0168-7433
- Volume/Número/Paginação/Ano: v. 64, n. 7, p. 1269-1286, 2020
- Conference titles: Joint Conference on Automated Reasoning - IJCAR
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 10 fev. 2026. , 2020 -
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9 -
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/s10817-020-09558-9 -
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/s10817-020-09558-9 - Effective reasoning over neural networks using Lukasiewicz logic
- Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
- Regional, lattice and logical representations of neural networks
- An efficient algorithm for representing piecewise linear functions into logic
- Coherence of probabilistic constraints on Nash equilibria
- Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
- Benchmarking Łukasiewicz logic solvers with properties of neural networks
- Linking Łukasiewicz logic and boolean maximum satisfiability
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
- Proving properties of binary classification neural networks via Łukasiewicz logic
Informações sobre o DOI: 10.1007/s10817-020-09558-9 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
2998747.pdf | ||
 |
2998747.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
