ReP USP - Resultado da busca

Tese (Doutorado)
Paraconsistentização de lógicas (2019)
Dias, Diogo Henrique Bispo; Souza, Edelcio Gonçalves de (Orientador)
Unidade: FFLCH
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Diogo Henrique Bispo. Paraconsistentização de lógicas. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/. Acesso em: 08 out. 2024.
APA
Dias, D. H. B. (2019). Paraconsistentização de lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
NLM
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
Vancouver
Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/
Dissertação (Mestrado)
Lógica e ontologia: as raízes da contingência em Leibniz (2019)
Faria, Chaianne Maria da Silva; Lacerda, Tessa Moura (Orientador)
Unidade: FFLCH
Subjects: CONTINGÊNCIA, ONTOLOGIA, LÓGICA, VONTADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FARIA, Chaianne Maria da Silva. Lógica e ontologia: as raízes da contingência em Leibniz. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-30072019-120439/. Acesso em: 08 out. 2024.
APA
Faria, C. M. da S. (2019). Lógica e ontologia: as raízes da contingência em Leibniz (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-30072019-120439/
NLM
Faria CM da S. Lógica e ontologia: as raízes da contingência em Leibniz [Internet]. 2019 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-30072019-120439/
Vancouver
Faria CM da S. Lógica e ontologia: as raízes da contingência em Leibniz [Internet]. 2019 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-30072019-120439/
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 08 out. 2024.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Trabalho de evento-resumo
Sparse models: a tractable fragment for SAT, MAXSAT and PSAT (2019)
Finger, Marcelo
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 08 out. 2024.
APA
Finger, M. (2019). Sparse models: a tractable fragment for SAT, MAXSAT and PSAT. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Finger M. Sparse models: a tractable fragment for SAT, MAXSAT and PSAT [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Logics in artificial intelligence (2019)
Wassermann, Renata
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Logics in artificial intelligence. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 08 out. 2024.
APA
Wassermann, R. (2019). Logics in artificial intelligence. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Wassermann R. Logics in artificial intelligence [Internet]. Book of Abstracts. 2019 ;[citado 2024 out. 08 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Parte de monografia/livro
Biblioteconomia e lógica: apontamentos sobre argumentos e classificações (2019)
Francelin, Marivalde Moacir ; Lima, Vânia Mara Alves
Source: Tópicos para o ensino de biblioteconomia: volume II. Unidade: ECA
Subjects: REPRESENTAÇÃO DESCRITIVA, CLASSIFICAÇÃO, CONHECIMENTO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCELIN, Marivalde Moacir e LIMA, Vânia Mara Alves. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações. Tópicos para o ensino de biblioteconomia: volume II. Tradução . São Paulo: ECA-USP, 2019. . Disponível em: https://doi.org/10.11606/9788572051996. Acesso em: 08 out. 2024.
APA
Francelin, M. M., & Lima, V. M. A. (2019). Biblioteconomia e lógica: apontamentos sobre argumentos e classificações. In Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP. doi:10.11606/9788572051996
NLM
Francelin MM, Lima VMA. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações [Internet]. In: Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP; 2019. [citado 2024 out. 08 ] Available from: https://doi.org/10.11606/9788572051996
Vancouver
Francelin MM, Lima VMA. Biblioteconomia e lógica: apontamentos sobre argumentos e classificações [Internet]. In: Tópicos para o ensino de biblioteconomia: volume II. São Paulo: ECA-USP; 2019. [citado 2024 out. 08 ] Available from: https://doi.org/10.11606/9788572051996
Artigo de periodico
Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade (2019)
Perez, Clotilde ; Trindade, Eneus
Source: Matrizes. Unidade: ECA
Subjects: CONSUMO, SEMIÓTICA, COMUNICAÇÃO, ESTÉTICA, ÉTICA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREZ, Clotilde e TRINDADE, Eneus. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, v. 13, n. 3, p. 109-126, 2019Tradução . . Disponível em: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126. Acesso em: 08 out. 2024.
APA
Perez, C., & Trindade, E. (2019). Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade. Matrizes, 13( 3), 109-126. doi:10.11606/issn.1982-8160.v13i3p109-126
NLM
Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 out. 08 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126
Vancouver
Perez C, Trindade E. Três dimensões para compreender as mediações comunicacionais do consumo na contemporaneidade [Internet]. Matrizes. 2019 ; 13( 3): 109-126.[citado 2024 out. 08 ] Available from: https://doi.org/10.11606/issn.1982-8160.v13i3p109-126
Artigo de periodico
Two AGM-style characterizations of model repair (2019)
Oliveira, Paulo de Tarso Guerra ; Wassermann, Renata
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: TEORIA DA REPRESENTAÇÃO, LÓGICA, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra e WASSERMANN, Renata. Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, n. 87, p. 233–257, 2019Tradução . . Disponível em: https://doi.org/10.1007/s10472-019-09656-4. Acesso em: 08 out. 2024.
APA
Oliveira, P. de T. G., & Wassermann, R. (2019). Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence, ( 87), 233–257. doi:10.1007/s10472-019-09656-4
NLM
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/s10472-019-09656-4
Vancouver
Oliveira P de TG, Wassermann R. Two AGM-style characterizations of model repair [Internet]. Annals of Mathematics and Artificial Intelligence. 2019 ;( 87): 233–257.[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/s10472-019-09656-4

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Source title