Artificial intelligence and Logic Programming

1. Global Optimization Algorithms - Theory and Application, ©2007 (Thomas Weise) [Homepage]

2. Planning Algorithms, ©2006 (Steven M. LaValle) 842 pages

3. Gaussian Processes for Machine Learning ©2006 (Carl E. Rasmussen, Christopher K. Williams) 266 pages

4. Brief Introduction to Educational Implications of Artificial Intelligence ©2005-2006 (David Moursund) [Homepage]

5. An Introduction to Logic Programming through Prolog ©1996-2002 (J. M. Spivey/Michael Spivey)

6.Reinforcement Learning: An Introduction, ©1998 (Richard S. Sutton/Andrew G. Barto) 432 pages

7.Foundations of Constraint Satisfaction, ©1993 (Edward Tsang) 300 pages

8. Introduction to Artificial Intelligence and Neural Networks (Linda MacPhee-Cobb)

9. Machine Learning, Neural and Statistical Classification ©1994 (D. Michie/D. Spiegelhalter/C. Taylor)

10. Inductive Logic Programming - Techniques and Applications ©1994 (Nada Lavrac and Saso Dzeroski)

11. Cellular Automata and Complexity ©1994 (Stephen Wolfram) 608 pages

12. Artificial Intelligence and Molecular Biology ©1993 (Edited by L. Hunter), 500 pp

13. Artificial Intelligence through Prolog ©1988 (Neil Rowe) [Source]

14. Visual Reconstruction ©1987 (Andrew Blake/Andrew Zisserman) 238 pages

15. Implementing Mathematics with The Nuprl Proof System ©1986 (R.L.Constable) 304 pages

16. Logic for Computer Science: Foundations of Automatic Theorem Proving ©1986 (Jean Gallier)

17. Rule-Based Expert Systems ©1984 (Edited by Bruce G. Buchanan and Edward H. Shortliffe) 754 pages

18. Rule-Based Expert Systems ©1984 (Edited by Bruce G. Buchanan and Edward H. Shortliffe) 754 pages

19. Databases and Artificial Intelligence (Alison Cawsey)

20. Building Expert Systems In Prolog (Amzi) [Mirror]

21. Introduction to Machine Learning (Nils J. Nilsson)

22. Machine Learning (R. Rivest/Mona Singh)

23. Artificial Intelligence I (W. Jones)

24. Artificial Intelligence II (David Marshall)

25. Artificial Intelligence I (Patrick Winston)

26. Automated Theorem Proving (Frank Pfenning)

27. Intelligence and Multimodality in Multimedia Interfaces: Research & Applications (Edited by John Lee)

28. Artificial Intelligence and Responsive Optimization, 2nd edition, 2003 (M. Khosnevisan, et al)

29. Programming in Martin-Löf's Type Theory: An Introduction (by Bengt Nordström, Kent Petersson, Jan M. Smith)