, Part II: Local equivalence.

Paola D'Aquino Angus Macintyre

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

computer vision
database
information systems
image processing
website
natural language
datalog programs
interactive dynamic influence diagrams