Intelligent reasoning (ISVI5)
University of Belgrade
ECTS: 11.0
Contents of lectures
Contents of exercises
Prerequisite
Goal
Literature
- John Harrison, Handbook of Practical Logic and Automated Reasoning.
- Alan Bundy, The Computer Modelling of Mathematical Reasoning.
- Alan Robinson, Andrei Voronkov, eds. Handbook of Automated Reasoning.
- Keith J. Holyoak and Robert G. Morrison, eds. The Oxford Handbook of Thinking and Reasoning.
- Kevin B. Korb and Ann E. Nicholson Bayesian Artificial Intelligence