7960 search results - page 170 / 1592 » Systems for Knowledge and Beliefs |
KES
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes Gallery, which is our under developing experimental system for supporting the management of personal digital knowledge repositories and which enables its users...
TSD
2001
Springer
14 years 2 months ago
2001
Springer
Two kinds of systems have been defined during the long history of WSD: principled systems that define which knowledge types are useful for WSD, and robust systems that use the info...
WOA
2003
13 years 11 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
APCHI
2004
IEEE
14 years 2 months ago
2004
IEEE
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...