Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
A contraction core for Horn belief change preliminary reportRichard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)Proceedings Toronto : SFU, 2010Toronto SFU 2010Localização: IME - Inst. Matemática e Estatística (PROD-1832114 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Rolling bearing fault diagnostic system using logicSilmara Alexandra da Silva Vicente Rodrigo Yoshiaki Fujimoto; Linilson Rodrigues Padovese 1960-; IEEE International Fuzzy Systems Conferene (10. 2001 Australia)Proceedings Piscataway : IEEE, 2001Piscataway IEEE 2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Uma lógica para comutação entre fontes de alta tensão em uma subestação industrial com o uso de relés digitais comerciaisUlisses Chemin Netto Juliano Coelho Miranda; Denis Vinícius Coury; Mário Oleskovicz; Congreso Latinoamericano Generación y Transporte de Energía Eléctrica (7. 2007 Valparaíso)Proceedings Guaratinguetá : FDCT, 2007Guaratinguetá FDCT 2007Item não circula. Consulte sua biblioteca.(Acessar) |
|
4 |
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. |
|
5 |
Material Type: Artigo de Congresso
|
The downward Lowenhein-Skolem theoremFrancisco Miraglia Neto Séminaire de structures algébriques ordonnées : 1991-1992 (1991-1992 Paris)Proceedings Paris : Université Paris 7, 1993Paris Université Paris 7 1993Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
On the revision of planning tasksAndreas Herzig M. V Menezes (Maria Viviane); Leliane Nunes de Barros; Renata Wassermann; European Conference on Artificial Intelligence - ECAI (21. 2014 Prague)Proceedings Amsterdam: IOS Press, 2014Amsterdam IOS Press 2014Localização: IME - Inst. Matemática e Estatística (PROD-2510738 )(Acessar) |
|
7 |
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. |
|
8 |
Material Type: Artigo de Congresso
|
Between belief bases and belief sets partial meet contractionYuri D Santos Marcio M Ribeiro; Renata Wassermann; International Workshop on Defeasible and Ampliative Reasoning - DARe (2. 2015 Buenos Aires); International Joint Conference on Artificial Intelligence - IJCAI (24. 2015 Buenos Aires)Proceedings Aachen v. 1423, [7 p.], 2015Aachen 2015Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
Belief change and non-monotonic reasoning sans compactnessJandson S Ribeiro Abhaya Nayak; Renata Wassermann; AAAI Conference on Artificial Intelligence (33. 2019 Honolulu, Hawaii, USA)Proceedings Palo Alto : AAAI, 2019Palo Alto AAAI 2019Localização: IME - Inst. Matemática e Estatística (PROD-2963000 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Equality in linear logicMarcelo Esteban Coniglio Francisco Miraglia Neto; Séminaire de structures algébriques ordonnées : 1994-1995 (1994-1995 Paris)Proceedings Paris : Université Paris 7, 1996Paris Université Paris 7 1996Localização: IME - Inst. Matemática e Estatística (PROD-3199601 )(Acessar) |