Uni-Logo

This page is only available in German.

Prinzipien der Wissensrepräsentation - Vorlesungen

Nr. Datum Thema Folien Letzte Änderung
1. Mo, 24. Okt. 2005 Einführung (PDF) (4-auf-1; ps.gz) 8. Nov. 2005
2. Mo, 24. Okt. 2005 Aussagenlogik (PDF) (4-auf-1; ps.gz) 8. Nov. 2005
3. Mo, 31. Okt. 2005 Prädikatenlogik (PDF) (4-auf-1; ps.gz) 8. Nov. 2005
4. Mi, 02. Nov. 2005 Komplexitätstheorie (PDF) (4-auf-1; ps.gz) 8. Nov. 2005
5. Mo, 07. Nov. 2005
Mi, 09. Nov. 2005
Modallogik (PDF) (4-auf-1; ps.gz) 8. Nov. 2005
6. Mo, 14. Nov. 2005
Mi, 16. Nov. 2005
Mo, 21. Nov. 2005
Default-Logik u.a. (PDF) (4-auf-1; ps.gz)
7. Mi, 23. Nov. 2005 Nichtmonotone Logik-Programmierung (PDF) (4-auf-1; ps.gz)
8. Mo, 28. Nov. 2005
Mi, 30. Nov. 2005
Mo, 5. Dez. 2005
Kumulative Logik (PDF) (4-auf-1; ps.gz) 5. Dez. 2005
9. Mo, 5. Dez. 2005
Mi, 7. Dez. 2005
Einfache strikte Vererbungsnetze (PDF) (4-auf-1; ps.gz)
10. Mo, 12. Dez. 2005 Beschreibungslogiken: Terminologie und Notation (PDF) (4-auf-1; ps.gz)
11. Mo, 12. Dez. 2005
Mi, 14. Dez. 2005
Beschreibungslogiken: Schlussfolgerungsprobleme und Reduktionen (PDF) (4-auf-1; ps.gz) 19. Dez. 2005
12. Mo, 19. Dez. 2005 Beschreibungslogiken -- Algorithmen (PDF) (4-auf-1; ps.gz)
13. Mi, 21. Dez. 2005 Beschreibungslogiken -- Entscheidbarkeit und Komplexität (PDF) (4-auf-1; ps.gz)
14. Mo, 9. Jan 2006 Beschreibungslogiken im Semantic Web (PDF) (4-auf-1; ps.gz) 9. Jan. 2006
15. Mi, 11. Januar 2006 Beschreibungslogiken -- Implementationstechniken (PDF) (4-auf-1; ps.gz)
16. Mo, 16. Jan 2006 Qualitative Kalküle und Constraint-Satisfaction-Probleme (PDF) (4-auf-1; ps.gz)
17. Mi, 18. Jan 2006 Allens Intervallkalkül (PDF) (4-auf-1; ps.gz)
18. Mo, 30. Jan 2006 RCC8 und Topologie (PDF) (4-auf-1; ps.gz)

Probleme beim Ausdrucken der Folien

Bei manchen Druckern sind Vorder- und Rückseite der 4-auf-1-Folien im Duplexmodus falsch orientiert. Da die Orientierung von Vorder- und Rückseite bei Vorlagen im Querformat druckertreiberabhängig ist, gibt es leider keine Lösung, die immer funktioniert. Falls die Rückseite "auf dem Kopf" gedruckt wird, helfen (unter Linux/UNIX) eventuell folgende Kommandos (folien.4.pdf ist dabei die Datei mit den Folien, printer der Name des Druckers):

pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps | lpr -Pprinter

Alternativ kann man die angepassten Folien auch in eine zweite Datei ausgabe.ps schreiben, um diese später zu drucken:

pdf2ps folien.4.pdf
grep -v "^%%Orientation" folien.4.ps > ausgabe.ps

Zusätzliches Material

Beschreibungslogiken:

Nichtmonotone Logik-Programmierung:

  • Das smodels-System (Helsinki University of Technology).

Theorembeweiser (Modal-/Beschreibungslogik)

Ontology Editors