In this paper we characterize topologically the empty interior subsets of a compact surface S which can be -limit sets of recurrent orbits (but of no nonrecurrent ones) of continu...
We add two minimum level nonplanar (MLNP) patterns for trees to the previous set of tree patterns given by Healy et al. [3]. Neither of these patterns match any of the previous pat...
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
This paper gives a theoretical framework for clustering a set of conceptual graphs characterized by sparse descriptions. The formed clusters are named in an intelligible manner thr...
This paper addresses the question “Can the object be pushed from here to there?” We characterize the set of objects that are controllable (can be positioned arbitrarily), with...