The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurrence, which refer to the holding or not holding of various positional fluents at di...

General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on the other hand, have been developed to represent static knowledge with the help of decidable subsets of first order logic. In this paper, we show how to use Description Logic as the basis for a decidable yet still exp...

The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three stages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is c...

In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples in the extension of fluents is bounded by a given constant, although such extensions are in general different across the infinitely many situations. We argue that such theories are common in applications, either becau...

Abstract Thrust eccentricity refers to the phenomenon that thrust vector deviates from axis of symmetry. This will produce lateral force and torque around aircraft, which affects normal flight increases required control torque, reduces density uncontrolled rockets. There are three sources eccentricity: mass eccentricity, geometric aerodynamic eccentricity. The is caused by asymmetrical flow com...

Tracking humans that are interacting with the other subjects or environment remains unsolved in visual tracking, because the visibility of the human of interests in videos is unknown and might vary over time. In particular, it is still difficult for state-of-the-art human trackers to recover complete human trajectories in crowded scenes with frequent human interactions. In this work, we conside...

PURPOSE To use functional MR imaging to compare brain activation during processing of languages in which multilingual volunteers are fluent with brain activation during processing of languages in which they are not fluent. METHODS Echoplanar images were obtained for five right-handed male multilingual subjects who performed a language task in three languages, one of which was a language in wh...