Undecidability Results for Finite Interactive Systems.

Alexandru Sofronia Alexandru Popa Gheorghe Stefanescu

Published in: SYNASC (2008)

Keyphrases

interactive systems
human computer interaction
description logics
user interface
digital entertainment
artificial intelligence
finite automata
expert systems
social intelligence
database
machine learning
transitive closure
answering queries
probabilistic planning