Refinar Meus Resultados

Tipo de Recurso 

1. Artigos  (14)
2. Produções Acadêmicas  (4)
3. Produções Técnicas  (2)
4. Mais opções 

Assunto 

1. Inteligência Artificial  (8)
2. Lógica Matemática  (4)
3. Representação De Conhecimento  (3)
4. Lógica Combinatória  (2)
5. Recuperação Da Informação  (2)
6. Linguagens Formais  (2)
7. Descrição De Sistemas (Arquitetura De Computadores)  (2)
8. Sistemas Autônomos  (1)
9. Robótica  (1)
10. Lógica  (1)
11. Belief Revision  (1)
12. Prova Automática De Teoremas  (1)
13. Model Checking  (1)
14. Engenharia De Programas  (1)
15. Ontologias  (1)
16. Especificação De Sistemas E Programas  (1)
17. Nusmv  (1)
18. Revisão De Crenças. Verificação De Modelos  (1)
19. Sistemas Multiagentes  (1)
20. Ctl  (1)
21. Mais opções 

Autor/Criador 

1. Finger, M  (8)
2. Paz Trillo, C  (5)
3. Riani, J  (3)
4. Kon, F  (2)
5. Barros, L  (2)
6. Ribeiro, M  (2)
7. Workshop on Ontologies and their Applications - WONTO  (2)
8. Brazilian Symposium on Artificial Intelligence - SBIA  (1)
9. Braga, P  (1)
10. Kepler, F  (1)
11. Sousa, T  (1)
12. Melo, A  (1)
13. Trillo, C  (1)
14. Silva, F  (1)
15. Fuhrmann, A  (1)
16. Delgado, K  (1)
17. International Conference on Informatics in Control, A  (1)
18. Sanches, A  (1)
19. Workshop on Logic, L  (1)
20. Mais opções 

Data de Publicação 

Idioma 

1. Inglês  (17)
2. Português  (4)
3. Mais opções 

Nome da Publicação 

1. Proceedings  (2)
2. Theoretical Computer Science  (2)
3. CEUR Workshop Proceedings  (2)
4. Journal of Logics and Computation  (2)
5. Studia Logica  (2)
6. Journal of Logic and Computation  (2)
7. Mind  (1)
8. Electronic Notes in Theoretical Computer Science  (1)
9. Journal of the Brazilian Computer Society  (1)
10. Mais opções