12753 search results - page 2189 / 2551 » is 2002 |
179
click to vote
JANCL
2002
15 years 6 months ago
2002
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
132
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
197
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
180
click to vote
JASIS
2002
15 years 6 months ago
2002
This article engages one of the most important concepts in Knowledge Management, namely, the concept of social capital, focusing upon the problem of measure and value in capitali...
170
click to vote
JASIS
2002
15 years 6 months ago
2002
In this paper we report on a series of experiments designed to investigate the combination of term and document weighting functions in Information Retrieval. We describe a series ...