A Point-free Perspective on Lax extensions and Predicate liftings.

Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild

Published in: CoRR (2021)

Keyphrases

viewpoint
artificial intelligence
database
social networks
multiresolution
default logic
data mining
bayesian networks
artificial neural networks
special case
first order logic
sample points