Bibliografia

Livro recomendado

Stuart Russel and Peter Norvig
Artificial Intelligence. A Modern Approach,
3rd edition.
Pearson., 2010

Acetatos e Fichas

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.

Bibliografia Complementar

Ernesto Costa e Anabela Simões
Inteligência Artificial. Fundamentos e Aplicações
2.ª Edição Revista e Aumentada FCA, 2008

L. Sterling and E. Shapiro
The Art of Prolog (2nd Edition)
MIT Press, 1994

Leituras Extra

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	[Wooldridge 2002] Michael Wooldridge. An Introduction to Multiagent Systems. John Wiley & Sons, 2002. (Cota Biblioteca: Q335.WOO)
Procura informada	[Pearl 1984] Judea Pearl. Heuristics, intelligent search strategies for computer problem solving. Addison-Wesley. 1984. (Cota Biblioteca: Q335.PEA).
Procura local	[Hoos & Stützle 2004] Holger H. Hoos & Thomas Stützle. Stochastic Local Search: Foundations and Applications. Morgan Kaufmann / Elsevier, 2004. (Cota Biblioteca: T57.79.HOO).
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	[Brachman & Levesque 2004] R. Brachman e Hector Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 2004. [Sowa 2000] John F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., 2000.
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	[Baral 2003] Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003 (Cota Biblioteca: QA76.76.BAR)
Sistemas baseados em conhecimento	[Negnevitsky 2002] Michael Negnevitsky. Artificial Intelligence: A Guide to Intelligent Systems. Addison Wesley, 2002.
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	[Ghallab e tal. 2004] Malik Ghallab, Dana Nau e Paolo Traverso. Automated Planning. Theory and Practice. Morgan Kaufmann Publishers, 2004. (Cota Biblioteca: TS183.3.GHA)
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 ).