Regional, lattice and logical representations of neural networks (2025)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.4204/EPTCS.421.4
- Subjects: REDES NEURAIS; LÓGICA; ALGORITMOS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: Open Publishing Association
- Publisher place: Sydney
- Date published: 2025
- Source:
- Título: Electronic Proceedings in Theoretical Computer Science
- ISSN: 2075-2180
- Volume/Número/Paginação/Ano: v. 421, p. 64-79, 2025
- Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 12 abr. 2026. , 2025 -
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4 -
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2026 abr. 12 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf -
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2026 abr. 12 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf - Effective reasoning over neural networks using Lukasiewicz logic
- Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
- 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
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Proving properties of binary classification neural networks via Łukasiewicz logic
- Representing rational McNaughton functions via MODSAT relativisation
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
- An efficient algorithm for representing piecewise linear functions into logic
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3254973.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
