We are presenting in this volume selected, peer-reviewed, short papers that were presented at the 3rd International Conference on Variable Neighborhood Search (VNS’14) which took place in Djerba, Tunisia, during October 8-11, 2014.

Available online 31 July 2008

execution of every planned program in cities has different process. process involves inhabitant's preferences, capacity of area or neighborhood, scale of people participation. after these strategies plans will prepared and executors apply them. planning in city scale considering potentials of area and participation of people is very important stage to eliminate undesirable appearances of c...

The neighborhood has had a long history in Iranian urbanization. Since urban plans wereintroduced by the authorities to shape urban development in Iran half a century ago, the concept of Iranian traditional neighborhood has been neglected gradually. The concept of neighborhood has not found the appropriate status in urban design and planning yet. One of the main reasons is that academics, profe...

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our mai...

In this paper we propose a general variable neighborhood search approach for the balanced location problem. Next to large shaking neighborhoods, the embedded variable neighborhood descent utilizes three neighborhood structures that focus on different solution aspects. By a computational study, we show that this VNS outperforms existing methods with respect to average solution quality and stabil...

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...