Quantitative and Stream Extensions of Answer Set Programming
This work addresses the need for a unified approach in logic programming for researchers, but it appears incremental as it combines existing extensions.
The authors tackled the problem of integrating constraints, streaming capabilities, and quantitative reasoning in Answer Set Programming by proposing a general framework based on Here-and-There Logic and Weighted Logic, but no concrete results or numbers are provided.
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.