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

Høst

Publikasjoner

Se her for en list av gruppemedlemmenes publikasjoner.

 

Publisert 8. nov. 2018 12:30 - Sist endret 30. jan. 2024 11:58

Kontakt

Gruppeleder: Martin Giese

Deltakere

Detaljert oversikt over deltakere