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
Subjects: 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: 19 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. 19 ] 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. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php
Trabalho de evento
dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning (2024)
Geh, Renato Lui ; Gonçalves, Jonas; Silveira, Igor Cataneo ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning – KR. Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, SEMÂNTICA, APRENDIZADO COMPUTACIONAL, COMPUTAÇÃO EVOLUTIVA, REDES NEURAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEH, Renato Lui et al. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning. 2024, Anais.. California: IJCAI Organization, 2024. Disponível em: https://doi.org/10.24963/kr.2024/69. Acesso em: 19 nov. 2025.
APA
Geh, R. L., Gonçalves, J., Silveira, I. C., Mauá, D. D., & Cozman, F. G. (2024). dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning. In Proceedings. California: IJCAI Organization. doi:10.24963/kr.2024/69
NLM
Geh RL, Gonçalves J, Silveira IC, Mauá DD, Cozman FG. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning [Internet]. Proceedings. 2024 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.24963/kr.2024/69
Vancouver
Geh RL, Gonçalves J, Silveira IC, Mauá DD, Cozman FG. dPASP: a probabilistic logic programming environment for neurosymbolic learning and reasoning [Internet]. Proceedings. 2024 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.24963/kr.2024/69
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: 19 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. 19 ] 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. 19 ] 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
Source: Proceedings of Machine Learning Research. Conference titles: 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: 19 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. 19 ] 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. 19 ] 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
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: 19 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. 19 ] 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. 19 ] Available from: https://doi.org/10.1016/j.ijar.2020.07.004
Artigo de periodico
Speeding up parameter and rule learning for acyclic probabilistic logic programs (2019)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur Colombini ; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, v. 106, p. 32-50, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2018.12.012. Acesso em: 19 nov. 2025.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2019). Speeding up parameter and rule learning for acyclic probabilistic logic programs. International Journal of Approximate Reasoning, 106, 32-50. doi:10.1016/j.ijar.2018.12.012
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2025 nov. 19 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Speeding up parameter and rule learning for acyclic probabilistic logic programs [Internet]. International Journal of Approximate Reasoning. 2019 ; 106 32-50.[citado 2025 nov. 19 ] Available from: https://doi.org/10.1016/j.ijar.2018.12.012
Dissertação (Mestrado)
Learning probabilistic relational models: a novel approach (2018)
Mormille, Luiz Henrique Barbosa; Cozman, Fabio Gagliardi (Orientador)
Unidade: EP
Subjects: 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: 19 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. 19 ] 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. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/
Trabalho de evento
Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp (2018)
Bruel, Pedro; Goldman, Alfredo ; Chalamalasetti, Sai Rahul; Milojicic, Dejan
Source: Proceedings. Conference titles: International Conference on Reconfigurable Computing and FPGAs - ReConFig. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, HARDWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUEL, Pedro et al. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/RECONFIG.2017.8279778. Acesso em: 19 nov. 2025.
APA
Bruel, P., Goldman, A., Chalamalasetti, S. R., & Milojicic, D. (2018). Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp. In Proceedings. Piscataway: IEEE. doi:10.1109/RECONFIG.2017.8279778
NLM
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
Vancouver
Bruel P, Goldman A, Chalamalasetti SR, Milojicic D. Autotuning high-level synthesis for FPGAs using OpenTuner and LegUp [Internet]. Proceedings. 2018 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/RECONFIG.2017.8279778
Dissertação (Mestrado)
Learning acyclic probabilistic logic programs from data (2017)
Faria, Francisco Henrique Otte Vieira de ; Cozman, Fabio Gagliardi (Orientador)
Unidade: EP
Subjects: PROGRAMAÇÃO LÓGICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de. Learning acyclic probabilistic logic programs from data. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/. Acesso em: 19 nov. 2025.
APA
Faria, F. H. O. V. de. (2017). Learning acyclic probabilistic logic programs from data (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/
NLM
Faria FHOV de. Learning acyclic probabilistic logic programs from data [Internet]. 2017 ;[citado 2025 nov. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/
Vancouver
Faria FHOV de. Learning acyclic probabilistic logic programs from data [Internet]. 2017 ;[citado 2025 nov. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/
Artigo de periodico
On the semantics and complexity of probabilistic logic programs (2017)
Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: Journal of Artificial Intelligence Research. Unidades: EP, IME
Subjects: 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: 19 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. 19 ] 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. 19 ] 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
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EP
Subjects: 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: 19 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. 19 ] 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. 19 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
Trabalho de evento
Closed-form solutions in learning probabilistic logic programs by exact score maximization (2017)
Faria, Francisco Henrique Otte Vieira de ; Cozman, Fabio Gagliardi ; Mauá, Denis Deratani
Source: Proceedings. Conference titles: International Conference on Scalable Uncertainty Management - SUM. Unidades: EP, IME
Subjects: PROGRAMAÇÃO LÓGICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de e COZMAN, Fabio Gagliardi e MAUÁ, Denis Deratani. Closed-form solutions in learning probabilistic logic programs by exact score maximization. 2017, Anais.. Cham: Springer, 2017. Disponível em: https://doi.org/10.1007/978-3-319-67582-4_9. Acesso em: 19 nov. 2025.
APA
Faria, F. H. O. V. de, Cozman, F. G., & Mauá, D. D. (2017). Closed-form solutions in learning probabilistic logic programs by exact score maximization. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-67582-4_9
NLM
Faria FHOV de, Cozman FG, Mauá DD. Closed-form solutions in learning probabilistic logic programs by exact score maximization [Internet]. Proceedings. 2017 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-319-67582-4_9
Vancouver
Faria FHOV de, Cozman FG, Mauá DD. Closed-form solutions in learning probabilistic logic programs by exact score maximization [Internet]. Proceedings. 2017 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-319-67582-4_9
Trabalho de evento
Parameter learning in ProbLog with probabilistic rules (2017)
Faria, Francisco Henrique Otte Vieira de ; Gusmão, Arthur C; De Bona, Glauber ; Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Symposium on Knowledge Discovery, Mining and Learning - KDMiLe. Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Francisco Henrique Otte Vieira de et al. Parameter learning in ProbLog with probabilistic rules. 2017, Anais.. Porto Alegre: SBC, 2017. Disponível em: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf. Acesso em: 19 nov. 2025.
APA
Faria, F. H. O. V. de, Gusmão, A. C., De Bona, G., Mauá, D. D., & Cozman, F. G. (2017). Parameter learning in ProbLog with probabilistic rules. In Proceedings. Porto Alegre: SBC. Recuperado de http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
NLM
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2025 nov. 19 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
Vancouver
Faria FHOV de, Gusmão AC, De Bona G, Mauá DD, Cozman FG. Parameter learning in ProbLog with probabilistic rules [Internet]. Proceedings. 2017 ;[citado 2025 nov. 19 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.pdf
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
Source: PMLR: Proceedings of Machine Learning Research. Conference titles: International Symposium on Imprecise Probability: Theories and Applications - ISIPTA. Unidades: IME, EP
Subjects: 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: 19 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. 19 ] 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. 19 ] 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
Source: CEUR Workshop Proceedings. Conference titles: International Workshop on Probabilistic Logic Programming- PLP. Unidades: EP, IME
Subjects: 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: 19 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. 19 ] 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. 19 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Artigo de periodico
Automatic learning of temporal relations under the closed world assumption (2013)
Nicoletti, M. C.; Lisboa, Flávia Oliveira Santos de Sá; Hruschka Junior, Estevam Rafael
Source: Fundamenta Informaticae. Unidade: IFSC
Subjects: PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NICOLETTI, M. C. e LISBOA, Flávia Oliveira Santos de Sá e HRUSCHKA JUNIOR, Estevam Rafael. Automatic learning of temporal relations under the closed world assumption. Fundamenta Informaticae, v. 124, n. 1/2, p. 133-151, 2013Tradução . . Disponível em: https://doi.org/10.3233/FI-2013-828. Acesso em: 19 nov. 2025.
APA
Nicoletti, M. C., Lisboa, F. O. S. de S., & Hruschka Junior, E. R. (2013). Automatic learning of temporal relations under the closed world assumption. Fundamenta Informaticae, 124( 1/2), 133-151. doi:10.3233/FI-2013-828
NLM
Nicoletti MC, Lisboa FOS de S, Hruschka Junior ER. Automatic learning of temporal relations under the closed world assumption [Internet]. Fundamenta Informaticae. 2013 ; 124( 1/2): 133-151.[citado 2025 nov. 19 ] Available from: https://doi.org/10.3233/FI-2013-828
Vancouver
Nicoletti MC, Lisboa FOS de S, Hruschka Junior ER. Automatic learning of temporal relations under the closed world assumption [Internet]. Fundamenta Informaticae. 2013 ; 124( 1/2): 133-151.[citado 2025 nov. 19 ] Available from: https://doi.org/10.3233/FI-2013-828
Trabalho de evento-resumo periodico
Inductive logic programming approach analysis in bipolar disorder – pilot study (2013)
Dias, R. da Silva; Salvini, R.; Madureira, D. Quintela Mendes; Nery, F. Goncalves; Scippa, A. M.; Moreno, R. Alberto; Kapczinski, F.; Lafer, B.
Source: Bipolar disorders. Conference titles: Abstracts of the International Conference on Bipolar Disorder. Unidade: FM
Subjects: BIOESTATÍSTICA, TRANSTORNOS BIPOLAR, PROGRAMAÇÃO LÓGICA, RESUMOS (EVENTOS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, R. da Silva et al. Inductive logic programming approach analysis in bipolar disorder – pilot study. Bipolar disorders. Copenhagen: Faculdade de Medicina, Universidade de São Paulo. Disponível em: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf. Acesso em: 19 nov. 2025. , 2013
APA
Dias, R. da S., Salvini, R., Madureira, D. Q. M., Nery, F. G., Scippa, A. M., Moreno, R. A., et al. (2013). Inductive logic programming approach analysis in bipolar disorder – pilot study. Bipolar disorders. Copenhagen: Faculdade de Medicina, Universidade de São Paulo. doi:10.1111/bdi.12083
NLM
Dias R da S, Salvini R, Madureira DQM, Nery FG, Scippa AM, Moreno RA, Kapczinski F, Lafer B. Inductive logic programming approach analysis in bipolar disorder – pilot study [Internet]. Bipolar disorders. 2013 ; 15 69.[citado 2025 nov. 19 ] Available from: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf
Vancouver
Dias R da S, Salvini R, Madureira DQM, Nery FG, Scippa AM, Moreno RA, Kapczinski F, Lafer B. Inductive logic programming approach analysis in bipolar disorder – pilot study [Internet]. Bipolar disorders. 2013 ; 15 69.[citado 2025 nov. 19 ] Available from: http://onlinelibrary.wiley.com/doi/10.1111/bdi.12083/pdf
Trabalho de evento
Probabilistic answer set programming (2013)
Morais, Eduardo Menezes de; Finger, Marcelo
Source: Proceeding. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAIS, Eduardo Menezes de e FINGER, Marcelo. Probabilistic answer set programming. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.33. Acesso em: 19 nov. 2025.
APA
Morais, E. M. de, & Finger, M. (2013). Probabilistic answer set programming. In Proceeding. Piscataway: IEEE. doi:10.1109/BRACIS.2013.33
NLM
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Relatorio tecnico
Formalizing planning algorithms for temporally extended goals (2007)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Unidade: IME
Assunto: PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Formalizing planning algorithms for temporally extended goals. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf. Acesso em: 19 nov. 2025. , 2007
APA
Pereira, S. do L., & Barros, L. N. de. (2007). Formalizing planning algorithms for temporally extended goals. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
NLM
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Vancouver
Pereira S do L, Barros LN de. Formalizing planning algorithms for temporally extended goals [Internet]. 2007 ;[citado 2025 nov. 19 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 19 nov. 2025.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2025 nov. 19 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Non normalized affiliation