![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 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](https://www.pdfsearch.io/img/0b21db153daa815335107ceadb066f6e.jpg) 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 Website File Size: 417,81 KBShare Document on Facebook
|