1948 search results - page 260 / 390 » Formalizing Mirror Theory |
128
Voted
IJKL
2008
15 years 5 months ago
2008
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
144
Voted
JAR
2008
15 years 5 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
147
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This philosophical paper discusses the benefits of describing the world as information, especially in the study of the evolution of life and cognition. Traditional studi...
163
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
146
Voted
DKE
2007
15 years 5 months ago
2007
In this paper we explore how (micro)economic theory can be used to analyze and model the exchange of information on the Web. More specifically, we consider searchers for informati...