232 search results - page 8 / 47 » I Know What I Know |
111
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
We all spend time every day looking for information in our email, yet we know little about this refinding process. Some users expend considerable preparatory effort creating compl...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
74
Voted
SYNTHESE
2010
14 years 8 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
150
click to vote
Lecture Notes
"This is a collection of algorithms for sorting and searching. Descriptions are brief and intuitive, with just enough theory thrown in to make you nervous. I assume you know C...