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

	IEEE ALIFEIEEE Symposium on Artificial Life Keynote speaker: Prof. Takashi Ikegami DocID: 1vqeW - View Document
	The Lenser D47852 Flashlight Richard J. Nelson Lighting is a vital part of our lives and we usually don’t think much about artificial lighting. Let the AC power go out at night and you are reminded how nice life is wit DocID: 1v6uP - View Document
	Open Problems in Artificial Life Abstract This article lists fourteen open problems in artificial life, each of which is a grand challenge requiring a major advance on a fundamental issue for its solution. Each problem DocID: 1u4w9 - View Document
	eXponent Workshops ARTIFICIAL INTELLIGENCE Artificial intelligence (AI) has the potential to reshape the 21st century in the way electricity and the Internet transformed life in the 20th century. As a set of technologies DocID: 1tEl4 - View Document
	ARTIFICIAL INTELLIGENCE AND LIFE IN 2030 ONE HUNDRED YEAR STUDY ON ARTIFICIAL INTELLIGENCE \| REPORT OF THE 2015 STUDY PANEL \| SEPTEMBERPREFACE DocID: 1tvW9 - View Document