I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Metric Temporal Description Logics with Interval-Rigid Name:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
ACM Transactions on Computational Logic (TOCL).  21 (2020)  4 - p. 1-46 , 2020
Link: https://dl.acm.org/doi/10.1145/3399443