Summary
Summary Reasoning Techniques
- Course
- Institution
Summary of the Reasoning Techniques course, taught at Maastricht University. Contains at least the following topics: reasoning techniques tree search algorithms search game playing constraint satisfaction problems graphs states logical agents proofs first order logic inference planning
[Show more]