Analytiske Systemer og Resonnering (ASR)
Forskning
Alt vi jobber med i ASR er relatert til en eller flere av disse forskningsfeltene:
Modellering
Ontologier, "Active Objects", Omskrivningslogikk
Analyse
Simulering, Verifikasjon, Teorembevis, Modellsjekking, Statisk analyse
Modelldrevne informasjonssystemer
Semantiske teknologier, Dataintegrasjon, "Data Access", Databaser
Undervisning
ASR underviser i følgende emner.
Vår
- IN1150 – Logiske metoder
- IN2080 – Beregninger og kompleksitet
- IN3020/IN4020 – Databasesystemer
- IN3060/IN4060 – Semantiske teknologier
- IN5580 – Computability theory
Høst
- IN1150 – Logiske metoder (digital versjon)
- IN2010 – Algoritmer og datastrukturer
- IN2090 – Databaser og datamodellering
- IN3070/IN4070 – Logikk
- IN-STK5000/IN-STK9000 – Adaptive metoder for data-baserte beslutninger
Publisert 8. nov. 2018 12:30
- Sist endret 20. mars 2020 13:29