Weakest Preconditions in Fibrations.

Alejandro Aguirre Shin-ya Katsumata

Published in: MFPS (2020)

Keyphrases

explanation based learning
inference rules
action models
data sets
computer vision
feature selection
three dimensional
high quality
high level
search algorithm
lower bound
pairwise
inductive learning