Probability propositional calculus with doubled nonstandard semantics.

Published in: Kybernetika (1999)

Keyphrases

propositional calculus
probability distribution
real time
semantic information
conditional probabilities
probabilistic logic programs
database systems
programming language
bayesian networks
logic programming
probability theory
formal semantics
semantic representation
proof theory
logical language