Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis of a general framework that incorporates all three directions of extension by exploiting the strengths of Here-and-There Logic and Weighted Logic.

中文翻译：

---

答案集编程的定量和流扩展

答案集编程已单独扩展到约束、流域以及推理与答案集相关的数量的能力。我们建议通过利用这里和那里逻辑和加权逻辑的优势引入和分析一个包含所有三个扩展方向的通用框架。