Representing rational McNaughton functions via MODSAT relativisation (2019)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; PRETO, SANDRO MÁRCIO DA SILVA - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: EDUFCG
- Publisher place: João Pessoa
- Date published: 2019
- Source:
- Título do periódico: Book of Abstracts
- Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL)
-
ABNT
PRETO, Sandro e FINGER, Marcelo. Representing rational McNaughton functions via MODSAT relativisation. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 23 abr. 2024. -
APA
Preto, S., & Finger, M. (2019). Representing rational McNaughton functions via MODSAT relativisation. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
NLM
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 23 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf -
Vancouver
Preto S, Finger M. Representing rational McNaughton functions via MODSAT relativisation [Internet]. Book of Abstracts. 2019 ;[citado 2024 abr. 23 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf - Linking Łukasiewicz logic and boolean maximum satisfiability
- Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
- Proving properties of binary classification neural networks via Łukasiewicz logic
- An efficient algorithm for representing piecewise linear functions into logic
- Effective reasoning over neural networks using Lukasiewicz logic
- Coherence of probabilistic constraints on Nash equilibria
- Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
- Benchmarking Łukasiewicz logic solvers with properties of neural networks
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2965709.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas