| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 26.08.2008 | Martin Giese? | Buerommet, 3. etage? | Planleggingsm?te? | obl. oppm?te? |
| 05.09.2008 | Espen Lian? | Buerommet? | Computing Default Extensions by Reductions on OR? | KR artikkel? |
| 12.09.2008 | (utg?r)? | ? | ? | ? |
| 19.09.2008 | utg?r pga sykdom? | ? | ? | ? |
| 26.09.2008 | Martin ? | Buerommet ? | A Logic with Subtypes to talk about Java Objects? | Rapport om samband mellom Java typesystem og logikk (delvis litt inkonsistent)Tableaux 05 artikkel om kalkyle og kompletthet? |
| 03.10.2008 | utg?r p.g.a. Rogers Disputas? | ? | ? | ? |
| 10.10.2008 | Evgenij Thorstensen? | Buerommet? | NG Hypertableaux for Coherent Logikk? | ? |
| 17.10.2008 | Frederik R?nnevig? | Buerommet? | Checking Consistency of Bayesian Networks with Description Logic annotations? | ? |
| 24.10.2008 | (utg?r)? | ? | ? | ? |
| 31.10.2008 | (utg?r)? | ? | ? | ? |
| 07.11.2008 | Martin Giese? | Buerommet? | Epsilon terms for Automated/Interactive Theorem Proving? | Tableaux 99 paper?? |
| 21.11.2008 | ?shild Johnsen? | Buerommet? | Deontisk Logikk og Myrderparadokset? | Presentasjon av ParadoksetForslag til l?sning? |
Undervisningsplan
Publisert 18. aug. 2008 13:42
- Sist endret 9. nov. 2008 22:07