4372 search results - page 3 / 875 » Data Semantics Revisited |
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
FUIN
2010
13 years 2 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
DASFAA
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. Query expansion has received extensive attention in information retrieval community. Although semantic based query expansion appears to be promising in improving retrieva...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...