BriefGPT.xyz
Ask
alpha
关键词
expiration control
搜索结果 - 1
MM
基于增量 ASP 的流推理系统 Ticker
介绍了一种名为 Ticker 的原型引擎,该引擎可对流数据进行逻辑推理,并通过提供灵活的过期控制和时间模态扩展了 Answer Set Programming。
PDF
7 years ago
Prev
Next