Sciweavers

74 search results - page 8 / 15
» Local Models Semantics, or Contextual Reasoning = Locality ...
Sort
View
STACS
2010
Springer
14 years 2 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
DLOG
1996
13 years 9 months ago
Resolving Semantic Heterogeneity in Databases with a Terminological Model: Correspondence Refinement
The success of schema integration in multidatabase systems relies heavily on the determination of complete and refined correspondence relationships between them. So, the candidate...
Ounissa Larab, Aïcha-Nabila Benharkat
ENC
2005
IEEE
14 years 1 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...
ACL
2009
13 years 5 months ago
Prediction of Thematic Rank for Structured Semantic Role Labeling
In Semantic Role Labeling (SRL), it is reasonable to globally assign semantic roles due to strong dependencies among arguments. Some relations between arguments significantly char...
Weiwei Sun, Zhifang Sui, Meng Wang
FSTTCS
2010
Springer
13 years 5 months ago
Global Escape in Multiparty Sessions
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
Sara Capecchi, Elena Giachino, Nobuko Yoshida