  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.
