Section outline
-
Books
David L. Poole, Alan K. Mackworth. Artificial Intelligence: foundations of computational agents (2nd edition), Cambridge University Press, 2017– Computers. http://artint.info/2e/html/ArtInt2e.html
Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach (3rd edition). Pearson Education 2010. PDF
Edward Tsang. Foundations of Constraint Satisfaction, Computation in Cognitive Science. Elsevier Science. Kindle Edition, 2014. PDF
Handbook of Constraint Programming, Edited by F. Rossi, P. van Beek and T. Walsh. Elsevier 2006. PDF
Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 2004. PDF
Handbook of Knowledge Representation, F, Van Harmelen, V. Lifschitz, B. Porter, Elsevier, 2008. PDF
Genesereth, M., and Nilsson, N., Logical Foundations of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1987. PDF Ch 6
Nils Nilsson, N., Artificial Intelligence: A New Synthesis, San Francisco: Morgan Kaufmann, 1998.
Franz Baader, Werner Nutt, Handbook of Description Logics PDF Ch 2
David Barber, Bayesian Reasoning and Machine Learning, Online version February 2017.
Ivan Bratko, PROLOG programming for Artificial Intelligence, PDF.
Research papers
Xin Luna Dong et al., Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion PDF
Seminal papers