Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Till Mossakowski

Adresse Universität Osnabrück
Institut für Informatik
Lehrstuhl Wissensverarbeitung in hybriden KI-Systemen
Wachsbleiche 27
49090 Osnabrück

Projekte

Als Antragsteller
- laufende Projekte
  - Erweiterungen von Ontologien strukturierter Entitäten (Sachbeihilfen)
- abgeschlossene Projekte
  - Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1498: Semantische Integration raumbezogener Information (Internationale Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Specification for the Integration of Spatial Concepts (Transregios)
  - [LogoSpace] Constraint-basierte Schlussverfahren für qualitative räumliche und raumzeitliche Formalismen (Transregios)
  - [OntoSpace] Ontologien für Kommunikation über Raum (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung (Sachbeihilfen)
  - Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz