Predicate completion is an approach to closed world reasoning which assumes that the given sufficient conditions on a predicate are also necessary. Circumscription is a formal device characterizing minimal reasoning i.e. reasoning in minimal models, and is realized by an axiom schema. The basic result of this paper is that for first order theories which are Horn in a predicate P, the circumscri...

in view of the geopolitical statue of caucasus in the region and the world and domestic problems of caucasus region, we face different and sometimes contradictory forces and interests in the region. and political, economic, security, cultural, and… developments are result of interaction between these different and sometimes contradictory forces and interests.