Login / Signup
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information.
Linpeng Zhang
Benjamin Lucien Kaminski
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
quantitative and qualitative
domain knowledge
qualitative and quantitative
information extraction
contextual information
information sharing
structural information
artificial intelligence
metadata
image segmentation
bayesian networks
keywords
text mining
information processing
theorem prover
algebraic structure