7960 search results - page 191 / 1592 » Systems for Knowledge and Beliefs |
AMAI
2004
Springer
14 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...
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
Internet should be used to reduce distances and bring people virtually closer. Using ICT, many people has overcome the problem of digital divided [1] thanks to support of informat...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Workflow management technology has evolved from efficiency-oriented process automation tools to knowledge network building and support systems. This paper presents a workflow mana...
AIED
2007
Springer
14 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...
ECML
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...