Nondeterministic Modal Interfaces.

Ferenc Bujtor Sascha Fendrich Gerald Lüttgen Walter Vogler

Published in: Theor. Comput. Sci. (2016)

Keyphrases

modal logic
finite automata
user interface
real time
databases
multimedia
finite state
interface design
nonmonotonic logics
neural network
genetic algorithm
search algorithm
pairwise
high speed
markov decision processes
database interface