The modal argument for hypercomputing minds
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Comprehending software correctness implies comprehending an intelligence-related limitation
ACM Transactions on Computational Logic (TOCL)
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Why is the lucas-penrose argument invalid?
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |