4382 search results - page 435 / 877 » Query by Semantic Example |
152
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
141
click to vote
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
123
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
128
click to vote
IJFCS
2008
15 years 4 months ago
2008
We present GLinClosure, a graded extension of the well-known LinClosure algorithm. GLinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute i...
126
click to vote
TOPLAS
2008
15 years 4 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...