Trace Refinement of Action Systems.

Ralph-Johan Back Joakim von Wright

Published in: CONCUR (1994)

Keyphrases

databases
artificial intelligence
management system
neural network
complex systems
learning systems
knowledge based systems
intelligent systems
database systems
machine learning
probabilistic model
information retrieval systems
expert systems
computer systems
genetic algorithm
systems require
action sequences