Differences
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] |
- {{ :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)}} |
| |
| |