Differences

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

Link to this comparison view

Both sides previous revision Previous revision
en:dydaktyka:krr:start [2020/05/20 13:13]
ligeza [Lectures - 2020]
en:dydaktyka:krr:start [2020/05/20 13:19] (current)
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)}}
  
  
en/dydaktyka/krr/start.txt · Last modified: 2020/05/20 13:19 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