Após cada aula teórica, serão disponibilizados no CLIP os acetatos referentes à matéria dada que, no entanto,
não servem como substituto do livro.
L. Sterling and E. Shapiro
The Art of Prolog (2nd Edition)
MIT Press, 1994
Tópico |
Sugestão de leitura complementar |
Generalistas e de Divulgação |
- [Coelho 1999] Helder Coelho. Sonho e razão: ao lado do artificial. Relógio d’água. 2ª edição, 1999.
(Cota biblioteca: Q335.COE)
- [Coelho 1995] Helder Coelho. Inteligência Artificial em 25 lições. Fundação Calouste Gulbenkian. 1995.
(Cota biblioteca: Q335.COE)
- [Nilsson 1998] Nils J. Nilsson. Artificial Intelligence: a new synthesis. Morgan Kaufmann Publishers, Inc. 1998.
(Cota biblioteca: Q335.NIL)
- [Ginsberg 1993] Matt Ginsberg. Essentials of Artificial Intelligence. Morgan Kaufmann Publishers, Inc. 1993.
(Cota Biblioteca: Q335.GIN)
|
Agentes |
|
Procura informada |
- [Pearl 1984] Judea Pearl. Heuristics, intelligent search strategies for computer problem solving. Addison-Wesley. 1984.
(Cota Biblioteca: Q335.PEA).
|
Procura local |
|
Computação Evolutiva |
- [Eiben & Smith 2003] A.E. Eiben and J.E. Smith, Introduction to Evolutionary Computing, Springer, 2003.
- [Mitchell 1996] Melanie Mitchell. An introduction to genetic algorithms. The MIT Press, 1996.
(Cota Biblioteca: QH441.2.MIT)
|
Satisfação de Restrições |
- [Dechter 2003] Rina Dechter. Constraint processing. Morgan Kaufmann Publishers, Inc. 2003.
(Cota Biblioteca: QA76.612.DEC).
|
Lógica/
Fundamentos Lógicos da IA |
- [Genesereth & Nilsson 1987] Michael Genesereth e Nils J. Nilsson. Logical Foundation of Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987.
(Cota Biblioteca: Q335.GEN)
|
Representação do Conhecimento |
|
Raciocínio não Monótono |
- [Antoniou 1997] Grigoris Antoniou. Nonmonotonic Reasoning. The MIT Press, 1997.
(Cota Biblioteca: Q339.2.ANT)
|
Programação por Conjuntos de Resposta |
|
Sistemas baseados em conhecimento |
|
Lógicas terminológicas |
- [Baader et al. 2003] Franz Baader, Diego Calvanese, Deborah McGuiness Daniele Nardi e Peter Patel-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
(Cota Biblioteca: Q334.DES)
|
Planeamento |
|
Redes Bayesianas |
- [Pearl 2000] Judea Pearl. Causality (capítulo 1). Cambridge University Press, 2000.
(Cota Biblioteca: BD541.PEA).
|
Aprendizagem Automática |
- [Mitchell 1997] Tom Mitchell. Machine Learning. McGraw-Hill. 1997.
(Cota Biblioteca: QA76.9.MIT ).
|