Activity Specification Using Randezvous.

Chawki Tawbi Ghaleb Jaber Marc Dalmau

Published in: Rules in Database Systems (1995)

Keyphrases

temporal ordering
neural network
mobile robot
activity patterns
databases
website
multi agent
data structure
user defined
formal verification
formal language