in order to express his visionary experiences, baha-e-valad has innovated his own symbols and imagery. such illustrations of imagination may be interpreted as the product of his intuitive experiences of visits to the realm of ideas referred to as a vision of one's self in psychological, mystic terms. the present study, in an attempt to study and analyze the nature of the symbols in baha-e-valad...

Planning provides the basis for a theory of language generation that considers the communicative goals of the speaker when producing utterances. One central problem in designing a system based on such a theory is specifying the requisite linguistic knowledge in a form that interfaces well with a planning system and allows for the encoding of discourse information. The TELEGRAM (TELEological GRA...

In this paper we show how to extend a set unification algorithm— that is, an extended unification algorithm incorporating the axioms of a simple theory of sets—to hyperset unification (roughly speaking, to sets in which membership can form cycles). This result is obtained by enlarging the domain of terms (hence, trees) to that of graphs involving free as well as interpreted function symbols (na...

We reformulate Danos contractibility criterion in terms of a sort of unification. As for term unification, a direct implementation of the unification criterion leads to a quasi-linear algorithm. Linearity is obtained after observing that the disjoint-set unionfind at the core of the unification criterion is a special case of union-find with a real linear time solution.