Metric temporal description logics with interval-rigid names. (English) Zbl 1446.68145
MSC:
68T27 | Logic in artificial intelligence |
03B44 | Temporal logic |
68Q17 | Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) |
68T30 | Knowledge representation |