Joao Carlos Pereira da Silva

Possui graduação em Bacharelado Em Matemática pela Universidade Federal do Rio de Janeiro (1987), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1990) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (1996). Atualmente é professor associado da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: programação em lógica, linguagem natural, revisão de crenças, lógicas não-monotônicas e inteligência artificial.

graduate at Bacharelado Em Matemática from Universidade Federal do Rio de Janeiro (1987), master's at Computer Science from Universidade Federal do Rio de Janeiro (1990) and ph.d. at Computer Science from Universidade Federal do Rio de Janeiro (1996). Has experience in Computer Science, acting on the following subjects: programação em lógica, linguagem natural, belief revision, default logic and inteligência artificial.