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