2611 search results - page 113 / 523 » A Logic for Concepts and Similarity |
162
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...
134
click to vote
GEOS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
115
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
113
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- the paper presents a possibility formulation of oneparameter estimation that unifies some usual probability formulations. Point and confidence interval estimation are un...
138
click to vote
IFM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...