3907 search results - page 24 / 782 » Time, Knowledge, and Choice |
NIPS
2003
13 years 9 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
EKNOW
2009
13 years 5 months ago
2009
For decades hypertext has provided a means for structuring information. Versioning has been perceived as very important for hypertext, but research focusing on it has targeted alm...
ATAL
2005
Springer
14 years 1 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 ...
WEBI
2009
Springer
14 years 10 days ago
2009
Springer
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
ICCBR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...