Nicholas L. Cassimatis;Marvin Minsky
-;-
Extending mental imagery in sigma
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
Reasoning About Truth in First-Order Logic
Journal of Logic, Language and Information