ReP USP - Resultado da busca

Artigo de periodico
An improved argument for superconditionalization (2023)
Staffel, Julia; De Bona, Glauber
Source: Erkenntnis: an international journal of scientific philosophy. Unidade: EP
Subjects: APRENDIZAGEM, LÓGICA, EPISTEMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STAFFEL, Julia e DE BONA, Glauber. An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy, 2023Tradução . . Disponível em: https://doi.org/10.1007/s10670-023-00676-5. Acesso em: 27 nov. 2025.
APA
Staffel, J., & De Bona, G. (2023). An improved argument for superconditionalization. Erkenntnis: an international journal of scientific philosophy. doi:10.1007/s10670-023-00676-5
NLM
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Vancouver
Staffel J, De Bona G. An improved argument for superconditionalization [Internet]. Erkenntnis: an international journal of scientific philosophy. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10670-023-00676-5
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 27 nov. 2025.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2025 nov. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2025 nov. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Artigo de periodico
Link prediction using a probabilistic description logic (2013)
Luna, José Eduardo Ochoa; Revoredo, Kate; Cozman, Fabio Gagliardi
Source: Journal of the Brazilian Computer Society. Unidade: EP
Subjects: PROBABILIDADE, LÓGICA, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LUNA, José Eduardo Ochoa e REVOREDO, Kate e COZMAN, Fabio Gagliardi. Link prediction using a probabilistic description logic. Journal of the Brazilian Computer Society, v. 19, p. 397-409, 2013Tradução . . Disponível em: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1. Acesso em: 27 nov. 2025.
APA
Luna, J. E. O., Revoredo, K., & Cozman, F. G. (2013). Link prediction using a probabilistic description logic. Journal of the Brazilian Computer Society, 19, 397-409. doi:10.1007/s13173-013-0108-8
NLM
Luna JEO, Revoredo K, Cozman FG. Link prediction using a probabilistic description logic [Internet]. Journal of the Brazilian Computer Society. 2013 ; 19 397-409.[citado 2025 nov. 27 ] Available from: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1
Vancouver
Luna JEO, Revoredo K, Cozman FG. Link prediction using a probabilistic description logic [Internet]. Journal of the Brazilian Computer Society. 2013 ; 19 397-409.[citado 2025 nov. 27 ] Available from: http://link.springer.com/article/10.1007/s13173-013-0108-8#page-1
Artigo de periodico
Reasoning about shadows in a mobile robot environment (2013)
Pereira, Valquiria Fenelon; Santos, Paulo Eduardo; Dee, Hannah Mary ; Cozman, Fabio Gagliardi
Source: Applied Intelligence. Unidade: EP
Subjects: LÓGICA, ROBÔS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Valquiria Fenelon et al. Reasoning about shadows in a mobile robot environment. Applied Intelligence, v. 38, n. 4, p. 553-565, 2013Tradução . . Disponível em: https://doi.org/10.1007/s10489-012-0385-5. Acesso em: 27 nov. 2025.
APA
Pereira, V. F., Santos, P. E., Dee, H. M., & Cozman, F. G. (2013). Reasoning about shadows in a mobile robot environment. Applied Intelligence, 38( 4), 553-565. doi:10.1007/s10489-012-0385-5
NLM
Pereira VF, Santos PE, Dee HM, Cozman FG. Reasoning about shadows in a mobile robot environment [Internet]. Applied Intelligence. 2013 ; 38( 4): 553-565.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10489-012-0385-5
Vancouver
Pereira VF, Santos PE, Dee HM, Cozman FG. Reasoning about shadows in a mobile robot environment [Internet]. Applied Intelligence. 2013 ; 38( 4): 553-565.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s10489-012-0385-5
Trabalho de evento
Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística (2012)
Takiyama, Felipe Iwao; Cozman, Fabio Gagliardi
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: EP
Subjects: INFERÊNCIA BAYESIANA, LÓGICA, ALGORITMOS PARA IMAGENS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TAKIYAMA, Felipe Iwao e COZMAN, Fabio Gagliardi. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística. 2012, Anais.. Porto Alegre: SBC, 2012. Disponível em: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf. Acesso em: 27 nov. 2025.
APA
Takiyama, F. I., & Cozman, F. G. (2012). Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística. In Proceedings. Porto Alegre: SBC. Recuperado de http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
NLM
Takiyama FI, Cozman FG. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
Vancouver
Takiyama FI, Cozman FG. Algoritmo de eliminação de variáveis em primeira ordem aplicado a uma lógica de descrição probabilística [Internet]. Proceedings. 2012 ;[citado 2025 nov. 27 ] Available from: http://sites.poli.usp.br/p/fabio.cozman/Publications/Article/gurzoni-cozman-enia2012F.pdf
Trabalho de evento
A refuted conjecture on probabilistic satisfiability (2010)
Finger, Marcelo ; De Bona, Glauber
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidades: IME, EP
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 DE BONA, Glauber. A refuted conjecture on probabilistic satisfiability. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-16138-4_30. Acesso em: 27 nov. 2025.
APA
Finger, M., & De Bona, G. (2010). A refuted conjecture on probabilistic satisfiability. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-16138-4_30
NLM
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Vancouver
Finger M, De Bona G. A refuted conjecture on probabilistic satisfiability [Internet]. Proceedings. 2010 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-16138-4_30
Artigo de periodico
Probabilistic logic with independence (2008)
Cozman, Fabio Gagliardi ; Campos, Cassio Polpo de; Rocha, José Carlos Ferreira da
Source: International Journal of Approximate Reasoning. Unidade: EP
Subjects: LÓGICA, REDES NEURAIS, TEORIA DOS GRAFOS, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi e CAMPOS, Cassio Polpo de e ROCHA, José Carlos Ferreira da. Probabilistic logic with independence. International Journal of Approximate Reasoning, v. 49, n. 1, p. 03 -17, 2008Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2007.08.002. Acesso em: 27 nov. 2025.
APA
Cozman, F. G., Campos, C. P. de, & Rocha, J. C. F. da. (2008). Probabilistic logic with independence. International Journal of Approximate Reasoning, 49( 1), 03 -17. doi:10.1016/j.ijar.2007.08.002
NLM
Cozman FG, Campos CP de, Rocha JCF da. Probabilistic logic with independence [Internet]. International Journal of Approximate Reasoning. 2008 ; 49( 1): 03 -17.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.ijar.2007.08.002
Vancouver
Cozman FG, Campos CP de, Rocha JCF da. Probabilistic logic with independence [Internet]. International Journal of Approximate Reasoning. 2008 ; 49( 1): 03 -17.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.ijar.2007.08.002
Trabalho de evento
Using time petri nets for modeling and verification of timed constrained workflow systems (2007)
Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: REDES DE PETRI (MODELAGEM), CONTROLE DE PROCESSOS, GESTÃO POR PROCESSOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 27 nov. 2025.
APA
Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
NLM
Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
Vancouver
Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
Trabalho de evento
Raciocínio probabilístico em sistemas embarcados (2001)
Ide, Jaime Shinsuke; Cozman, Fabio Gagliardi
Source: Anais. Conference titles: Congresso da Sociedade Brasileira de Computação:as tecnologias da informação e a questão social. Unidade: EP
Subjects: LÓGICA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IDE, Jaime Shinsuke e COZMAN, Fabio Gagliardi. Raciocínio probabilístico em sistemas embarcados. 2001, Anais.. Fortaleza: SBC, 2001. Disponível em: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf. Acesso em: 27 nov. 2025.
APA
Ide, J. S., & Cozman, F. G. (2001). Raciocínio probabilístico em sistemas embarcados. In Anais. Fortaleza: SBC. Recuperado de https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf
NLM
Ide JS, Cozman FG. Raciocínio probabilístico em sistemas embarcados [Internet]. Anais. 2001 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf
Vancouver
Ide JS, Cozman FG. Raciocínio probabilístico em sistemas embarcados [Internet]. Anais. 2001 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/fc3e307a-527a-4397-8423-790e7e040af1/Cozman-2001-raciocinio%20probabilistico%20em%20sistemas%20embarcados-SBC.pdf
Artigo de periodico
Computing posterior upper expectations (2000)
Cozman, Fabio Gagliardi
Source: International Journal of Approximate Reasoning. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, PROBABILIDADE E ESTATISTICA, LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi. Computing posterior upper expectations. International Journal of Approximate Reasoning, v. 24, n. 2-3, p. 191-205, 2000Tradução . . Disponível em: https://doi.org/10.1016/s0888-613x(00)00034-7. Acesso em: 27 nov. 2025.
APA
Cozman, F. G. (2000). Computing posterior upper expectations. International Journal of Approximate Reasoning, 24( 2-3), 191-205. doi:10.1016/s0888-613x(00)00034-7
NLM
Cozman FG. Computing posterior upper expectations [Internet]. International Journal of Approximate Reasoning. 2000 ; 24( 2-3): 191-205.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/s0888-613x(00)00034-7
Vancouver
Cozman FG. Computing posterior upper expectations [Internet]. International Journal of Approximate Reasoning. 2000 ; 24( 2-3): 191-205.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/s0888-613x(00)00034-7
Artigo de periodico
Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions (1999)
Cozman, Fabio Gagliardi
Source: Journal of Computational and Graphical Statistics. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions. Journal of Computational and Graphical Statistics, v. 8, n. 4, p. 824-838, 1999Tradução . . Disponível em: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf. Acesso em: 27 nov. 2025.
APA
Cozman, F. G. (1999). Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions. Journal of Computational and Graphical Statistics, 8( 4), 824-838. Recuperado de https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
NLM
Cozman FG. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions [Internet]. Journal of Computational and Graphical Statistics. 1999 ; 8( 4): 824-838.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
Vancouver
Cozman FG. Calculation of posterior bounds given convex sets or prior probability measures and likelihood functions [Internet]. Journal of Computational and Graphical Statistics. 1999 ; 8( 4): 824-838.[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/a86e0dfb-f368-4928-b0af-432144597cd4/Cozman-1999-calculation%20of%20posterior%20bounds%20given%20convex.pdf
Trabalho de evento
Computing posterior upper expectations (1999)
Cozman, Fabio Gagliardi
Source: ISIPT'99 : proceedings. Conference titles: International Symposium on Imprecise Probabilities and Their Applications. Unidade: EP
Subjects: PROBABILIDADE E ESTATISTICA, LÓGICA, ROBÓTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COZMAN, Fabio Gagliardi. Computing posterior upper expectations. 1999, Anais.. Ghent: Uviversiteid Ghent, 1999. Disponível em: https://repositorio.usp.br/directbitstream/989be3e8-157b-4194-9dc4-496f96a26c3c/Cozman-1999-computing%20posterior%20upper%20expectations.pdf. Acesso em: 27 nov. 2025.
APA
Cozman, F. G. (1999). Computing posterior upper expectations. In ISIPT'99 : proceedings. Ghent: Uviversiteid Ghent. Recuperado de https://repositorio.usp.br/directbitstream/989be3e8-157b-4194-9dc4-496f96a26c3c/Cozman-1999-computing%20posterior%20upper%20expectations.pdf
NLM
Cozman FG. Computing posterior upper expectations [Internet]. ISIPT'99 : proceedings. 1999 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/989be3e8-157b-4194-9dc4-496f96a26c3c/Cozman-1999-computing%20posterior%20upper%20expectations.pdf
Vancouver
Cozman FG. Computing posterior upper expectations [Internet]. ISIPT'99 : proceedings. 1999 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/989be3e8-157b-4194-9dc4-496f96a26c3c/Cozman-1999-computing%20posterior%20upper%20expectations.pdf
Monografia/livro
Paralog: um prolog paraconsistente baseado em logica anotada (1995)
Costa, Newton Carneiro Affonso da; Prado, J P A; Abe, Jair Minoro; Avila, B C; Rillo, Márcio (Editor)
Unidades: FFLCH, EP
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da et al. Paralog: um prolog paraconsistente baseado em logica anotada. . São Paulo: Iea-USP. . Acesso em: 27 nov. 2025. , 1995
APA
Costa, N. C. A. da, Prado, J. P. A., Abe, J. M., & Avila, B. C. (1995). Paralog: um prolog paraconsistente baseado em logica anotada. São Paulo: Iea-USP.
NLM
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2025 nov. 27 ]
Vancouver
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2025 nov. 27 ]
Relatorio tecnico
Common fuzzy logic background to neural networks and linguistic synthesis technique (1992)
Maranca, Alfredo Portinari Greggio Lucente
Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, LÓGICA, PSICOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARANCA, Alfredo Portinari Greggio Lucente. Common fuzzy logic background to neural networks and linguistic synthesis technique. . São Paulo: Iea. . Acesso em: 27 nov. 2025. , 1992
APA
Maranca, A. P. G. L. (1992). Common fuzzy logic background to neural networks and linguistic synthesis technique. São Paulo: Iea.
NLM
Maranca APGL. Common fuzzy logic background to neural networks and linguistic synthesis technique. 1992 ;[citado 2025 nov. 27 ]
Vancouver
Maranca APGL. Common fuzzy logic background to neural networks and linguistic synthesis technique. 1992 ;[citado 2025 nov. 27 ]

USP Schools

ReP

Filtros

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Indexado em