This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
en:dydaktyka:krr:start [2020/05/20 13:13] 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)}} |
