Unication Problems Modulo a Theory of Until.

Shreyaben Brahmakshatriya Sushma Danturi Kimberly A. Gero Paliath Narendran

Published in: UNIF@RTA/TLCA (2013)

Keyphrases

artificial intelligence
computer vision
solving problems
main problems
related problems
computational model
problems involving
decision problems
computational problems
practical problems
open problems
benchmark problems
database
theoretical framework
simulated annealing
computational complexity
case study
data sets