2909 search results - page 243 / 582 » Consistency of the theory of contexts |
144
click to vote
APAL
2006
15 years 6 months ago
2006
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
146
click to vote
IJKL
2008
15 years 6 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...
181
click to vote
IJFCS
2006
15 years 6 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
203
click to vote
JAIR
2008
15 years 6 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
162
click to vote
JMIV
2008
15 years 6 months ago
2008
This paper focuses on the issue of translating the relative variation of one shape with respect to another in a template centered representation. The context is the theory of Diffe...