This note proposes various axiomatizations of contingency logic under neighborhood semantics. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a fun...

the purpose of this paper is to analyze the utility operating radius and service on city parks in ardabil neighborhood, local, regional and urban level, to investigate the relationship between the distribution of these parks with water levels in the city of ardabil, including shorabil lake and balyqlv river and reviews for distribution park. the data and information used by documentary. to anal...

We describe and compare heuristic solution methods for a multi-stage stochastic network interdiction problem. The problem is to maximize the probability of sufficient disruption of the flow of information or goods in a network whose characteristics are not certain. In this formulation, interdiction subject to a budget constraint is followed by operation of the network, which is then followed by...

The year 2014 confronted European policy-makers with a qualitatively altered situation. For the first time in many years an interstate conflict in Europe – manifested as an inner-state conflict – is being resolved by military means. Persistent uncertainty and a growing potential for conflict are the new realities the European Union (EU) must face – in its eastern neighborhood as well as in the ...

In this paper, we study how an individual in a social network should decide whether or not to adopt a trend, based on how many people in his/her neighborhood in the social network adopted the trend. In particular we are interested in the question in what adoption policy leads to an optimal trend-adoption in the sense that an individual only adopts a trend if the majority of his/her social netwo...

In this paper, we design a local classification algorithm using implicit link analysis, considering the situation that the labeled and unlabeled data are drawn from two different albeit related domains. In contrast to many global classifiers, e.g. Support Vector Machines, our local classifier only takes into account the neighborhood information around unlabeled data points, and is hardly based ...

In this study, an optimization model is proposed to design a Global Supply Chain (GSC) for a medical device manufacturer under disruption in the presence of pre-existing competitors and price inelasticity of demand. Therefore, static competition between the distributors’ facilities to more efficiently gain a further share in market of Economic Cooperation Organization trade agreement (ECOTA) is...