Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism.

Published in: MFPS (2005)

Keyphrases

probability distribution
domain independent
web services
formal semantics
databases
machine learning
logic programming
theoretical analysis
semantic information
situation calculus
topological properties