9405 search results - page 8 / 1881 » Computing a Model of Set Theory |
DCC
2006
IEEE
15 years 9 months ago
2006
IEEE
LPNMR
2007
Springer
15 years 3 months 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...
GRC
2007
IEEE
15 years 1 months ago
2007
IEEE
TCS
2011
14 years 4 months ago
2011
COMPUTING
2006
14 years 9 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...