First Page | Document Content | |
---|---|---|
Date: 2015-11-05 09:28:54Artificial intelligence Multi-agent systems Modeling and simulation Systems science Agent-based model Artificial life Complex systems theory Model checking Temporal logic Intelligent agent Sociology | Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification WorkshopAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 417,81 KBShare 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 |