弗协调认知逻辑
paraconsistent epistemic logic
时态认知逻辑
temporal epistemic logics
Temporal Logics of Knowledge
temporal epistemic logic
动态描述逻辑
dynamic description logic
动态描述逻辑DDL
dynamic description logic
分布式动态描述逻辑
distributed dynamic description logic
扩展模糊描述逻辑
extended fuzzy description logic
逻辑描述语言
LDL Logic Description Language
描述逻辑公式
description logic formulae
任意拉格朗日-欧拉描述(ALE描述)
arbitrary Lagrangian-Eulerlian description
时空描述逻辑
Spatio-temporal description logic
时序描述逻辑
temporal description logic
实体逻辑描述
physical logic description
PLD