Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
en:dydaktyka:krr:start [2018/05/15 09:30]
ligeza [Lectures 2018]
en:dydaktyka:krr:start [2018/06/05 14:56] (current)
ligeza [Lectures 2018]
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] 
-  - 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]
  
  
Line 28: Line 28:
 **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}}
 ---- ----
  
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]]
 ---- ----
  
en/dydaktyka/krr/start.1526376646.txt.gz · Last modified: 2018/05/15 09:30 by ligeza
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0