An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier.

Thomas L. Mayer

Published in: FoIKS (2024)

Keyphrases

quantifier elimination
computer vision
special case
digital libraries
real time
databases
cooperative
first order logic
fuzzy measures