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
- IN3000/IN4000 – Operativsystemer
- IN3020/IN4020 – Databasesystemer
- IN3060/IN4060 – Semantiske teknologier
- IN5580 – Computability theory
- IN5800 – Declarative Data Engineering
- IN-STK5100/IN-STK9100 – Reinforcement Learning and Decision Making Under Uncertainty
Høst
- IN1150 – Logiske metoder (digital versjon)
- IN2010 – Algoritmer og datastrukturer
- IN2090 – Databaser og datamodellering
- IN3070/IN4070 – Logikk
- IN5040/IN9040 – Advanced Database Systems for Big Data
- IN5070/IN9070 – The future internet protocols
- IN-STK5000/IN-STK9000 – Adaptive metoder for data-baserte beslutninger
Publisert 8. nov. 2018 12:30
- Sist endret 1. nov. 2021 09:11