<--- Back to Details
First PageDocument Content
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
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

Similar Documents

An Agent-Based Model to Identify Migration Pathways of Refugees: The Case of Syria Guillaume Arnoux Hébert, Liliana Perez, and Saeed Harati Abstract The Syrian civil war has generated a refugee crisis in the Middle East

An Agent-Based Model to Identify Migration Pathways of Refugees: The Case of Syria Guillaume Arnoux Hébert, Liliana Perez, and Saeed Harati Abstract The Syrian civil war has generated a refugee crisis in the Middle East

DocID: 1vihx - View Document

An Agent-Based Model to Identify Migration Pathways of Refugees: The Case of Syria Guillaume Arnoux Hébert, Liliana Perez, and Saeed Harati Abstract The Syrian civil war has generated a refugee crisis in the Middle East

An Agent-Based Model to Identify Migration Pathways of Refugees: The Case of Syria Guillaume Arnoux Hébert, Liliana Perez, and Saeed Harati Abstract The Syrian civil war has generated a refugee crisis in the Middle East

DocID: 1uYeK - View Document

Theory of mind in the Mod game: An agent-based model of strategic reasoning Harmen de Weerd, Rineke Verbrugge, Bart Verheij Institute of Artificial Intelligence, University of Groningen  Abstract. When people engage in s

Theory of mind in the Mod game: An agent-based model of strategic reasoning Harmen de Weerd, Rineke Verbrugge, Bart Verheij Institute of Artificial Intelligence, University of Groningen Abstract. When people engage in s

DocID: 1uXF0 - View Document

A Normative Agent-based Model for Sharing Data in Secure Trustworthy Digital Market Places Ameneh Deljoo1 , Tom van Engers2 , Leon Gommans1,3, Cees de Laat1 1 Institute  of Informatics, University of Amsterdam, Amsterdam

A Normative Agent-based Model for Sharing Data in Secure Trustworthy Digital Market Places Ameneh Deljoo1 , Tom van Engers2 , Leon Gommans1,3, Cees de Laat1 1 Institute of Informatics, University of Amsterdam, Amsterdam

DocID: 1uXkZ - View Document

Deconstructing Geospatial Agent-Based Model: Sensitivity Analysis of Forest Insect Infestation Model Taylor Anderson and Suzana Dragi´cevi´c  Abstract Agent-based models (ABM) can be used to represent the spatio-tempor

Deconstructing Geospatial Agent-Based Model: Sensitivity Analysis of Forest Insect Infestation Model Taylor Anderson and Suzana Dragi´cevi´c Abstract Agent-based models (ABM) can be used to represent the spatio-tempor

DocID: 1uNcE - View Document