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

	Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS) DocID: 1xTIw - View Document
	Modeling and Simulation of Differential Equations in Scicos DocID: 1vqdY - View Document
	Hampton Roads Sea Level Rise/Flooding Adaptation Forum AGENDA Megaprojects – Protective Structures for Hampton Roads May 22, 2015 Virginia Modeling and Simulation Center DocID: 1vj5W - View Document
	2017 NTSA Modeling & Simulation Awards and Governor’s Award The National Training and Simulation Association (NTSA) presented its annual Modeling & Simulation Awards, as well as the 2017 Governor’s Award for Lifetime DocID: 1vhSj - View Document
	Year of CfP: 2008 Project NoProject title: Towards a federative research on modeling and simulation platforms Units managing the project: GREEN, Renewable resources and environment management (CIRAD), and LISAH DocID: 1vdtR - View Document