Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation.

Yifan Yang Jamal Atif Isabelle Bloch

Published in: KI (2015)

Keyphrases

image interpretation
high level
low level
qualitative and quantitative
neural network
pattern recognition
programming language
description logics
model checking
image understanding
maximum entropy
control structure