Nondeterminism in Constructive Z.

Hassan Haghighi Seyed-Hassan Mirian-Hosseinabadi

Published in: Fundam. Informaticae (2008)

Keyphrases

situation calculus
neural network
data structure
control system
planning domains
htn planning
open shop scheduling