1746 search results - page 96 / 350 » A Constructive Semantics for ALC |
321
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Top-k processing in uncertain databases is semantically and computationally different from traditional top-k processing. The interplay between score and uncertainty makes traditio...
177
click to vote
CONCUR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
177
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
153
click to vote
IJCNLP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
168
click to vote
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...