1917 search results - page 222 / 384 » Experimenting with Nonmonotonic Reasoning |
168
click to vote
JSS
2010
15 years 15 days ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
154
click to vote
LACL
2001
Springer
15 years 10 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
195
click to vote
LWA
2004
15 years 7 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
146
click to vote
ICMAS
1998
15 years 7 months ago
1998
The University of Michigan Digital Library (UMDL) is an open system that allows third-parties to build and integrate their own profit-seeking agents into the marketplace of inform...
162
click to vote
IJCAI
1989
15 years 6 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...