1830 search results - page 175 / 366 » Centering in Dynamic Semantics |
EON
2008
15 years 1 months ago
2008
Abstract In this paper we present how Semantic Web Service technology can be used to overcome process and data heterogeneity in a B2B integration scenario. While one partner uses s...
IWFM
1998
15 years 1 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
100
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
109
click to vote
AML
2010
14 years 12 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
AML
2006
14 years 12 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...