337 search results - page 56 / 68 » Axiomatizing Distance Logics |
101
Voted
EKAW
2006
Springer
15 years 7 months ago
2006
Springer
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
166
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
142
Voted
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
168
Voted
FUZZY
2004
Springer
15 years 9 months ago
2004
Springer
The revealed preference is a central subject in classical consumer theory. Authors like Samuelson, Arrow, Richter, Sen, Uzawa and others have proposed an axiomatic setting of reve...
161
Voted
CCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...