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: 13 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. 13 ] 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. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-094115/pt-br.php
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: 13 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. 13 ] 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. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-12122018-091504/
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: 13 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. 13 ] 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. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-27022018-090821/
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: 13 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. 13 ] 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. 13 ] Available from: http://www.facom.ufu.br/~kdmile/proceedings/anais-kdmile-2017.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: 13 nov. 2025.
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 2025 nov. 13 ] 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 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/85/85131/tde-10022014-105712/
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: 13 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. 13 ] 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. 13 ] 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: 13 nov. 2025.
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 2025 nov. 13 ] 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 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-05122007-205308/
Artigo de periodico
Robótica cognitiva: programação baseada em lógica para controle de robôs (2007)
Trevizan, Felipe Werndl; Barros, Leliane Nunes de
Source: Controle & Automação. Unidade: IME
Subjects: LINGUAGEM DE PROGRAMAÇÃO, PROGRAMAÇÃO LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TREVIZAN, Felipe Werndl e BARROS, Leliane Nunes de. Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, v. 18, n. 2, p. 187-198, 2007Tradução . . Disponível em: https://doi.org/10.1590/S0103-17592007000200005. Acesso em: 13 nov. 2025.
APA
Trevizan, F. W., & Barros, L. N. de. (2007). Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, 18( 2), 187-198. doi:10.1590/S0103-17592007000200005
NLM
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 13 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
Vancouver
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2025 nov. 13 ] Available from: https://doi.org/10.1590/S0103-17592007000200005
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: 13 nov. 2025. , 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 2025 nov. 13 ]
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2025 nov. 13 ]
Dissertação (Mestrado)
Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (2006)
Minhoni, Danilo Carlos Rossetto; Roda, Valentin Obac (Orientador)
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. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/. Acesso em: 13 nov. 2025.
APA
Minhoni, D. C. R. (2006). Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/
NLM
Minhoni DCR. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa [Internet]. 2006 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/
Vancouver
Minhoni DCR. Detecção de movimento de objetos em tempo real utilizando dispositivos de lógica programável complexa [Internet]. 2006 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18133/tde-30112006-150543/
Dissertação (Mestrado)
Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional (2004)
Ferro, Mariza; Monard, Maria Carolina (Orientador)
Unidade: ICMC
Subjects: APRENDIZADO COMPUTACIONAL, PROGRAMAÇÃO LÓGICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERRO, Mariza. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/. Acesso em: 13 nov. 2025.
APA
Ferro, M. (2004). Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/
NLM
Ferro M. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional [Internet]. 2004 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/
Vancouver
Ferro M. Aquisição de conhecimento de conjuntos de exemplos no formato atributo valor utilizando aprendizado de máquina relacional [Internet]. 2004 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16112004-095938/
Dissertação (Mestrado)
Aplicação de técnicas de data mining em logs de servidores web (2003)
Chiara, Ramon; Monard, Maria Carolina (Orientador)
Unidade: ICMC
Subjects: INTELIGÊNCIA ARTIFICIAL, MINERAÇÃO DE DADOS, PROGRAMAÇÃO LÓGICA, WORLD WIDE WEB
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHIARA, Ramon. Aplicação de técnicas de data mining em logs de servidores web. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2003. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/. Acesso em: 13 nov. 2025.
APA
Chiara, R. (2003). Aplicação de técnicas de data mining em logs de servidores web (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/
NLM
Chiara R. Aplicação de técnicas de data mining em logs de servidores web [Internet]. 2003 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/
Vancouver
Chiara R. Aplicação de técnicas de data mining em logs de servidores web [Internet]. 2003 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012004-093205/
Dissertação (Mestrado)
Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera (2002)
Teixeira, Marco Antonio; Marques, Eduardo (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO LÓGICA, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, SISTEMAS OPERACIONAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TEIXEIRA, Marco Antonio. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2002. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/. Acesso em: 13 nov. 2025.
APA
Teixeira, M. A. (2002). Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/
NLM
Teixeira MA. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera [Internet]. 2002 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/
Vancouver
Teixeira MA. Técnicas de reconfigurabilidade dos FPGAs da família APEX 20K - Altera [Internet]. 2002 ;[citado 2025 nov. 13 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11092002-164901/
Relatorio tecnico
Towards a logic of perishable propositions (2001)
Silva, Flávio Soares Corrêa da
Unidade: IME
Assunto: 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. Towards a logic of perishable propositions. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf. Acesso em: 13 nov. 2025. , 2001
APA
Silva, F. S. C. da. (2001). Towards a logic of perishable propositions. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
NLM
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 13 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.pdf
Vancouver
Silva FSC da. Towards a logic of perishable propositions [Internet]. 2001 ;[citado 2025 nov. 13 ] Available from: https://repositorio.usp.br/directbitstream/9031742e-99ea-4d8d-b01f-09cee8968a57/1217165.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
Subjects: 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: 13 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. 13 ] 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. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-19112024-145843/pt-br.php
Relatorio tecnico
Automated reasoning with uncertainties (1993)
Silva, Flávio Soares Corrêa da
Unidade: IME
Subjects: PROGRAMAÇÃO LÓGICA, SISTEMAS BASEADOS EM CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Flávio Soares Corrêa da. Automated reasoning with uncertainties. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf. Acesso em: 13 nov. 2025. , 1993
APA
Silva, F. S. C. da. (1993). Automated reasoning with uncertainties. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
NLM
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 13 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
Vancouver
Silva FSC da. Automated reasoning with uncertainties [Internet]. 1993 ;[citado 2025 nov. 13 ] Available from: https://repositorio.usp.br/directbitstream/9a8f3eed-8716-421b-8b69-5b662e9d4c2a/848712.pdf
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
Subjects: 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: 13 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. 13 ] 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. 13 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21112017-073819/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Área de concentração