Undecidability Results for Finite Interactive Systems

Alexandru Sofronia Alexandru Popa Gheorghe Stefanescu

Published in: CoRR (2010)

Keyphrases

interactive systems
human computer interaction
description logics
finite automata
user interface
social intelligence
expert systems
domain independent
finite number
data mining
synthetic characters
unit length