Regional Logic for Local Reasoning about Global Invariants.

Anindya Banerjee David A. Naumann Stan Rosenberg

Published in: ECOOP (2008)

Keyphrases

formal theory
logic programming
modal logic
automated reasoning
multi valued
real time
data sets
genetic algorithm
computer vision
website
color images
probabilistic knowledge
geometric invariants