Interpreted Formalisms for Configurations.

Chong Tang Kevin J. Sullivan Jian Xiang Trent Weiss Baishakhi Ray

Published in: CoRR (2017)

Keyphrases

knowledge representation
logic programming
nonmonotonic reasoning
data structure
computational properties
real time
learning algorithm
search engine
objective function
medical images
reasoning tasks
reasoning problems
knowledge representation formalisms