C o n n e c t i n g G re a t M i n d s

First Page		Document Content
Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction		C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Download Document from Source Website File Size: 978,51 KB Share Document on Facebook

	PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORK DocID: 1xVWW - View Document
	Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA DocID: 1xVOm - View Document
	Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. Miguel DocID: 1xVLb - View Document
	Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018 DocID: 1xVHi - View Document