ReP USP - Resultado da busca

Tese (Doutorado)
Assessing the minimal dialectical quality in argumentation: a neuro symbolic approach integrating argument mining, quality assessment, and probabilistic reasoning (2025)
Rocha, Victor Hugo Nascimento ; Cozman, Fabio Gagliardi (Orientador)
Unidade: EP
Assuntos: PROCESSAMENTO DE LINGUAGEM NATURAL, PROGRAMAÇÃO LÓGICA, ARGUMENTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Victor Hugo Nascimento. Assessing the minimal dialectical quality in argumentation: a neuro symbolic approach integrating argument mining, quality assessment, and probabilistic reasoning. 2025. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2025. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php. Acesso em: 18 nov. 2025.
APA
Rocha, V. H. N. (2025). Assessing the minimal dialectical quality in argumentation: a neuro symbolic approach integrating argument mining, quality assessment, and probabilistic reasoning (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php
NLM
Rocha VHN. Assessing the minimal dialectical quality in argumentation: a neuro symbolic approach integrating argument mining, quality assessment, and probabilistic reasoning [Internet]. 2025 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php
Vancouver
Rocha VHN. Assessing the minimal dialectical quality in argumentation: a neuro symbolic approach integrating argument mining, quality assessment, and probabilistic reasoning [Internet]. 2025 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php
Trabalho de evento-anais periodico
Probabilistic logic programming under the L-Stable semantics (2024)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi ; Garces, Alexandro
Fonte: CEUR Workshop Proceedings. Nome do evento: International Workshop on Nonmonotonic Reasoning - NMR. Unidades: IME, EP
Assuntos: 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: 18 nov. 2025. , 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 2025 nov. 18 ] 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 2025 nov. 18 ] Available from: https://ceur-ws.org/Vol-3835/paper3.pdf
Trabalho de evento-anais periodico
Specifying credal sets with probabilistic answer set programming (2023)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Fonte: Proceedings of Machine Learning Research. Nome do evento: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf. Acesso em: 18 nov. 2025. , 2023
APA
Mauá, D. D., & Cozman, F. G. (2023). Specifying credal sets with probabilistic answer set programming. Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
NLM
Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 nov. 18 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
Vancouver
Mauá DD, Cozman FG. Specifying credal sets with probabilistic answer set programming [Internet]. Proceedings of Machine Learning Research. 2023 ; 215 321-332.[citado 2025 nov. 18 ] Available from: https://proceedings.mlr.press/v215/maua23a/maua23a.pdf
Artigo de periodico
The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (2020)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Fonte: International Journal of Approximate Reasoning. Unidades: EP, IME
Assuntos: 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: 18 nov. 2025.
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 2025 nov. 18 ] 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 2025 nov. 18 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Dissertação (Mestrado)
Learning probabilistic relational models: a novel approach (2018)
Mormille, Luiz Henrique Barbosa; Cozman, Fabio Gagliardi (Orientador)
Unidade: EP
Assuntos: PROGRAMAÇÃO LÓGICA, MODELOS PARA PROCESSOS ESTOCÁSTICOS, MINERAÇÃO DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORMILLE, Luiz Henrique Barbosa. Learning probabilistic relational models: a novel approach. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/. Acesso em: 18 nov. 2025.
APA
Mormille, L. H. B. (2018). Learning probabilistic relational models: a novel approach (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/
NLM
Mormille LHB. Learning probabilistic relational models: a novel approach [Internet]. 2018 ;[citado 2025 nov. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/
Vancouver
Mormille LHB. Learning probabilistic relational models: a novel approach [Internet]. 2018 ;[citado 2025 nov. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/
Artigo de periodico
On the semantics and complexity of probabilistic logic programs (2017)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Fonte: Journal of Artificial Intelligence Research. Unidades: EP, IME
Assuntos: PROGRAMAÇÃO LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. On the semantics and complexity of probabilistic logic programs. Journal of Artificial Intelligence Research, v. 60, p. 221-262, 2017Tradução . . Disponível em: https://doi.org/10.1613/jair.5482. Acesso em: 18 nov. 2025.
APA
Cozman, F. G., & Mauá, D. D. (2017). On the semantics and complexity of probabilistic logic programs. Journal of Artificial Intelligence Research, 60, 221-262. doi:10.1613/jair.5482
NLM
Cozman FG, Mauá DD. On the semantics and complexity of probabilistic logic programs [Internet]. Journal of Artificial Intelligence Research. 2017 ; 60 221-262.[citado 2025 nov. 18 ] Available from: https://doi.org/10.1613/jair.5482
Vancouver
Cozman FG, Mauá DD. On the semantics and complexity of probabilistic logic programs [Internet]. Journal of Artificial Intelligence Research. 2017 ; 60 221-262.[citado 2025 nov. 18 ] Available from: https://doi.org/10.1613/jair.5482
Trabalho de evento
Markov decision processes specified by probabilistic logic programming: representation and solution (2017)
Bueno, Thiago Pereira; Mauá, Denis Deratani ; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Fonte: Proceedings. Nome do evento: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EP
Assuntos: PROCESSOS DE MARKOV, PROGRAMAÇÃO LÓGICA, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO, Thiago Pereira et al. Markov decision processes specified by probabilistic logic programming: representation and solution. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/BRACIS.2016.068. Acesso em: 18 nov. 2025.
APA
Bueno, T. P., Mauá, D. D., Barros, L. N. de, & Cozman, F. G. (2017). Markov decision processes specified by probabilistic logic programming: representation and solution. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2016.068
NLM
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2025 nov. 18 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Vancouver
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Markov decision processes specified by probabilistic logic programming: representation and solution [Internet]. Proceedings. 2017 ;[citado 2025 nov. 18 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Trabalho de evento-anais periodico
Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming (2017)
Bueno, Thiago Pereira; Mauá, Denis Deratani ; Barros, Leliane Nunes de ; Cozman, Fabio Gagliardi
Fonte: PMLR: Proceedings of Machine Learning Research. Nome do evento: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP
Assuntos: PROCESSOS DE MARKOV, PROGRAMAÇÃO LÓGICA, MODELOS PARA PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO, Thiago Pereira et al. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming. PMLR: Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://proceedings.mlr.press/v62/bueno17a.html. Acesso em: 18 nov. 2025. , 2017
APA
Bueno, T. P., Mauá, D. D., Barros, L. N. de, & Cozman, F. G. (2017). Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming. PMLR: Proceedings of Machine Learning Research. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://proceedings.mlr.press/v62/bueno17a.html
NLM
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming [Internet]. PMLR: Proceedings of Machine Learning Research. 2017 ;( 62): 49-60.[citado 2025 nov. 18 ] Available from: http://proceedings.mlr.press/v62/bueno17a.html
Vancouver
Bueno TP, Mauá DD, Barros LN de, Cozman FG. Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming [Internet]. PMLR: Proceedings of Machine Learning Research. 2017 ;( 62): 49-60.[citado 2025 nov. 18 ] Available from: http://proceedings.mlr.press/v62/bueno17a.html
Trabalho de evento-anais periodico
The structure and complexity of credal semantics (2016)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Fonte: CEUR Workshop Proceedings. Nome do evento: International Workshop on Probabilistic Logic Programming- PLP. Unidades: EP, IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, ANÁLISE MULTIVARIADA, 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 structure and complexity of credal semantics. CEUR Workshop Proceedings. Aachen: CEUR Workshop Proceedings. Disponível em: http://ceur-ws.org/Vol-1661/paper-01.pdf. Acesso em: 18 nov. 2025. , 2016
APA
Cozman, F. G., & Mauá, D. D. (2016). The structure and complexity of credal semantics. CEUR Workshop Proceedings. Aachen: CEUR Workshop Proceedings. Recuperado de http://ceur-ws.org/Vol-1661/paper-01.pdf
NLM
Cozman FG, Mauá DD. The structure and complexity of credal semantics [Internet]. CEUR Workshop Proceedings. 2016 ; 1661 3-14.[citado 2025 nov. 18 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Vancouver
Cozman FG, Mauá DD. The structure and complexity of credal semantics [Internet]. CEUR Workshop Proceedings. 2016 ; 1661 3-14.[citado 2025 nov. 18 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Tese (Doutorado)
Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada (1996)
Prado, José Pacheco de Almeida; Abe, Jair Minoro (Orientador)
Unidade: EP
Assuntos: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRADO, José Pacheco de Almeida. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada. 1996. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1996. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php. Acesso em: 18 nov. 2025.
APA
Prado, J. P. de A. (1996). Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php
NLM
Prado JP de A. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada [Internet]. 1996 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php
Vancouver
Prado JP de A. Uma arquitetura para inteligência artificial distribuída baseada em lógica paraconsistente anotada [Internet]. 1996 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php
Dissertação (Mestrado)
Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência (1990)
Gomi, Edson Satoshi ; Massola, Antônio Marcos de Aguirra (Orientador)
Unidade: EP
Assuntos: PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOMI, Edson Satoshi. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência. 1990. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1990. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/. Acesso em: 18 nov. 2025.
APA
Gomi, E. S. (1990). Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/
NLM
Gomi ES. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência [Internet]. 1990 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/
Vancouver
Gomi ES. Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência [Internet]. 1990 ;[citado 2025 nov. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Agência de fomento