| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 23.01.2006 | ? | ? | planleggingsm?te? | ? |
| 31.01.2006 | Roger? | ? | variabelsplitting? | ? |
| 07.02.2006 | Roger? | ? | variabelsplitting ? | ? |
| 14.02.2006 | Roger? | ? | variabelsplitting? | ? |
| 21.02.2006 | ? | ? | AVLYST? | ? |
| 28.02.2006 | ? | ? | AVLYST? | ? |
| 07.03.2006 | Arild & Morten? | ? | Description Logics ? | F. Baader og W. Nutt. Basic Description Logics i The Description Logic Handbook, 2003, s. 47-100? |
| 14.03.2006 | Morten? | ? | Description Logics? | ibid.? |
| 21.03.2006 | ? | ? | AVLYST? | ? |
| 28.03.2006 | Erik? | ? | termindeksering ? | ? |
| 04.04.2006 | Arild? | ? | Description Logics? | ibid.? |
| 11.04.2006 | ? | ? | P?SKE (ingen undervisning)? | ? |
| 18.04.2006 | ? | ? | P?SKE (ingen undervisning)? | ? |
| 25.04.2006 | Christian? | ? | inkrementell lukking? | ? |
| 02.05.2006 | Christian? | 3A? | Matrix Characterisation of Validity in Automated Proof Search? | Det blir ikke seminar, men Christian skal snakke p? DBSEM kl. 12:15-14:00.? |
| 09.05.2006 | Martin? | ? | S5? | ? |
| 16.05.2006 | ? | ? | UTSATT? | ? |
| 23.05.2006 | Espen? | ? | SAT-solving? | ? |
Undervisningsplan
Publisert 9. jan. 2006 11:42
- Sist endret 7. feb. 2020 16:03