This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...