Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize traditional game trees. The paper ends with suggestions about other game theory concepts that ca...

It is commonly agreed that Wireless Sensor Networks (WSN) is one of the technologies that better fulfills features like the ones required by Critical (Information) Infrastructures. However, a sensor network is highly vulnerable against any external or internal attacks, thus network designers must know which are the tools that they can use in order to avoid such problems. In this paper we descri...

environmental impact assessment (eia) reports of projects in different development sectors in sudan (agriculture, roads and highways, power generation, oil production, river engineering projects) were analyzed to investigate how these studies corresponded with the local, regional, international and good practice requirements. the results of the analysis illustrated some variations in the practi...

public participation is counted as one of the main indexes in sustainable urban management.based on their nature, metropolitan cities has several and complex problems. for this purpose tehranmetropolitan area is selected. quantitative strategic planning matrix (qspm) weighted through a made-byresearcherquestionnaire. the reliability of the model was verified by cronbach’s alpha coefficient. eva...

Some domains, such as real-time strategy (RTS) games, pose several challenges to traditional planning and machine learning techniques. In this paper, we present a novel on-line case-based planning architecture that addresses some of these problems. Our architecture addresses issues of plan acquisition, on-line plan execution, interleaved planning and execution and on-line plan adaptation. We al...

Agents that engage in a dialogue about co-operative plans need to argue about the planning elements in a structured way. We present a Dialogue Game protocol based on an argumentation scheme for plan proposals and associated critical questions that allows agents to engage in dialogues regarding such plans. The syntax of the protocol is presented along with dialogue game rules that allow agents t...

most of the analyses and modeling concerning the mountain physical and human environmental changes have been based on theoretical speculation rather than scientific field observations. lack of standard observations and measurements in scattered and case specific monitoring programs offer only partially useful results for planning and management. all propositions and conclusions are hence mingle...

In general, underground spaces are associated with high risks because of their high uncertainty in geotechnical environments. Since most accidents and incidents in these structures are often associated with uncertainty, the development of risk analysis and management methods and prevention of accidents are essential. A deeper recognition of the factors affecting the implementation process can p...