| 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? | ? |
Undervisningsplan
Publisert 6. nov. 2003 10:51
- Sist endret 2. des. 2003 17:06