Inproceedings3157

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
  • Stefan BorgwardtStefan Borgwardt
  • Patrick KoopmannPatrick Koopmann
  • Ana OzakiAna Ozaki
  • Veronika ThostVeronika Thost
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory
  • Wissensbasierte SystemeKnowledge-Based Systems

Toggle side column

Metric Temporal Description Logics with Interval-Rigid Names

Franz BaaderFranz Baader,  Stefan BorgwardtStefan Borgwardt,  Patrick KoopmannPatrick Koopmann,  Ana OzakiAna Ozaki,  Veronika ThostVeronika Thost

• Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), to appear

• Details
• Bibtex

• Projekt:Project: Cfaed
• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory, Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{BBKOT2017,
  author    = {Franz Baader and Stefan Borgwardt and Patrick Koopmann and Ana
               Ozaki and Veronika Thost},
  title     = {Metric Temporal Description Logics with Interval-Rigid Names},
  booktitle = {Proceedings of the 11th International Symposium on Frontiers of
               Combining Systems (FroCoS'17)},
  year      = {2017}
}