1059 search results - page 96 / 212 » Standard Logics Are Valuation-Nonmonotonic |
RML
2002
13 years 9 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...
KI
2010
Springer
13 years 8 months ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
SAT
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
EUSFLAT
2009
13 years 8 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...