the present article studies and analyses plan and planning in iran with respect to parameters of the idea of formation, birth, objectives, strategy and its functioning. iran has half-a-century record of planning, and has implemented 7 constructional and developmental plans so far (5 plans before and 2 plans after the revolution). right now, iran is implementing her third developmental plan. two...

In this paper, we describe a methodology for reactively revising schedules in response to unexpected events. The approach is based on recognition of constraint conflicts in the existing schedule. Alternative scheduling actions, each offering selective advantages for conflict resolution, are available for resolving these conflicts. We present a model for action selection based on an analysis of ...

Autonomous agents usually plan their actions. Sometimes agents can autonomously construct their plans and just benefit from cooperation, and sometimes they cannot even do without using resources from another. We distinguish two ways to facilitate cooperation by using each others resources. With service-based plan coordination agents offer resources they can produce for others. With request-base...

My current main project concerns the study of the interaction between the theory of operads and genuine equivariant homotopy theory. Briefly, an operad (introduced by May in [13]) consists of a sequence Oˆn of sets/spaces of “n-ary operations” together with Σn-actions and suitable compositions. The main point of operad theory is then the study of the algebras over a fixed operad O, which are o...

1 procedure eres(T, C) 2 // T is a set of clauses 3 // C is a sometime clause Q ⇒ A♦¬l or Q ⇒ E♦¬l〈LC(ind)〉 4 begin 5 if C is an A-sometime clause then 6 SOS := {D | D is a global or step clause in T}; 7 else if C is an E-sometime clause then 8 SOS := {D | D is a global, A-step, or E-step clause with the index ind in T}; 9 end if 10 i := 0; 11 H−1(x) := true; 12 do 13 Goals := {ls(x) ∨ ¬Ql(app(...

Limited weight-bearing is clinically prescribed when sportspersons use crutches or canes during the process of fracture-healing or certain post-hip, knee and ankle pathologies as well as surgical procedures. The general medical prescription in these cases include instructions such as nonweight-bearing (0WB), touch-weight-bearing (TWB), partial weight-bearing (PWB) and full weight-bearing (FWB)....