A Two-Dimensional Hybrid Logic of Subset Spaces.

Yi Nicholas Wang

Published in: ICLA (2009)

Keyphrases

three dimensional
modal logic
logic programming
hybrid learning
automated reasoning
multi valued
classical logic
neural network
real world
computer vision
case study
digital circuits