Low-Level Bi-Abduction (Artifact).
Lukás HolíkPetr PeringerAdam RogalewiczVeronika SokováTomás VojnarFlorian ZulegerPublished in: Dagstuhl Artifacts Ser. (2022)
Keyphrases
- low level
- high level
- business intelligence
- higher level
- mid level
- logic programming
- low level features
- visual information
- abductive reasoning
- visual cues
- background knowledge
- machine learning
- causal networks
- figure ground
- visual features
- multi modal
- big data
- programming language
- lower level
- computational intelligence
- data sources
- video sequences
- artificial intelligence
- database