Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (20)
2. Produções Acadêmicas  (12)
3. Livros  (1)
4. Mais opções 

Assunto 

1. Revisão De Crenças  (32)
2. Inteligência Artificial  (11)
3. Belief Revision  (10)
4. Lógica  (8)
5. Representação De Conhecimento  (7)
6. Ontologias  (6)
7. Lógicas De Descrição  (3)
8. Description Logics  (3)
9. Lógica Matemática  (3)
10. Reparo De Ontologias  (2)
11. Lógica Combinatória  (2)
12. Model Checking  (2)
13. Ontology Repair  (2)
14. Especificação De Sistemas E Programas  (2)
15. Ctl  (2)
16. Compactness  (1)
17. Compacidade  (1)
18. Contração Múltipla  (1)
19. Heurística  (1)
20. Computation Tree Logic  (1)
21. Mais opções 

Autor/Criador 

1. Wassermann, R  (32)
2. Guerra, P  (6)
3. Ribeiro, M  (6)
4. Brazilian Symposium on Artificial Intelligence - SBIA  (3)
5. Matos, V  (3)
6. International Conference on Principles of Knowledge Representation and Reasoning - KR  (3)
7. Souza, M  (3)
8. Oliveira, P  (3)
9. Resina, F  (2)
10. Lundberg, R  (2)
11. Hansson, S  (2)
12. Finger, M  (2)
13. Santos, Y  (2)
14. Chopra, S  (1)
15. Hora, B  (1)
16. Brazilian Symposium on Formal Methods - SBMF  (1)
17. Guimarães, R  (1)
18. Ibero-American Conference on Artificial Intelligence - IBERAMIA  (1)
19. International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022)  (1)
20. Workshop on Logic, L  (1)
21. Mais opções 

Idioma 

1. Inglês  (26)
2. Português  (7)
3. Mais opções 

Nome da Publicação 

1. Proceedings  (11)
2. South American Journal of Logic  (2)
3. Studia Logica  (2)
4. Frontiers in belief revision  (1)
5. International Journal of Approximate Reasoning  (1)
6. Journal of Logic, Language and Information  (1)
7. Annals of Mathematics and Artificial Intelligence  (1)
8. CEUR Workshop Proceedings  (1)
9. Journal of Logic and Computation  (1)
10. Mais opções