Non-standard Logics for Diagram Interpretation.

Kim Marriott Bernd Meyer

Published in: Diagrams (2000)

Keyphrases

data sets
expressive power
high level
search algorithm
modal logic
real world
multi agent
data structure
object recognition
artificial neural networks
image interpretation