1737 search results - page 161 / 348 » On Interpolation in Existence Logics |
196
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
263
click to vote
IFIPTM
2009
15 years 4 months ago
2009
Trust has been explored by many researchers in the past as a solution for assisting the process of recommendation production. In this work we are examining the feasibility of build...
174
click to vote
COLING
2010
15 years 2 months ago
2010
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
368
click to vote
AMW
2011
14 years 10 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
165
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
A major challenge for ontology integration is to deal with inconsistencies. Existing merging tools are based on classical logic and are forced to avoid inconsistencies (to prevent...