In this work we focus on situation calculus action theories over generalized databases with equality constraints, here called GFDBs, which are able to finitely represent complete information over a possibly infinite number of objects. We contribute with the following: i) we show that GFDBs characterize the class of definitional KBs and that they are closed under progression; ii) we show that te...

We define homogeneous classes of x-dependent anisotropic symbols Ṡ γ,δ(A) in the framework determined by an expansive dilation A, thus extending the existing theory for diagonal dilations. We revisit anisotropic analogues of Hörmander-Mihlin multipliers introduced by Rivière [22] and provide direct proofs of their boundedness on Lebesgue and Hardy spaces by making use of the well-established Ca...

In this article, we will be concerned with questions related to the boundedness of the Riesz transform on manifolds. Since the seminal work of Coulhon and Duong [4], who gave sufficient conditions on the heat kernel so that the Riesz transform is bounded on Lp for 1 < p ≤ 2, several authors have investigated both necessary and sufficient conditions for the boundedness of the Riesz transform on ...

This paper addresses the problem of finite-time H∞ filtering for one family of singular stochastic systems with parametric uncertainties and time-varying norm-bounded disturbance. Initially, the definitions of singular stochastic finite-time boundedness and singular stochastic H∞ finitetime boundedness are presented. Then, the H∞ filtering is designed for the class of singular stochastic system...