EMSO-logic and automata related to homogeneous flow event structures.

K. Shahbazyan Yuri Shoukourian

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

Keyphrases

event detection
news reports
knowledge base
database
case study
data streams
logic programming
cellular automata
logical framework
event recognition
finite automata
proof theory