Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (15)
2. Produções Técnicas  (1)
3. Mais opções 

Assunto 

1. Inteligência Artificial  (5)
2. Lógica Matemática  (3)
3. Lógica  (2)
4. Lógica Combinatória  (2)
5. Representação De Conhecimento  (2)
6. Sistemas Autônomos  (1)
7. Robótica  (1)
8. Raciocínio Probabilístico  (1)
9. Probabilidade  (1)
10. Senso Comum  (1)
11. Raciocínio Dedutivo E Indutivo  (1)
12. Ontologias  (1)
13. Revisão De Crenças  (1)
14. Ciência Da Computação  (1)
15. Lógica Formal  (1)
16. Sistemas Multiagentes  (1)
17. Banco De Dados Distribuídos  (1)
18. Mais opções 

Autor/Criador 

1. Brazilian Symposium on Artificial Intelligence - SBIA  (2)
2. Barros, L  (1)
3. International Workshop on Description Logics - DL  (1)
4. Cozman, F  (1)
5. Ribeiro, M  (1)
6. Melo, A  (1)
7. Brentani, H  (1)
8. Seminar on Ontology Research in Brazil - ONTOBRAS  (1)
9. International Joint Conference on Artificial Intelligence - IJCAI  (1)
10. De Bona, G  (1)
11. Patrão, D  (1)
12. International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016  (1)
13. Silva, F  (1)
14. International Conference on Informatics in Control, A  (1)
15. Santos, Y  (1)
16. Workshop on Logic, L  (1)
17. European Conference on Artificial Intelligence - ECAI  (1)
18. Mais opções 

Data de Publicação 

1. Antes de2003  (4)
2. 2003Até2004  (3)
3. 2005Até2006  (3)
4. 2007Até2011  (4)
5. Após 2011  (2)
6. Mais opções 

Nome da Publicação 

1. Proceedings  (6)
2. Theoretical Computer Science  (2)
3. CEUR Workshop Proceedings  (2)
4. Journal of Logics and Computation  (2)
5. Journal of Logic and Computation  (2)
6. Electronic Notes in Theoretical Computer Science  (1)
7. Mais opções