Undervisningsplan

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