|
|
|
|
|
CÓDIGO NOME CARGA
HORÁRIA SEMANAL
N.º DE CARGA HORÁRIA
TEÓRICA
PRÁTICA CREDITOS
GLOBAL
|
|
Programação Declarativa e BD Inteligentes |
3 |
2 |
04 |
75 |
PRÉ – REQUISITOS
|
q
Sistemas Inteligentes q Gerenciamento de Dados e Informação |
EMENTA
|
q
Introdução q
Programação em Lógica q
Programação por Restrições q
BD Inteligentes q
Integração de paradigmas declarativos q
Programação declarativa de gramáticas q
Projeto q
Prova |
CONTEÚDO PROGRAMÁTICO
|
q
Paradigmas
e aplicações de programação declarativa q
Revisão
de Prolog q
Programação
em lógica multiagentes q
Programação
em lógica e engenharia de software q
Restrições
quantitativas q
Restrições
qualitativas q
BD
dedutivos q
BD
ativos q
BD de
restrições q
BD
dedutivos ativos q
Programação
em lógica funcional q
Programação
em lógica OO q
BD
dedutivos OO q
BD de
restrições OO q
Programação
em lógica probabilista e BD probabilista |
BIBLIOGRAFIA
BÁSICA
|
q
Advanced database systems. C. Zaniolo et al.,
1997, Morgan-Kaufmann q
Prolog programming for
artificial intelligence Bratko, 2000, Addison-Wesley q
From Logic programming to
Prolog.
Apt, 1997, Prentice-Hall q
The Logic Programming Paradigm,
a 25 year perspective. Apt et al., 1999, Springer-Verlag
q
Programming with constraints K. Marriott & P. Stuckey,
1998, MIT Press |
 |