Login / Signup
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
Wojciech Rozowski
Tobias Kappé
Dexter Kozen
Todd Schmid
Alexandra Silva
Published in:
ICALP (2023)
Keyphrases
</>
computational complexity
bayesian networks
space complexity
probabilistic databases
probabilistic model
data mining
computational cost
context sensitive
probabilistic approaches
real time
logic programs
information theoretic
data quality
probabilistic logic
lower complexity