3353 search results - page 51 / 671 » Laver and set theory |
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
ISIPTA
1999
IEEE
15 years 2 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
EUSFLAT
2007
14 years 11 months ago
2007
Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and ...
IJCAI
1993
14 years 11 months ago
1993
The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
ADC
2003
Springer
15 years 3 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...