7960 search results - page 265 / 1592 » Systems for Knowledge and Beliefs |
LFCS
2007
Springer
14 years 5 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
ACMDIS
2006
ACM
14 years 5 months ago
2006
ACM
People often use powerful tools to manage the documents they encounter, but very rarely to store the mental knowledge they glean from those documents. Popcorn is a personal knowle...
AIME
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
AIED
2009
Springer
14 years 3 months ago
2009
Springer
Cognitive Tutors have been shown to lead to impressive improvement in student learning in a range of domains, including middle school mathematics. Most Cognitive Tutors focus on pr...
AGENTS
2000
Springer
14 years 3 months ago
2000
Springer
This paper describes a method of exchanging tacit community knowledge using talking-virtualized-egos. We aim at sharing tacit knowledge in a community, for this purpose, we propos...