Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- DOI: 10.1109/ISMVL57333.2023.00039
- Subjects: REDES NEURAIS; PROGRAMAÇÃO LINEAR; LÓGICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 2023
- Source:
- Título do periódico: Proceedings
- Conference titles: International Symposium on Multiple-Valued Logic - ISMVL
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 28 abr. 2024. -
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039 -
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039 -
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039 - Proving properties of binary classification neural networks via Łukasiewicz logic
- Linking Łukasiewicz logic and boolean maximum satisfiability
- Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
- Effective reasoning over neural networks using Lukasiewicz logic
- Coherence of probabilistic constraints on Nash equilibria
- Representing rational McNaughton functions via MODSAT relativisation
- An efficient algorithm for representing piecewise linear functions into logic
- Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
Informações sobre o DOI: 10.1109/ISMVL57333.2023.00039 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
3150067.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas