1917 search results - page 110 / 384 » Experimenting with Nonmonotonic Reasoning |
79
Voted
AIED
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes an adaptive system called VL-PATSy, an extension to an existing system (PATSy) that adds a mechanism for serving vicarious learning (VL) resources. Vicarious l...
102
Voted
IFL
2005
Springer
15 years 6 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
134
click to vote
AIIA
1991
Springer
15 years 4 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
100
Voted
DLOG
2008
15 years 3 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
148
click to vote
CEFP
2007
Springer
15 years 7 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...