Decidability and Constructivism.

Jesús Ubaldo Quevedo-Torrero

Published in: ITNG (2009)

Keyphrases

learning theory
description logics
query answering
design principles
knowledge building
instructional design
learning theories
knowledge representation
decision procedures
type checking
data sets
computer vision
website
database systems
image sequences
optimal solution