Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
This paper concerns the motivation for and subsequently the analysis of proposed additions, in the form of new operators, to a concept language Ontolog for use in querying a conten...
For natural translations, a human being does not express predicates that are inferable from the context in a target language. This paper proposes a method of machine translation w...
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...