Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).Marie Fortin,Boris Konev,Vladislav Ryzhikov, Yury Savateev,Frank Wolter,Michael ZakharyaschevInternational Workshop on Description Logics (DL)（2022）引用 0|浏览34暂无评分AI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
