José de Siqueira
Dr. Sc., Université de
Paris-Sud (XI),
França, 1992.
jose at dcc.ufmg.br
Áreas de Interesse em Inteligência Artificial
- Aprendizagem Simbólica Automática
- Prova Automática de Teoremas
- Programação em
Lógica e com
Restrições
Curso
Inteligência Artificial (2º semestre
de 2010)
Plano
de
Curso
1ª Prova
Arquivo de introdução ao Prolog
Transparências de Prolog
Transparências sobre
lógica
TP 1
Transparências sobre busca
Exercícios para os cap. 6 a 9
Soquetes para GNU Prolog
Soquetes para SWI Prolog