English version of this page

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

Les mer

---

Analyse

Simulering, Verifikasjon, Teorembevis, Modellsjekking, Statisk analyse

Les mer

---

Modelldrevne informasjonssystemer

Semantiske teknologier, Dataintegrasjon, "Data Access", Databaser

Les mer

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