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
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 09 fev. 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 fev. 09 ] 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 fev. 09 ] 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
- Regional, lattice and logical representations of neural networks
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- An efficient algorithm for representing piecewise linear functions into logic
- Coherence of probabilistic constraints on Nash equilibria
- Benchmarking Łukasiewicz logic solvers with properties of neural networks
- Linking Łukasiewicz logic and boolean maximum satisfiability
- Representing rational McNaughton functions via MODSAT relativisation
- Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
Informações sobre o DOI: 10.1017/S096012952200010X (Fonte: oaDOI API)
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
