Low-Level Bi-Abduction.

Lukás Holík Petr Peringer Adam Rogalewicz Veronika Soková Tomás Vojnar Florian Zuleger

Published in: CoRR (2022)

Keyphrases

low level
high level
business intelligence
higher level
background knowledge
logic programming
abductive reasoning
mid level
low level features
visual information
visual cues
lower level
semantic information
belief revision
causal networks
middle level
genetic algorithm
decision support