Both sides previous revision
Previous revision
Next revision
|
Previous revision
Next revision
Both sides next revision
|
en:dydaktyka:krr:start [2018/05/15 11:30] ligeza [Lectures 2018] |
en:dydaktyka:krr:start [2018/06/05 16:56] ligeza [Lectures 2018] |
- **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] |
- Uncertain and imprecise KRR. Probabilistic Reasoning and Fuzzy Sets. [29.05.2018; ALi] | - **Rule-Based Systems and Planning.** [29.05.2018; ALi] |
- Rule-Based Systems and Planning. [5.06.2018; ALi] | - Individual work: Preparation for the exam. [5.06.2018; ALi] |
- Abductive Inference and Diagnostic Reasoning. Model-Based Reasoning. [12.06.2018; ALi] | - **Exam - zero** 15:30-17:00 [12.06.2018; ALi] |
- Exam 0. [19.06.2018] | - Exams: 27.06.2018 - 11:00, and 4.07.2018- 14:00 Room 429/322 C-2 [ALi] |
| |
| |
**Lectures: Tuesdays, C-2, Room 429, 15:30-17:00** | **Lectures: Tuesdays, C-2, Room 429, 15:30-17:00** |
| |
| ** Preparation for exam 2018 - main focus ** {{ :en:dydaktyka:krr:krr-exam-preparation-2018.pdf |List of topics}} |
---- | ---- |
| |
* {{ :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]] |
---- | ---- |
| |