Skip to content Skip to footer

Research Portal of the TU Dresden

Metric Temporal Description Logics with Interval-Rigid Names

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Franz Baader - , Chair of Automata Theory (Author)
Stefan Borgwardt - , Chair of Automata Theory (Author)
Patrick Koopmann - , Chair of Automata Theory (Author)
Ana Ozaki - , Chair of Knowledge-based Systems (cfaed) (Author)
Veronika Thost - , Chair of Automata Theory (Author)

Details

Original language	English
Title of host publication	Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17)
Pages	60-76
Number of pages	17
Publication status	Published - 2017
Peer-reviewed	Yes

External IDs

researchoutputwizard	legacy.publication#76805
Scopus	85029597862
ORCID	/0000-0002-4049-221X/work/142247896

Keywords