Multi-round Reasoning Based on ASP: DLV2 Implemented Through Incremental Foundations

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出了一种基于DLV2的新型增量推理器,旨在满足快速变化数据环境中的推理需求,显著提升了推理性能,适用于流推理和事件处理。

🏷️

标签

➡️

继续阅读