Categorification and Group Extensions.

Lucian M. Ionescu

Published in: Appl. Categorical Struct. (2002)

Keyphrases

real world
artificial intelligence
default theories
database
machine learning
genetic algorithm
knowledge base
optimal solution
video sequences
object recognition
logic programming