On Quantitative Algebraic Higher-Order Theories.

Ugo Dal Lago Furio Honsell Marina Lenisa Paolo Pistone

Published in: FSCD (2022)

Keyphrases

higher order
high order
pairwise
markov models
natural images
low order
theoretical framework
qualitative and quantitative
quantitative and qualitative
markov random field
lambda calculus
conditional random fields
domain knowledge
information systems
case study
defeasible logic
real time