The COVID pandemic has devastated the world economy, which also caused serious slumps in Western developed countries. Although they have adopted "ultra-easy" monetary policy, real economy did not emerge from recessions because of it and a global "liquidity bubble" was instead. economic recession by countries may last for years. governments some United States Europe strong state intervention met...

The article presents the results of a study types response among bailiffs-executors in stressful situations. relevance is driven by need to search for effective strategies and technologies psychological support bailiff officers which due high riskiness stressfulness their professional activities. involved 675 bailiffs-executors, 410 males (60.7%) 265 females (39.3%) aged 21 59 years. In our res...

. it can be claimed that no other country in the world possesses such a geopolitical situation. although such a situation provides the country with a set of opportunities, any wrong decision-making, apart from national and international realities, in choosing the focus of policies and foreign relations activities may turn it into a ground for crisis and continued failure for iran. this paper se...

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...

In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...

Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees o...