Using neural models to perform inference (2019)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; HIRATA JUNIOR, ROBERTO - IME ; SALVATORE, FELIPE DE SOUZA - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- Subjects: APRENDIZADO COMPUTACIONAL; RACIOCÍNIO PROBABILÍSTICO
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy
-
ABNT
SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 28 fev. 2026. -
APA
Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view -
NLM
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2026 fev. 28 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view -
Vancouver
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2026 fev. 28 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view - A logical-based corpus for cross-lingual evaluation
- A resampling-based method to evaluate NLI models
- 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
- Proving properties of binary classification neural networks via Łukasiewicz 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
- Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
- Benchmarking Łukasiewicz logic solvers with properties of neural networks
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3000751.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
