Interleaving isotactics - An equivalence notion on behaviour abstractions.

Artem Polyvyanyy Jan Sürmeli Matthias Weidlich

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

Keyphrases

equivalence relation
high level
user behaviour
strong equivalence
database
knowledge base
multi agent
video sequences
expert systems
logic programs