TU Wien Nav:Knowledge Based Systems
| ID | E192/3 |
|---|---|
| Abkürzung | KBS |
| Links | Homepage, TISS |
LVAs
- Argumentieren und Beweisen VU (Egly)
- Deklaratives Problemlösen UE (Egly)
- Deklaratives Problemlösen VO (Egly)
- Einführung in die Künstliche Intelligenz VU (Eiter, Tompits)
- Einführung in wissensbasierte Systeme VU (Egly)
- Geschichte der Logik VO (Fink)
- Grundlagen methodischen Arbeitens SE (Tompits)
- Knowledge-based Systems VU (Egly, Eiter, Tompits)
- Kryptographie VU (Egly)
- Logik für Wissensrepräsentation UE (Tompits)
- Logik für Wissensrepräsentation VO (Tompits)
- Logikorientierte Programmierung VL (Egly)
- Nichtmonotones Schließen VU (Tompits)
- Probabilistisches Schließen VU (Lukasiewicz)
- SAT Solving und Erweiterungen VU (Egly)
- Seminar Kryptographie SE (Egly)
- Theorie der Wissensrepräsentation VU (Eiter)
- Verarbeitung deklarativen Wissens VO (Egly)
