English version of this page

Analytiske Systemer og Resonnering (ASR)

Om gruppen

Alt vi jobber med i ASR er relatert til en eller flere av disse forskningsfeltene:

Ontologier, "Active Objects", Omskrivningslogikk

Simulering, Verifikasjon, Teorembevis, Modellsjekking, Statisk analyse

Semantiske teknologier, Dataintegrasjon, "Data Access", Database

Publisert 8. nov. 2018 12:30 - Sist endret 8. aug. 2019 09:00

Gruppeleder: Martin Giese

Ledige masteroppgaver