3571 search results - page 255 / 715 » Cohen and Set Theory |
231
click to vote
JSAI
2007
Springer
16 years 26 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
175
click to vote
WEBI
2007
Springer
16 years 25 days ago
2007
Springer
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
157
Voted
SIGDOC
2006
ACM
16 years 20 days ago
2006
ACM
The ethical conduct of research is a cornerstone of modern scientific research. Computer science and the discipline’s technological artifacts touch nearly every aspect of moder...
212
click to vote
AIIA
2005
Springer
16 years 8 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
147
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...