The computational complexity of scenario-based agent verification and design

&
Journal of Applied Logic 5 (2):252-276 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.12.013

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Alcohol consumption among college students: An agent‐based computational simulation.Laura A. Garrison & David S. Babcock - 2009 - Complexity 14 (6):35-44.
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
Design and control of self-organizing systems.Carlos Gershenson - manuscript
Spontaneous coordination and evolutionary learning processes in an agent-based model.Pierre Barbaroux & Gilles Enée - 2005 - Mind and Society 4 (2):179-195.
Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.
Refuting a Frankfurtian Objection to Frankfurt-Type Counterexamples.Ezio Di Nucci - 2010 - Ethical Theory and Moral Practice 13 (2):207 - 213.
A multi-agent based framework for the simulation of human and social behaviors during emergency evacuations.Xiaoshan Pan, Charles S. Han, Ken Dauber & Kincho H. Law - 2007 - AI and Society 22 (2):113-132.
Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
On complexity of verification of interacting agents' behavior.Michael Dekhtyar, Alexander Dikovsky & Mars Valiev - 2006 - Annals of Pure and Applied Logic 141 (3):336-362.
Probing Ephemeral Futures: scenarios as fashion design.Fabrice Roubelat, Jamie Brassett, Michael McAllum, Jonas Hoffmann & Denisa Kera - unknown
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Structural database for reducing cost in materials design and complexity of multiscale computations.Nikolai Zarkevich - 2006 - Complexity 11 (4):36-42.
Computational representations of architectural design for tall buildings.Ajla Aksamija - 2009 - Complexity 15 (2):45-53.
Interpreting tractable versus intractable reciprocal sentences.Oliver Bott, Fabian Schlotterbeck & Jakub Szymanik - forthcoming - In Proceedings of the International Conference on Computational Semantics.
The cognitive legacy of norm simulation.Martin Neumann - 2012 - Artificial Intelligence and Law 20 (4):339-357.

Analytics

Added to PP
2016-06-30

Downloads
15 (#941,337)

6 months
3 (#962,966)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references