Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (2022)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.1017/S096012952200010X
- Assunto: LÓGICA MATEMÁTICA
- Keywords: Function representation; Łukasiewicz Infinitely-valued Logic; rational McNaughton functions; piecewise linear functions
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Mathematical Structures in Computer Science
- ISSN: 0960-1295
- Volume/Número/Paginação/Ano: v. 32, n. 9, p. 1119-1144, 2022
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
PRETO, Sandro e FINGER, Marcelo. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, v. 32, n. 9, p. 1119-1144, 2022Tradução . . Disponível em: https://doi.org/10.1017/S096012952200010X. Acesso em: 11 abr. 2026. -
APA
Preto, S., & Finger, M. (2022). Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. Mathematical Structures in Computer Science, 32( 9), 1119-1144. doi:10.1017/S096012952200010X -
NLM
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2026 abr. 11 ] Available from: https://doi.org/10.1017/S096012952200010X -
Vancouver
Preto S, Finger M. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability [Internet]. Mathematical Structures in Computer Science. 2022 ; 32( 9): 1119-1144.[citado 2026 abr. 11 ] Available from: https://doi.org/10.1017/S096012952200010X - 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
- An efficient algorithm for representing piecewise linear functions into logic
- Regional, lattice and logical representations of neural networks
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 | |
|---|---|---|---|
 |
3078150.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
