Tetris and decidability.

Hendrik Jan Hoogeboom Walter A. Kosters

Published in: Inf. Process. Lett. (2004)

Keyphrases

description logics
query answering
knowledge base
data structure
learning environment
video sequences
information technology
knowledge representation
incomplete information
object model
computational properties
decision procedures