1943 search results - page 16 / 389 » Ordering Default Theories |
AML
1999
13 years 8 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...
DIS
2001
Springer
14 years 29 days ago
2001
Springer
Scientists need customizable tools to help them with discovery. We present an adjustable heuristic function for scientific discovery. This function may be considered in either a Mi...
MSWIM
2009
ACM
14 years 3 months ago
2009
ACM
It is common practice in wireless multihop network evaluations to ignore interfering signals below a certain signal strength threshold. This paper investigates the thesis that thi...
SYNTHESE
2008
13 years 8 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
RTA
1998
Springer
14 years 20 days ago
1998
Springer
The system FT