Undervisningsplan
| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 18.08.2003 | - | Planleggingsmøte | ||
| 01.09.2003 | Arild og Johan | Om Horty/inheritance networks | [Some Direct Theories of Nonmonotonic Inheritance, 1994] | |
| 08.09.2003 | Espen | Ekstensjonsbegreper i AEL, inheritance networks | ||
| 15.09.2003 | Iselin | Sammenhenger KLM -- Horty -- Æ | ||
| 22.09.2003 | Bjørnar | Levesque "All I know" | ||
| 29.09.2003 | Bjørnar, Iselin | Levesque "All I know" | ||
| 06.10.2003 | Bjørnar, Iselin | Levesque "All I know" | ||
| 13.10.2003 | Espen | Modal reduction theorem (med prioriteringer) | ||
| 20.10.2003 | Espen | Modal reduction theorem (med prioriteringer) | ||
| 27.10.2003 | Johan | Æ | ||
| 03.11.2003 | Iselin | Prioriteringer | ||
| 10.11.2003 | Bjørnar | Modeller for multiagentresonnering | ||
| 17.11.2003 | Christian | Incremental Closure of Free Variable Tableaux | Foiler | |
| 24.11.2003 | Christian | Incremental Closure of Free Variable Tableaux | ||
| 01.12.2003 | Christian | Incremental Closure of Free Variable Tableaux |
Publisert 6. nov. 2003 10:51
- Sist endret 2. des. 2003 17:06