Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

First Page		Document Content
Date: 2015-11-05 09:28:54 Artificial 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 Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 417,81 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