Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
A noção de acaso e a quantificação das probabilidades no contexto concreto e virtualThiago Bloss de Araújo Maria Thereza Costa Coelho de Souza; Simpósio de Iniciação Científica: Humanidades e Humanidades (17. 2009 São Paulo)São Paulo: USP-Universidade de São Paulo, 2009 Humanas e HumanidadesSão Paulo USP-Universidade de São Paulo 2009Localização: IP - Instituto de Psicologia (CD/71 (AM=STh/46)) ) e outros locais(Acessar) |
2 |
Material Type: Artigo de Congresso
|
![]() |
A refuted conjecture on probabilistic satisfiabilityMarcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2190220 )(Acessar) |
3 |
Material Type: Artigo de Congresso
|
![]() |
Classical and quantum satisfiabilityAnderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)Proceedings Sydney : EPTCS, 2012Sydney EPTCS 2012Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo
|
![]() |
Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]Marcelo Finger Delia KesnerTheoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)Amsterdam 2015Localização: IME - Inst. Matemática e Estatística (PROD-2860800 )(Acessar) |
5 |
Material Type: Artigo
|
![]() |
Measuring inconsistency in probabilistic logic rationality postulates and Dutch book interpretationGlauber De Bona 1984- Marcelo FingerArtificial Intelligence Amsterdam v. 227, p. 140-164, Oct. 2015Amsterdam 2015Localização: IME - Inst. Matemática e Estatística (PROD-2709684 )(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logicMarcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)Proceedings Cham: Springer, 2018Cham Springer 2018Localização: IME - Inst. Matemática e Estatística (PROD-2896586 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Extending EL++ with linear constraints on the probability of axiomsMarcelo FingerLutz, Carsten; et al, ed Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday Cham : Springer, 2019Cham Springer 2019Localização: IME - Inst. Matemática e Estatística (PROD-2953686 )(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Using neural models to perform inferenceFelipe de Souza Salvatore Sandro Preto; Marcelo Finger; Roberto Hirata Júnior; International Workshop on Neural-Symbolic Learning and Reasoning - NeSy (14. 2019 Macao, China)Proceedings Vienna : IJCAI, 2019Vienna IJCAI 2019Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Artigo de Congresso
|
![]() |
Satisfiability in EL with sets of probabilistic ABoxesMarcelo Finger Renata Wassermann; Fabio Gagliardi Cozman 1967-; International Workshop on Description Logics - DL (24. 2011 Barcelona, Spain)CEUR Workshop Proceedings Aachen v. 745, p. 1-11, 2011Aachen 2011Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo
|
![]() |
Towards classifying propositional probabilistic logicsGlauber De Bona 1984- Fabio Gagliardi Cozman 1967-; Marcelo FingerJournal of Applied Logic Amsterdam v. 12, n. 3, p. 349-368, 2014Amsterdam 2014Localização: IME - Inst. Matemática e Estatística (PROD-2489715 )(Acessar) |