Rewriting Logic and Probabilities.

Olivier Bournez Mathieu Hoyrup

Published in: RTA (2003)

Keyphrases

probability theory
probability distribution
classical logic
logic programming
probabilistic logic
query rewriting
modal logic
predicate logic
asynchronous circuits
automated reasoning
deontic logic
database
computational properties
set theory
termination analysis
occurrence probability
presburger arithmetic