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 [2020/05/20 13:07] ligeza [Lectures - 2020] |
en:dydaktyka:krr:start [2020/05/20 13:19] ligeza [Lectures - 2020] |
||
|---|---|---|---|
| Line 67: | Line 67: | ||
| - {{ :en:dydaktyka:krr:logic_for_computer_science_2020-fopc-14-05-2020.pdf |First-Order Predicate Calculus for KRR. Resolution and Dual Resolution Method.[Update: 14-05-2020]}} | - {{ :en:dydaktyka:krr:logic_for_computer_science_2020-fopc-14-05-2020.pdf |First-Order Predicate Calculus for KRR. Resolution and Dual Resolution Method.[Update: 14-05-2020]}} | ||
| - {{ :en:dydaktyka:krr:resolution-example-fol-cesar-logicexample.pdf |Example of Resolution Theorem Proving: Marcus and Caesar [Lecture on 12-05-2020]}} | - {{ :en:dydaktyka:krr:resolution-example-fol-cesar-logicexample.pdf |Example of Resolution Theorem Proving: Marcus and Caesar [Lecture on 12-05-2020]}} | ||
| - | - [[http://home.agh.edu.pl/~ligeza/wiki/prolog:course|Prolog - support materials]] | + | - [[http://home.agh.edu.pl/~ligeza/wiki/prolog:course|Prolog - support materials]] + {{ :en:dydaktyka:krr:prolog.zip |Prolog - collection of simple examples (presented online on 19.05.2020)}} |
| Line 84: | Line 84: | ||
| * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/ER1H77kSGCZNg2Y8n88sd84B7dTu4nNy3EmG_MkheLhEhw?e=lWBkha|First-Order Predicate Calculus for KRR. Resolution and Dual Resolution Method.(1.5h in English; 12.05.2020)| via MS Office OneDrive/AGH)]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/ER1H77kSGCZNg2Y8n88sd84B7dTu4nNy3EmG_MkheLhEhw?e=lWBkha|First-Order Predicate Calculus for KRR. Resolution and Dual Resolution Method.(1.5h in English; 12.05.2020)| via MS Office OneDrive/AGH)]] | ||
| * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EefXQ0sT9uBOsrcFaeNEGZcBfh5S7UY-ltEhaw84V3iE8g?e=EFscHo|Introduction to Prolog (0.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EefXQ0sT9uBOsrcFaeNEGZcBfh5S7UY-ltEhaw84V3iE8g?e=EFscHo|Introduction to Prolog (0.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] | ||
| - | * [[ https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EX6JFaSfDqlKvcGM1ZGf4u0BEarEUw7zS_gyInHnXXGqQw?e=kHKrWf|Introduction to Prolog: Lists, member/2, append/3, select/3. (0.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] | + | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EX6JFaSfDqlKvcGM1ZGf4u0BEarEUw7zS_gyInHnXXGqQw?e=kHKrWf|Introduction to Prolog: Lists, member/2, append/3, select/3. (0.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] |
| - | * [[ | Prolog: by examples. Simple Knowledge-Baseds QA Systems, Constraint Programming, Rule-Based Systems, Meta Programming, Graph Search and Automated Planning (0.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] | + | * [[https://aghedupl-my.sharepoint.com/:v:/g/personal/ligeza_agh_edu_pl/EZ3B9ijWzK1OifcQWhNdrFABdDXa3Z72pwn_x_hqQBQhTQ?e=xNhCc1 | Prolog: by examples. Simple Knowledge-Baseds QA Systems, Constraint Programming, Rule-Based Systems, Meta Programming, Graph Search and Automated Planning (1.3hh in English; 19.05.2020)| via MS Office OneDrive/AGH)]] |
