Home

Welcome to the website!

Lectures

1. Automated Reasoning in Artificial Intelligence
2. Introduction to Constraint Satisfaction and Optimization Problems
3. Introduction to Constraint Solving
4. Arc Consistency and Constraint Propagation
5. Constraint Propagation and Search Heuristics in Constraint Programming
6. Constraint Programming: Modeling and Solving Problems with MiniZinc
7. Constraint Satisfaction Problems and Encoding Techniques
8. Lecture Notes: Maximum Bipartite Matching and Constraint Propagation
9. Finding Solutions: A Hypothetical Example
10. Introduction to Logic Programming Syntax
11. Logical Consequence and Resolution in Logic Programming
12. Computing Logical Consequences in Logic Programming
13. Answer Set Programming and Non-Monotonic Reasoning
14. Modeling with Answer Set Programming
15. Answer Set Programming for Combinatorial Problems
16. Modeling Constraint Satisfaction Problems with Answer Set Programming
17. Reasoning with Logic: CSP, ASP, and Common Sense
18. Introduction to Planning Problems in AI
19. Complexity of Reasoning in AI: Exploring Logic Programming and the Polynomial Hierarchy
20. Semantics of Logic Programs
21. Refined Lecture Notes
22. Constraint Optimization Problems and Search Techniques