First Page | Document Content | |
---|---|---|
Date: 2015-11-05 09:32:14Formal methods Theoretical computer science Cognitive science Logic in computer science Cybernetics Logic Artificial intelligence Runtime verification Intelligent agent Model checking Motivation Autonomy | Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal VerificationAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 2,24 MBShare Document on Facebook |
PROJECT PAI TECHNICAL WHITEPAPER SUMMARY PAI BLOCKCHAIN PROTOCOL: A DECENTRALIZED ARTIFICIAL INTELLIGENCE NETWORKDocID: 1xVWW - View Document | |
Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CADocID: 1xVOm - View Document | |
Journal of Machine Learning Research, 4th International Conference on Predictive Applications and APIs Marvin - Open source artificial intelligence platform Lucas B. MiguelDocID: 1xVLb - View Document | |
Cybersecurity Powered by Artificial Intelligence and the Blockchain HEROIC.com Team February 2018DocID: 1xVHi - View Document |