m
 
(10 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
'''This page is under revision. Stay tuned...'''
 +
<!--
 
Knowledge Representation and Reasoning (course homepage)
 
Knowledge Representation and Reasoning (course homepage)
  
Line 60: Line 62:
 
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
 
* [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]
 
* [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.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]]
  
  
Line 72: Line 79:
 
* [[File:Cv08as.pdf‎]]
 
* [[File:Cv08as.pdf‎]]
 
* [[File:Cv09nn.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]].
 +
-->

Latest revision as of 10:15, 18 February 2014

This page is under revision. Stay tuned...