Automating Logic Rectification by Approximate SPFDs.

Yu-Shen Yang Subarnarekha Sinha Andreas G. Veneris Robert K. Brayton

Published in: ASP-DAC (2007)

Keyphrases

logic programming
automated reasoning
modal logic
classical logic
database
nearest neighbor
stereo images
nonmonotonic logics
computer vision
database systems
image sequences
bayesian networks
single camera
logical framework
deontic logic
logic synthesis