ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Probabilistic logic programming under the L-Stable semantics (2024)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi ; Garces, Alexandro
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Nonmonotonic Reasoning - NMR. Unidades: IME, EP
Subjects: PROGRAMAÇÃO LÓGICA, SEMÂNTICA DE PROGRAMAÇÃO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi e GARCES, Alexandro. Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://ceur-ws.org/Vol-3835/paper3.pdf. Acesso em: 03 jan. 2026. , 2024
APA
Mauá, D. D., Cozman, F. G., & Garces, A. (2024). Probabilistic logic programming under the L-Stable semantics. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://ceur-ws.org/Vol-3835/paper3.pdf
NLM
Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2026 jan. 03 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf
Vancouver
Mauá DD, Cozman FG, Garces A. Probabilistic logic programming under the L-Stable semantics [Internet]. CEUR Workshop Proceedings. 2024 ; 3835 16-26.[citado 2026 jan. 03 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf
Artigo de periodico
Complexity and approximability of minimum path-collection exact covers (2023)
Ravelo, Santiago Valdés ; Fernandes, Cristina Gomes
Source: Theoretical Computer Science. Unidade: IME
Subjects: CIÊNCIA DA COMPUTAÇÃO, ALGORITMOS DE APROXIMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RAVELO, Santiago Valdés e FERNANDES, Cristina Gomes. Complexity and approximability of minimum path-collection exact covers. Theoretical Computer Science, v. 942, p. 21-32, 2023Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2022.11.022. Acesso em: 03 jan. 2026.
APA
Ravelo, S. V., & Fernandes, C. G. (2023). Complexity and approximability of minimum path-collection exact covers. Theoretical Computer Science, 942, 21-32. doi:10.1016/j.tcs.2022.11.022
NLM
Ravelo SV, Fernandes CG. Complexity and approximability of minimum path-collection exact covers [Internet]. Theoretical Computer Science. 2023 ; 942 21-32.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.tcs.2022.11.022
Vancouver
Ravelo SV, Fernandes CG. Complexity and approximability of minimum path-collection exact covers [Internet]. Theoretical Computer Science. 2023 ; 942 21-32.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.tcs.2022.11.022
Artigo de periodico
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, v. 125, p. 218-239, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2020.07.004. Acesso em: 03 jan. 2026.
APA
Cozman, F. G., & Mauá, D. D. (2020). The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference. International Journal of Approximate Reasoning, 125, 218-239. doi:10.1016/j.ijar.2020.07.004
NLM
Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Vancouver
Cozman FG, Mauá DD. The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference [Internet]. International Journal of Approximate Reasoning. 2020 ; 125 218-239.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Artigo de periodico
Complexity results for probabilistic answer set programming (2020)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidades: IME, EP
Assunto: COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. Complexity results for probabilistic answer set programming. International Journal of Approximate Reasoning, v. 118, p. 133-154, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2019.12.003. Acesso em: 03 jan. 2026.
APA
Mauá, D. D., & Cozman, F. G. (2020). Complexity results for probabilistic answer set programming. International Journal of Approximate Reasoning, 118, 133-154. doi:10.1016/j.ijar.2019.12.003
NLM
Mauá DD, Cozman FG. Complexity results for probabilistic answer set programming [Internet]. International Journal of Approximate Reasoning. 2020 ;118 133-154.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ijar.2019.12.003
Vancouver
Mauá DD, Cozman FG. Complexity results for probabilistic answer set programming [Internet]. International Journal of Approximate Reasoning. 2020 ;118 133-154.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ijar.2019.12.003
Dissertação (Mestrado)
Sunflowers theorems in computational complexity (2020)
Cavalar, Bruno Pasqualotto; Kohayakawa, Yoshiharu (Orientador)
Unidade: IME
Assunto: COMBINATÓRIA PROBABILÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAVALAR, Bruno Pasqualotto. Sunflowers theorems in computational complexity. 2020. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25112020-162107/. Acesso em: 03 jan. 2026.
APA
Cavalar, B. P. (2020). Sunflowers theorems in computational complexity (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25112020-162107/
NLM
Cavalar BP. Sunflowers theorems in computational complexity [Internet]. 2020 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25112020-162107/
Vancouver
Cavalar BP. Sunflowers theorems in computational complexity [Internet]. 2020 ;[citado 2026 jan. 03 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-25112020-162107/
Tese (Doutorado)
Graph colorings and digraph subdivisions (2017)
Moura, Phablo Fernando Soares ; Wakabayashi, Yoshiko (Orientador)
Unidade: IME
Subjects: TEORIA DOS GRAFOS, OTIMIZAÇÃO COMBINATÓRIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MOURA, Phablo Fernando Soares. Graph colorings and digraph subdivisions. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052017-100619/. Acesso em: 03 jan. 2026.
APA
Moura, P. F. S. (2017). Graph colorings and digraph subdivisions (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052017-100619/
NLM
Moura PFS. Graph colorings and digraph subdivisions [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052017-100619/
Vancouver
Moura PFS. Graph colorings and digraph subdivisions [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052017-100619/
Tese (Doutorado)
The k-hop connected dominating set problem: approximation algorithms and hardness results (2017)
Coelho, Rafael Santos; Wakabayashi, Yoshiko (Orientador)
Unidade: IME
Subjects: OTIMIZAÇÃO COMBINATÓRIA, ALGORITMOS, TEORIA DOS GRAFOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COELHO, Rafael Santos. The k-hop connected dominating set problem: approximation algorithms and hardness results. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27062017-101521/. Acesso em: 03 jan. 2026.
APA
Coelho, R. S. (2017). The k-hop connected dominating set problem: approximation algorithms and hardness results (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27062017-101521/
NLM
Coelho RS. The k-hop connected dominating set problem: approximation algorithms and hardness results [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27062017-101521/
Vancouver
Coelho RS. The k-hop connected dominating set problem: approximation algorithms and hardness results [Internet]. 2017 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27062017-101521/
Artigo de periodico
An incremental linear-time learning algorithm for the optimum-path forest classifier (2017)
Ponti, Moacir Antonelli ; Riva, Mateus
Source: Information Processing Letters. Unidade: ICMC
Subjects: APRENDIZADO COMPUTACIONAL, COMPUTAÇÃO GRÁFICA, RECONHECIMENTO DE PADRÕES, ALGORITMOS GRÁFICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PONTI, Moacir Antonelli e RIVA, Mateus. An incremental linear-time learning algorithm for the optimum-path forest classifier. Information Processing Letters, v. 126, p. 1-6, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.ipl.2017.05.004. Acesso em: 03 jan. 2026.
APA
Ponti, M. A., & Riva, M. (2017). An incremental linear-time learning algorithm for the optimum-path forest classifier. Information Processing Letters, 126, 1-6. doi:10.1016/j.ipl.2017.05.004
NLM
Ponti MA, Riva M. An incremental linear-time learning algorithm for the optimum-path forest classifier [Internet]. Information Processing Letters. 2017 ; 126 1-6.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ipl.2017.05.004
Vancouver
Ponti MA, Riva M. An incremental linear-time learning algorithm for the optimum-path forest classifier [Internet]. Information Processing Letters. 2017 ; 126 1-6.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1016/j.ipl.2017.05.004

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Funding Agencies