1960 search results - page 45 / 392 » The Logic of Large Enough |
111
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
116
click to vote
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
After being niche markets for several years, application markets for one-chip integration of large DRAMs and logic circuits are growing very rapidly as the transition to 0.25
100
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
101
click to vote
DEXAW
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
119
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...