(Adding literature from the first 4 lectures)
d
 
(14 intermediate revisions by 3 users not shown)
Riadok 1: Riadok 1:
 +
'''This page is under revision. Stay tuned...'''
 +
<!--
 
Knowledge Representation and Reasoning (course homepage)
 
Knowledge Representation and Reasoning (course homepage)
  
Riadok 58: Riadok 60:
 
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
 
* [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]
 
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]
 
* [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]
 +
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
 +
* [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]
 +
* [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]]
 +
* [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]]
 +
* [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]
 +
* [[File:KRR2013-Lecture-10-Induction.pdf]]
 +
* [[File:KRR2013-Lecture-11-Abduction.pdf]]
  
  
Riadok 68: Riadok 77:
 
* [[File:Cv05lp.pdf‎]]
 
* [[File:Cv05lp.pdf‎]]
 
* [[File:Cv06defl.pdf‎]]
 
* [[File:Cv06defl.pdf‎]]
 +
* [[File:Cv08as.pdf‎]]
 +
* [[File:Cv09nn.pdf]]
 +
* [[File:Cv10pi.pdf]]
 +
* [[File:Cv11ab.pdf]]
  
S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]
+
There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].
 +
-->

Aktuálna revízia z 10:15, 18. február 2014

This page is under revision. Stay tuned...