1548 search results - page 202 / 310 » Semantics and Extensions of WS-Agreement |
167
click to vote
WMPI
2004
ACM
16 years 7 days 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...
187
click to vote
CADE
2004
Springer
16 years 7 days 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...
199
click to vote
KR
2004
Springer
16 years 5 days 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...
197
click to vote
RTA
2004
Springer
16 years 5 days 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...
218
click to vote
SPATIALCOGNITION
2004
Springer
16 years 5 days 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...