Effective reasoning over neural networks using Lukasiewicz logic (2023)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.3233/FAIA230160
- Subjects: LÓGICA MATEMÁTICA; REDES NEURAIS
- Language: Inglês
- Imprenta:
- Source:
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
PRETO, Sandro e FINGER, Marcelo. Effective reasoning over neural networks using Lukasiewicz logic. Compendium of neurosymbolic artificial intelligence. Tradução . Amsterdam: IOS Press, 2023. . Disponível em: https://doi.org/10.3233/FAIA230160. Acesso em: 10 fev. 2026. -
APA
Preto, S., & Finger, M. (2023). Effective reasoning over neural networks using Lukasiewicz logic. In Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press. doi:10.3233/FAIA230160 -
NLM
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2026 fev. 10 ] Available from: https://doi.org/10.3233/FAIA230160 -
Vancouver
Preto S, Finger M. Effective reasoning over neural networks using Lukasiewicz logic [Internet]. In: Compendium of neurosymbolic artificial intelligence. Amsterdam: IOS Press; 2023. [citado 2026 fev. 10 ] Available from: https://doi.org/10.3233/FAIA230160 - Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
- Regional, lattice and logical representations of neural networks
- 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
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Informações sobre o DOI: 10.3233/FAIA230160 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
