Weighted deduction with aggregation is a powerful theoretical formalism that encompasses many NLP algorithms. This paper proposes a declarative specification language, Dyna; gives general agenda-based algorithms for computing weights and gradients; briefly discusses Dyna-to-Dyna program transformations; and shows that a first implementation of a Dyna-to-C++ compiler produces code that is effici...

Abstract Longitudinal transformation of several hydrochemical parameters in the Moskva River was reviewed based on data extensive monitoring studies conducted 2019-2020. Changes chemical composition and their seasonal variation were quantified relation to only remaining natural part river above Mozhaysk Reservoir. We found that overall variability element concentrations not affected by anthropo...