Metric temporal description logics with interval-rigid names: (Extended abstract)

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2 Citations
  • 1 Conference contribution
Filter
Conference contribution

Search results

  • 2017

    Metric temporal description logics with interval-rigid names

    Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2017, Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Dixon, C. & Finger, M. (eds.). Springer Nature, p. 60-76 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI)(International Symposium on Frontiers of Combining Systems; vol. 2017).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review