Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Universität Osnabrück
Institut für Informatik
Lehrstuhl Wissensverarbeitung in hybriden KI-Systemen
Address
Wachsbleiche 27
49090 Osnabrück
Deutschland
GERiT
This institution in GERiT
49090 Osnabrück
Projects
Research Grants
Current projects
Structured-entities Ontology Extension
(Applicant
Mossakowski, Till
)
Completed projects
Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics and software engineering
(Applicants
Kohlhase, Michael
;
Mossakowski, Till
)
Formale Spezifikation, Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien
(Applicant
Sohr, Karsten
)
Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung
(Applicant
Krieg-Brückner, Bernd
)
CRC/Transregios
Completed projects
[LogoSpace] Constraint-based Reasoning in Qualitative Spatio-Temporal Calculi
(Project Heads
Mossakowski, Till
;
Nebel, Bernhard
;
Wölfl, Stefan
)
[OntoSpace] Ontologies for Spatial Communication
(Project Heads
Bateman, Ph.D., John
;
Lutz, Carsten
;
Mossakowski, Till
)
Specification for the Integration of Spatial Concepts
(Project Heads
Krieg-Brückner, Bernd
;
Mossakowski, Till
)
International Research Training Groups
Completed projects
GRK 1498: Semantic Integration of Geospatial Information
(Spokesperson
Kuhn, Werner
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung