866 search results - page 35 / 174 » A Formal Investigation of |
LOGCOM
2008
13 years 9 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
EUSFLAT
2007
13 years 11 months ago
2007
This paper deals with interval-valued fuzzy sets and I-fuzzy sets, Atanassov's intuitionistic fuzzy sets. They are treated in a systematic way as two, formally equivalent, na...
ECSQARU
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML r...
DLOG
2007
14 years 5 days ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...