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

	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at DocID: 1xVpK - View Document
	Title: Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s DocID: 1tHpi - View Document
	J ournal of Statistical Mechanics: Theory and Experiment Thomas Gilbert Center for Nonlinear Phenomena and Complex Systems, Universit´e Libre de DocID: 1sst5 - View Document
	Social and Economic Computing Stealing Reality: When Criminals Become Data Scientists (or Vice Versa) DocID: 1ru8y - View Document
	A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/ DocID: 1rtNK - View Document