This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
en:dydaktyka:krr:start [2018/06/05 16:44] ligeza [Lectures 2018] |
en:dydaktyka:krr:start [2019/03/12 18:09] msl [Laboratories] |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| - **SAT: problems, techniques, tools and example applications.** [8.05.2018; invited presentation] | - **SAT: problems, techniques, tools and example applications.** [8.05.2018; invited presentation] | ||
| - **Knowledge Representation with Logic. First-Order Predicate Calculus.** [15.05.2018; ALi] | - **Knowledge Representation with Logic. First-Order Predicate Calculus.** [15.05.2018; ALi] | ||
| - | - Logic Programming and Prolog. [22.05.2018; ALi] | + | - **Logic Programming and Prolog.** [22.05.2018; ALi] |
| - | - Rule-Based Systems and Planning. [29.05.2018; ALi] | + | - **Rule-Based Systems and Planning.** [29.05.2018; ALi] |
| - Individual work: Preparation for the exam. [5.06.2018; ALi] | - Individual work: Preparation for the exam. [5.06.2018; ALi] | ||
| - | - Exam - zero 15:30-17:00 [12.06.2018; ALi] | + | - **Exam - zero** 15:30-17:00 [12.06.2018; ALi] |
| - Exams: 27.06.2018 - 11:00, and 4.07.2018- 14:00 Room 429/322 C-2 [ALi] | - Exams: 27.06.2018 - 11:00, and 4.07.2018- 14:00 Room 429/322 C-2 [ALi] | ||
| Line 38: | Line 38: | ||
| * {{ :en:dydaktyka:krr:krr-2017-intro-minizinc-2.pdf |MiniZinc-2}} | * {{ :en:dydaktyka:krr:krr-2017-intro-minizinc-2.pdf |MiniZinc-2}} | ||
| * {{ :en:dydaktyka:krr:master-clp-est.pdf |Constraint Programming}} | * {{ :en:dydaktyka:krr:master-clp-est.pdf |Constraint Programming}} | ||
| + | * {{ :en:dydaktyka:krr:rule-based-systems-krakow-2012.pdf |Rule-Based Systems}} | ||
| + | * {{ :en:dydaktyka:krr:krr-logics-pc.pdf |Logic}} | ||
| + | * [[pl:dydaktyka:pp:start|Prolog]] | ||
| ---- | ---- | ||
| Line 133: | Line 136: | ||
| * Lab 1. [[en:dydaktyka:csp:intro|Constraint Programming: 101]] | * Lab 1. [[en:dydaktyka:csp:intro|Constraint Programming: 101]] | ||
| - | * Labs 2 and 3.[[en:dydaktyka:csp:lab1|Constraint Programming: Basic Problems]] | + | * Lab 2. [[en:dydaktyka:csp:lab1|Constraint Programming: Basic Problems]] |
| - | * Lab 4. [[en:dydaktyka:csp:lab2|Constraint Programming: Basic Techniques]] | + | * Lab 3. [[en:dydaktyka:csp:lab2|Constraint Programming: Basic Techniques]] |
| - | * Lab 5. [[en:dydaktyka:csp:lab3|Constraint Programming: Search Modeling]] | + | * Lab 4. [[en:dydaktyka:csp:lab3|Constraint Programming: Search Modeling]] |
| == Automated Planning == | == Automated Planning == | ||
