The computational complexity of scenario-based agent verification and design

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


This article has no associated abstract. (fix it)



    Upload a copy of this work     Papers currently archived: 78,003

External links

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

Through your library

Similar books and articles

Refuting a Frankfurtian Objection to Frankfurt-Type Counterexamples.Ezio Di Nucci - 2010 - Ethical Theory and Moral Practice 13 (2):207 - 213.
The cognitive legacy of norm simulation.Martin Neumann - 2012 - Artificial Intelligence and Law 20 (4):339-357.


Added to PP

11 (#854,452)

6 months
4 (#201,438)

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