Back to Page | Back to History
Difference between revisions
| Version 13, 2005-03-12 02:39 |
Version 14, 2005-03-12 22:44 |
| Lines 60 - 66 |
Lines 60 - 66 |
| |
|
| Problem bei Aussagenlogik: Wissensrepräsentation (keine Quantoren -> Prädikatenlogik) |
Problem bei Aussagenlogik: Wissensrepräsentation (keine Quantoren -> Prädikatenlogik) |
| |
|
| Herr TOMPITS wird uns bei Gelegenheit von Komplexitätsklassen erzählen, die logischen Programme machen wir später. |
Herr [HansTompits TOMPITS] wird uns bei Gelegenheit von Komplexitätsklassen erzählen, die logischen Programme machen wir später. |
| |
|
| Heute: |
Heute: |
| |
|
|
WissensbasierteSysteme
