Partially ordered plans have not solved the goal ordering problem. Consider: a goal in a par­ tially ordered plan is an operator precondition that is not yet achieved; operators, orderings and variable bindings are introduced to achieve such goals. While the planning community has known how to achieve individual goals for some time, there has been little work on the prob­ lem of which one of th...

Let P = ({1, 2, . . . , n,≤) be a poset that is an union of disjoint chains of the same length and V = Fq be the space of N -tuples over the finite field Fq. Let Vi = F ki q , 1 ≤ i ≤ n, be a family of finitedimensional linear spaces such that k1 + k2 + . . . + kn = N and let V = V1⊕V2⊕ . . .⊕Vn endow with the poset block metric d(P,π) induced by the poset P and the partition π = (k1, k2, . . ....

Boolean Functional Vectors (BFVs) are a symbolic representation for sets of bit-vectors that can be exponentially more compact than the corresponding characteristic functions with BDDs. Additionally, BFVs are the natural representation of bit-vector sets for Symbolic Simulation. Recently, we developed set manipulation algorithms for canonical BFVs by interpreting them as totally ordered selecti...

In this paper, we describe how checking whether a given property F is true for a product A1 ×A2 of partially ordered spaces can be reduced to checking several related properties of the original spaces Ai. This result can be useful in the analysis of properties of intervals [a, b] def = {x : a ≤ x ≤ b} over general partially ordered spaces – such as the space of all vectors with component-wise o...

We construct a completely regular ordered space (X, T ,≤) such that X is an I-space, the topology T of X is metrizable and the bitopological space (X, T ♯,T ♭) is pairwise regular, but not pairwise completely regular. (Here T ♯ denotes the upper topology and T ♭ the lower topology of X.)

In this paper, some recent results established by Marin Borcut [M. Borcut, Tripled fixed point theorems for monotone mappings in partially ordered metric spaces, Carpathian J. Math. 28, 2 (2012), 207--214] and [M. Borcut, Tripled coincidence theorems for monotone mappings in partially ordered metric spaces, Creat. Math. Inform. 21, 2 (2012), 135--142] are generalized and improved, with much sho...

in this paper we obtain lower and upper estimates for the essential norms of generalized composition operators from weighted dirichlet spaces or bloch type spaces to $q_k$ type spaces.

Hermann proposed that mesomorphic media should be classified by assigning certain "statistical symmetry groups" to each possible partially ordered array. Two translational groups introduced were called superordinate and subordinate. We find that the average density in such a partially ordered medium has the superordinate symmetry ~, while the pair correlation function has the subordinate symmet...

The purpose of this paper is to establish some fixed point results for a class generalized $(\phi, \psi)$-weak contraction mapping in partially ordered $b$-metric space. This necessarily have unique under relation Also, the common and coincidence points self mappings are presented. These generalize extend an existing literature. Some illustrations given at end support results.