9405 search results - page 8 / 1881 » Computing a Model of Set Theory |
120
Voted
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
177
Voted
LPNMR
2007
Springer
16 years 15 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
156
Voted
GRC
2007
IEEE
15 years 10 months ago
2007
IEEE
143
Voted
TCS
2011
15 years 1 months ago
2011
153
Voted
COMPUTING
2006
15 years 6 months ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...