IWIM Semantics via Fibred Automata.

Richard Banach Farhad Arbab George A. Papadopoulos John R. W. Glauert

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

Keyphrases

semantic information
finite automata
formal semantics
social networks
logic programming
cellular automata
formal languages
databases
neural network
reinforcement learning
multi agent
finite state
transformation rules