1548 search results - page 202 / 310 » Semantics and Extensions of WS-Agreement |
150
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
166
click to vote
CADE
2004
Springer
15 years 11 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...
172
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
171
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
183
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 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...