期刊详情
Proceedings Of The International Workshop On Temporal Representation And Reasoning
立即访问
语言：
英文
所在数据库：
Institute Of Electrical And Electronics Engineers Inc.
更新时间：
2026-04-07 13:53:15
期刊详情
Proceedings Of The International Workshop On Temporal Representation And Reasoning 《国际时间表示与推理研讨会论文集》（TIME）发表时间逻辑、时间数据库及动态系统推理研究。内容涵盖时间约束满足、事件演算、时序数据挖掘及人工智能中的时间认知，探讨时间在计算与逻辑中的形式化表达。