Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Till Mossakowski

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

Projects

As Applicant
- Current projects
  - Structured-entities Ontology Extension (Research Grants)
- Completed projects
  - Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics and software engineering (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1498: Semantic Integration of Geospatial Information (International Research Training Groups)
As Project Head
- Completed projects
  - Specification for the Integration of Spatial Concepts (CRC/Transregios)
  - [LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi (CRC/Transregios)
  - [OntoSpace] Ontologies for Spatial Communication (CRC/Transregios)
As Participating Person
- Completed projects
  - Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung (Research Grants)
  - Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy