Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Algorithms for deciding counting quantifiers over unary predicatesMarcelo Finger Glauber De Bona 1984-; AAAI Conference on Artificial Intelligence (31. San Francisco, CA 2017)Proceedings Palo Alto: AAAI Publications, 2017Palo Alto AAAI Publications 2017Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
Consolidating probabilistic knowledge bases via belief contractionGlauber De Bona 1984- Marcelo Finger; Márcio Moretto Ribeiro; Yuri David Santos; Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016 (15. Cape Town, South Africa 2016)Proceedings Menlo Park: AAAI Publications, 2016Menlo Park AAAI Publications 2016Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Relatório Técnico
|
![]() |
Notes on measuring inconsistency in probabilistic logicGlauber De Bona 1984- Marcelo FingerSão Paulo IME-USP 2014Localização: IME - Inst. Matemática e Estatística (https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/ )(Acessar) |