==== Lectures =====

^ L#  ^  Date   ^  Lecturer         ^ Contents ^ Slides                                ^
|  1         |  **3.10.**   |  P.Křemen | Introduction, ontologies, Description logic ALC  | {{:courses:ae4m33rzn:l1.pdf|l1.pdf}} {{:courses:ae4m33rzn:bibliography.pdf|bibliography.pdf}} {{:courses:ae4m33rzn:l1-4.pdf|}}| 
|  2         |  10.10.  |  P.Křemen | Reasoning in ALC, tableaux method, OWL |  {{l2.pdf | l2.pdf}} |
|  3         |  **17.10.**  |  P.Křemen | Querying description logics |  {{l3.pdf | l3.pdf}}  |
|  4         |  24.10.  |  P.Křemen | Error explanation in description logics.  | {{l4.pdf | l4.pdf}} |
|  5         |  **31.10.**  |  R.Černoch  | Fuzzy logic -- operators | {{p10_fl_intro.pdf|intro}} ({{p10_fl_intro-print.pdf|printable}}) |
|  6         |  7.11.   |  R.Černoch  | Fuzzy logic -- relations | {{p11_fl_relations.pdf|relations}} ({{p11_fl_relations-print.pdf|printable}}) |
|  7         |  **14.11.**  |  R.Černoch  | Fuzzy description logic | {{p12_fl_description.pdf|fuz. desc. log.}} ({{p12_fl_description-print.pdf|printable}}) |
|  8         |  21.11.  |  R.Černoch  | Fuzzy description logic | {{p13_fl_examples.pdf|fuzzyDL}} ({{p13_fl_examples-print.pdf|printable}}) |
|  9         |  **28.11.**  |  J.Kléma  | Introduction to GPMs, conditional independence  | {{gpm_intro_easy_show_small.pdf | gpm_intro.pdf}} |
|  10        |  5.12.   |  J.Kléma  | Inference in Bayesian networks -- basic approach  | {{ gpm_inference_eng_show.pdf | gpm_inference.pdf}} |
|  11        |  12.12.  |  J.Kléma  | Inference in Bayesian networks -- sampling  | see the previous lecture |
|  12        |  19.12.  |   | Friday's chedule |  |
|  13        |  **2.1.**  |  J.Kléma  | Learning Bayesian networks -- parameters and structure | {{gpm_learning_easy_show.pdf | gpm_learn.pdf}} |
|  14        |   9.1.   |  J.Kléma  | Bayesian networks -- generalizations  | {{gpm_spec.pdf | gpm_spec.pdf}} |
==== Tutorials =====

^ T#    ^  Date    ^  Teacher    ^ Resources                               ^ Notes ^
|  1    |   3.10.  |  P. Křemen  | Protégé crash course, Assignment, Ontological Modeling {{:courses:ae4m33rzn:s1-alc-en.pdf|s1-alc-en.pdf}}, {{:courses:ae4m33rzn:protege-crash-course.pdf| Protégé crash course}} , {{:courses:ae4m33rzn:dl-assignment.pdf|}}  | |
|  2    |  10.10.  |  P. Křemen  | Tableaux method {{s2-tableaux-en.pdf}} {{s2-tableaux-en-solutions.pdf}} | |
|  3    |  17.10.  |  P. Křemen  | Ontological queries {{s3-queries-en.pdf}}, {{query-basic.txt}}, {{:courses:ae4m33rzn:pellet-2.3.1.zip|}}, {{:courses:ae4m33rzn:s3-solutions.zip|}} | |
|  4    |  24.10.  |  P. Křemen  | Error Explanation {{s4-explanations-en.pdf}} |  DL test  |
|  5    |  31.10.   |  R.Černoch  | Operations with fuzzy sets | {{t10-11_fuzy_theory.pdf|tasks}} ({{t10-11_fuzy_theory-print.pdf|printable}}) |
|  6    |  7.11.   |  R.Černoch  | Fuzzy relations            |  |
|  7    |  14.11.  |  R.Černoch  | Fuzzy description logic    | ​{{:courses:ae4m33rzn:fuzzydl.zip|fuzzyDL setup}} {{fl_assignment.pdf|assignment}} |
|  8    |  21.11.  |  R.Černoch  | Fuzzy DL reasoning         |  Fuzzy DL test  |
|  9    |  28.11.  |  J. Kléma   | Conditional independence, BN interpretation {{BN_solved.pdf}} | {{intro-probability.pdf}} |
|  10   |  5.12.  |  J. Kléma   | Inference in BNs -- examples | |
|  11   |  12.12.  |  J. Kléma   | Variable elimination, stochastic inference in BNs -- examples |
|  12   |  19.12.  |  | Friday's schedule |
|  13   |  2.1.  |  J. Kléma   | Independence testing, parameter learning, GPM assignment {{bn_assign.zip}}, BN Matlab Toolbox {{bnt_intro.zip}}  |  GPM test   |
|  14   |  9.1.   |  J. Kléma   | Structure learning in BNT, BN assignment consultation {{bnt_learn.zip}} | |