5290 search results - page 122 / 1058 » Knowledge Processing in Intelligent Systems |
AUSAI
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
AIED
2007
Springer
15 years 4 months ago
2007
Springer
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
AIIA
1997
Springer
15 years 2 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper reveals weaknesses of existing e-learning system and puts forward a novel architecture of five layers from the perspective of knowledge innovation. Learner interface ...