Switch to: Citations

References in:

Reasoning about agent programs using ATL-Like logics

In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 437--449 (2012)

Add references

You must login to add references.
  1. A verification framework for agent programming with declarative goals.F. S. de Boer, K. V. Hindriks, W. van der Hoek & J. -J. Ch Meyer - 2007 - Journal of Applied Logic 5 (2):277-302.
    Download  
     
    Export citation  
     
    Bookmark   3 citations