ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Regional, lattice and logical representations of neural networks (2025)
Preto, Sandro ; Finger, Marcelo
Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: International Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME
Subjects: REDES NEURAIS, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e FINGER, Marcelo. Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf. Acesso em: 27 nov. 2025. , 2025
APA
Preto, S., & Finger, M. (2025). Regional, lattice and logical representations of neural networks. Electronic Proceedings in Theoretical Computer Science. Sydney: Open Publishing Association. doi:10.4204/EPTCS.421.4
NLM
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Vancouver
Preto S, Finger M. Regional, lattice and logical representations of neural networks [Internet]. Electronic Proceedings in Theoretical Computer Science. 2025 ; 421 64-79.[citado 2025 nov. 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/Published/LSFA2024/Proceedings.pdf
Monografia/livro-ed/org
Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 (2025)
Antunes, Henrique; Fajardo, Rogério Augusto dos Santos (Editor)
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, PESQUISA INTERDISCIPLINAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTUNES, Henrique. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025. , 2025
APA
Antunes, H. (2025). Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Model theory of sheaves of metric spaces of analytic functions (2025)
Bianconi, Ricardo
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DOS MODELOS, FEIXES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e PETROVICH, Alejandro. A note on lattices with a symmetric difference like operation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 25-26. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Miraglia Neto, F., & Petrovich, A. (2025). A note on lattices with a symmetric difference like operation. In Book of abstracts (p. 25-26). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Teoria de Ramsey: um breve retorno à lógica formal através dos grafos (2025)
Reis, Pedro Lucas Santos dos
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DE RAMSEY, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
REIS, Pedro Lucas Santos dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 307. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Reis, P. L. S. dos. (2025). Teoria de Ramsey: um breve retorno à lógica formal através dos grafos. In Book of abstracts (p. 307). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Reis PLS dos. Teoria de Ramsey: um breve retorno à lógica formal através dos grafos [Internet]. Book of abstracts. 2025 ; 307.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
The e-value and the full bayesian significance test: logical properties and philosophical consequences (2025)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança ; Lauretto, Marcelo de Souza ; Esteves, Luís Gustavo ; Izbicki, Rafael ; Stern, Rafael Bassi ; Diniz, Marcio A. ; Borges, Wagner de Souza
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Subjects: INFERÊNCIA BAYESIANA, TESTES DE HIPÓTESES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael et al. The e-value and the full bayesian significance test: logical properties and philosophical consequences. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 70-71. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Stern, J. M., Pereira, C. A. de B., Lauretto, M. de S., Esteves, L. G., Izbicki, R., Stern, R. B., et al. (2025). The e-value and the full bayesian significance test: logical properties and philosophical consequences. In Book of abstracts (p. 70-71). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico-carta/editorial
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface (2025)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Source: Journal of Logic and Computation. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC 2021. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. Disponível em: https://academic.oup.com/logcom/article/35/6/exae063/7766080. Acesso em: 27 nov. 2025. , 2025
APA
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. (2025). 27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface. Journal of Logic and Computation. Oxford: Oxford University Press. doi:10.1093/logcom/exae063
NLM
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 nov. 27 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Vancouver
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021: Preface [Internet]. Journal of Logic and Computation. 2025 ; 35( 6): 1-2.[citado 2025 nov. 27 ] Available from: https://academic.oup.com/logcom/article/35/6/exae063/7766080
Trabalho de evento-resumo
Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge (2025)
Stern, Julio Michael
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: INFERÊNCIA ESTATÍSTICA, LÓGICA, ANALOGIA, HOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 179-180. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Stern, J. M. (2025). Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. In Book of abstracts (p. 179-180). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Conectando revisão de crenças e reparo de ontologias (2025)
Souza, Davy; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Davy e WASSERMANN, Renata. Conectando revisão de crenças e reparo de ontologias. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 115-116. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Souza, D., & Wassermann, R. (2025). Conectando revisão de crenças e reparo de ontologias. In Book of abstracts (p. 115-116). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Subjects: LÓGICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade. Categories of commutative semicartesian quantales valued sets. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/. Acesso em: 27 nov. 2025.
APA
Mendes, C. de A. (2024). Categories of commutative semicartesian quantales valued sets (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
NLM
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Vancouver
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Trabalho de evento
Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Trabalho de evento
Benchmarking Łukasiewicz logic solvers with properties of neural networks (2023)
Preto, Sandro ; Manyà, Felip ; Finger, Marcelo
Source: Proceedings. Conference titles: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Subjects: REDES NEURAIS, PROGRAMAÇÃO LINEAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Benchmarking Łukasiewicz logic solvers with properties of neural networks. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00039. Acesso em: 27 nov. 2025.
APA
Preto, S., Manyà, F., & Finger, M. (2023). Benchmarking Łukasiewicz logic solvers with properties of neural networks. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00039
NLM
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Vancouver
Preto S, Manyà F, Finger M. Benchmarking Łukasiewicz logic solvers with properties of neural networks [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00039
Trabalho de evento
Belief contraction in non-classical logics as hyperintensional belief change (2021)
Souza, Marlo ; Wassermann, Renata
Source: Proceedings. Conference titles: International Conference on Principles of Knowledge Representation and Reasoning - KR. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Marlo e WASSERMANN, Renata. Belief contraction in non-classical logics as hyperintensional belief change. 2021, Anais.. Vienna: IJCAI, 2021. Disponível em: https://doi.org/10.24963/kr.2021/56. Acesso em: 27 nov. 2025.
APA
Souza, M., & Wassermann, R. (2021). Belief contraction in non-classical logics as hyperintensional belief change. In Proceedings. Vienna: IJCAI. doi:10.24963/kr.2021/56
NLM
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.24963/kr.2021/56
Vancouver
Souza M, Wassermann R. Belief contraction in non-classical logics as hyperintensional belief change [Internet]. Proceedings. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.24963/kr.2021/56
Monografia/livro-ed/org
Logic, language, information, and computation (2021)
Silva, Alexandra (Editor); Wassermann, Renata (Editor) ; Queiroz, Ruy de (Editor)
Conference titles: International Workshop on Logic, Language, Information, and Computation - WoLLIC. Unidade: IME
Subjects: LÓGICA, LINGUAGEM, CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Logic, language, information, and computation. . Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-030-88853-4. Acesso em: 27 nov. 2025. , 2021
APA
Logic, language, information, and computation. (2021). Logic, language, information, and computation. Cham: Springer. doi:10.1007/978-3-030-88853-4
NLM
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Vancouver
Logic, language, information, and computation [Internet]. 2021 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-030-88853-4
Trabalho de evento-anais periodico
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 27 nov. 2025. , 2020
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] 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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] 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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10472-019-09656-4

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

Countries of institutions of collaboration