A Continuous Semantics for Unbounded Nondeterminism.

Ralph-Johan Back

Published in: Theor. Comput. Sci. (1983)

Keyphrases

formal semantics
logic programming
speech acts
real time
situation calculus
logical language
database
machine learning
artificial intelligence
website
keywords
relational databases
orders of magnitude
operational semantics