Original scientific paper In this research, a new task planning algorithm is developed for building a desired object configuration from a given initial unordered object state. The task of the planning algorithm is to find a feasible set of actions, i.e. a finite number of discrete transformations, which can rearrange the objects into a desired ordered final state. The environment is interpreted...

A practical algorithm for 3-D interpretation of images taken in a sewer by a robot-inspector is presented. Modern sewers made of concrete present regular circular structures originating at the pipe ends as well as at the joints of the pipe sections. These pipe ends and joints provide regular marks on the sewer images and can be used for their 3-D interpretation. The key idea of the paper is to ...

The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a language and representations of their underlying meanings. This approach works well when the structural discrepancies between form and meaning representations are finitely bounded, but there are some phenomena in natu...