Characterising Behavioural Equivalence: Three Sides of One Coin.

Clemens Kupke Raul Andres Leal

Published in: CALCO (2009)

Keyphrases

interactive dynamic influence diagrams
artificial intelligence
computer vision
information systems
data sets
decision making
e learning
face recognition
cooperative
information technology
datalog programs