2521 search results - page 436 / 505 » Semantic Component Composition |
CADE
2004
Springer
14 years 3 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
JCDL
2003
ACM
14 years 3 months ago
2003
ACM
To support non-trivial clients, such as data exploration and analysis environments, digital libraries must be able to describe the access modes that their contents support. We pre...
AIIA
2003
Springer
14 years 3 months ago
2003
Springer
This paper aims at presenting the application of first-order logic machine learning techniques to two document domains in order to learn rules for recognizing the semantic role of...