Real-Time Specification and Modeling with Joint Actions.

Reino Kurki-Suonio Kari Systä Jüri Vain

Published in: Sci. Comput. Program. (1993)

Keyphrases

real time
low cost
action language
vision system
situation calculus
plan recognition
database
artificial intelligence
social networks
general purpose
formal specification
real time systems
action theories