Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.1007/978-3-319-94205-6_14
- Subjects: RACIOCÍNIO PROBABILÍSTICO; LÓGICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International 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 half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 10 fev. 2026. -
APA
Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14 -
NLM
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14 -
Vancouver
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2026 fev. 10 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14 - Effective reasoning over neural networks using Lukasiewicz 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
- Representing rational McNaughton functions via MODSAT relativisation
Informações sobre o DOI: 10.1007/978-3-319-94205-6_14 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
