Master - 

Materiale de curs

• KRR_Lecture_1_Intro.ppt
• KRR_Lecture_2 Knowledge Representation in AI.pdf
• KRR_Lecture_3_First Order Predicate Logic.pdf
• KRR_Lecture_5 Predicate Logic.ppt
• KRR_Lecture_5 Resolution.pdf
• KRR_Lecture_6 Assumption Based Learning.ppt
• KRR_Lecture_7 Modal Logic.ppt
• KRR_Lecture_8 Description Logic.ppt
• KRR_Lecture_9_OWL.pdf
• KRR_Lecture_10_Semantic Web Rule Language.pdf
• KRR_Lecture_11_Soar_Part1.pdf
• KRR_Lecture_12_Soar_Part2.pdf
• KRR_Lecture_13_Strong AI vs Weak AI.pdf
• KRR_Lecture_Supl_Truth Maintenance Systems.ppt

Laboratoare, teme de casă

Alte materiale

• Agent-oriented software engineering [pdf]
• Demonstrarea teoremelor in logica cu predicate [pdf]
• An introduction to modal logic [pdf]
• Rationament nemonoton. Logici nemonotone [pdf]

Proiect