Introduction to Knowledge Representation and Reasoning. Basic Practical Introduction to Constraint Programming and MiniZinc
[27.02.2018; ALi]
—-
Lectures: Tuesdays, C-2, Room 429, 15:30-17:00
—-
== Lecture slides + supporting materials ==
—-
==Useful links==
—-
—-
===== Knowledge Representation and Reasoning. Edition 2016/2017 =====
===== Lectures ======
- Introduction to Knowledge Representation and Reasoning. Abduction. Basic Introduction to Constraint Programming
[1.03.2017; ALi]
- Constraint Programming Tools. Introduction to MiniZinc. Building a Model: Einstein Puzzle
[8.03.2017; ALi]
- Constraint Programming Tools. Introduction to MiniZinc. Simple example models.
[15.03.2017; ALi]
- Constraint Programming Tools. Introduction to MiniZinc. Sets and arrays. Aggregation functions. Logical constraints. Production planning example. Job-Shop example.
[22.03.2017; ALi]
- MiniZinc: selected predicates and application examples. Introduction to Constraint Propagation.
[29.03.2017; ALi]
- Introduction to Knowledge Representation. The role of logic. Rule-Based Systems.
[5.04.2017;ALi]
- E-Learning: Logic Programming and Rules:
CS227: 8a, 8b; 9a, 9b [12.04.2017]
- E-Learning: Fuzzy Sets, Fuzzy Logic, Fuzzy Rules.
[19.04.2017]
- Planning. Situation Calculus. STRIPS. Block World Examples.
[26.04.2017; ALi]
- Advanced Planning. Hierarchical Planning. AND/OR Graphs search. Decomposition. Discrete-Even Systems.
[10.05.2017]
- E-Learning: Causal Networks and Probabilistic Models. Bayes Networks.
[17.05.2017]
- E-Learning: Problog: Probabilistic Logic Programming Models.
[24.05.2017]
- E-Learning: ASP - Answer Set Programming.
[31.05.2017]
- Recapitulation: Knowledge Representation and Reasoning. Test Problems. Exam 0.
[7.06.2017]
- E-Learning: Description Logics.
[14.06.2017]
—-
Attention: new location: Building C-3, Room 101.**