Quantitative program reasoning with graded modal types.

Dominic Orchard Vilem-Benjamin Liepelt Harley Eades III

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

qualitative and quantitative
databases
qualitative models
artificial intelligence
knowledge representation
quantitative and qualitative
spatial reasoning
quantitative measures
real time
real world
information retrieval
learning algorithm
search engine
knowledge base
nonmonotonic logics