Low-Level Bi-Abduction.
Lukás HolíkPetr PeringerAdam RogalewiczVeronika SokováTomás VojnarFlorian ZulegerPublished in: ECOOP (2022)
Keyphrases
- low level
- high level
- higher level
- business intelligence
- logic programming
- visual cues
- visual information
- abductive reasoning
- mid level
- causal networks
- background knowledge
- middle level
- low level features
- lower level
- high level information
- abductive logic programming
- belief revision
- plan recognition
- semantic concepts
- data sets
- object recognition
- image segmentation
- machine learning
- neural network