ReP USP - Resultado da busca

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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/
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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: https://doi.org/10.1109/BRACIS.2016.068
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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: https://doi.org/10.1613/jair.5482
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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: http://ceur-ws.org/Vol-1661/paper-01.pdf
Dissertação (Mestrado)
Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo (2013)
Kakoi, Adélia Aparecida Yuka; Moralles, Mauricio (Orientador)
Unidade: IPEN
Subjects: DETETORES, MONITORAMENTO, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KAKOI, Adélia Aparecida Yuka. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/. Acesso em: 23 abr. 2024.
APA
Kakoi, A. A. Y. (2013). Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/
NLM
Kakoi AAY. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo [Internet]. 2013 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/
Vancouver
Kakoi AAY. Análise da metodologia de calibração dos detectores de NaI(Tl) do Laboratório de Monitoração in vivo do IPEN pelo método de Monte de Carlo [Internet]. 2013 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/
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: 23 abr. 2024.
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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] 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: 23 abr. 2024.
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 2024 abr. 23 ] Available from: https://doi.org/10.1109/BRACIS.2013.33
Vancouver
Morais EM de, Finger M. Probabilistic answer set programming [Internet]. Proceeding. 2013 ;[citado 2024 abr. 23 ] 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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: https://repositorio.usp.br/directbitstream/540c0203-b9fd-49b8-9440-7daa9888eb02/1639346.pdf
Tese (Doutorado)
Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática (2007)
Specia, Lucia; Nunes, Maria das Graças Volpe (Orientador); Stevenson, Robert Mark (Orientador)
Unidade: ICMC
Subjects: TRADUÇÃO AUTOMÁTICA, PROGRAMAÇÃO LÓGICA, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SPECIA, Lucia. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática. 2007. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/. Acesso em: 23 abr. 2024.
APA
Specia, L. (2007). Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/
NLM
Specia L. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática [Internet]. 2007 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/
Vancouver
Specia L. Uma abordagem híbrida relacional para a desambiguação lexical de sentido na tradução automática [Internet]. 2007 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/
Trabalho de evento
Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (2006)
Minhoni, Danilo Carlos Rossetto; Obac Roda, Valentin
Conference titles: Southern Conference on Programmable Logic. Unidade: EESC
Subjects: ALGORITMOS PARA IMAGENS, TEMPO-REAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MINHONI, Danilo Carlos Rossetto e OBAC RODA, Valentin. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006, Anais.. Madrid: Universidad Autónoma de Madrid, 2006. . Acesso em: 23 abr. 2024.
APA
Minhoni, D. C. R., & Obac Roda, V. (2006). Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. In . Madrid: Universidad Autónoma de Madrid.
NLM
Minhoni DCR, Obac Roda V. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006 ;[citado 2024 abr. 23 ]
Vancouver
Minhoni DCR, Obac Roda V. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006 ;[citado 2024 abr. 23 ]
Monografia/livro
Lógica para computação (2006)
Silva, Flávio Soares Corrêa da ; Finger, Marcelo ; Melo, Ana Cristina Vieira de
Unidade: IME
Subjects: SEMÂNTICA DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da e FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 23 abr. 2024. , 2006
APA
Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning.
NLM
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 abr. 23 ]
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 abr. 23 ]

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies