Semantics of Unbounded Nondeterminism.

Ralph-Johan Back

Published in: ICALP (1980)

Keyphrases

situation calculus
formal semantics
logical language
real time
data sets
social networks
default reasoning
databases
relational databases
logic programming
active rules