Institutions for Behaviour Specification.

José Luiz Fiadeiro José Félix Costa

Published in: COMPASS/ADT (1994)

Keyphrases

data sets
case study
high level
formal specification
databases
neural network
machine learning
information systems
bayesian networks
information technology
qualitative models
specification language
user behaviour
open multiagent systems