Refinement of Interface Automata Strengthened by Action Semantics.

Sebti Mouelhi Samir Chouali Hassan Mountassir

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

action descriptions
action language
cellular automata
user interface
logic programming
formal semantics
speech acts
semantic information
fluent calculus
formal languages
finite automata
action recognition
neural network
user friendly
action sequences
action theories
knowledge base
probabilistic automata
databases