Logic-Based Agent Verification

Journal of Applied Logic

Volumn 5, Issue 2, 2007, Pages 193-195

  Fisher, Michael ^a   Singh, Munindar ^b   Spears, Diana ^c   Wooldridge, Mike ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b NORTH CAROLINA STATE UNIVERSITY   (United States)

^c UNIVERSITY OF WYOMING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247135747     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2005.12.012     Document Type: Editorial

References (8)

1. R. Bordini, M. Fisher, W. Visser, M. Wooldridge, Model checking rational agents, in [2]
2. In: Greaves M., Stavridou-Coleman V., and Laddaga R. (Eds). IEEE Intelligent Systems on Dependable Agent Systems 19 5 (2004) (special issue on Dependable Agent Systems)
3. The Journal of Autonomous Agents and Multiagent Systems, Springer Science and Business Media B.V
4. Rao A.S., and Georgeff M.P. Modeling rational agents within a BDI-architecture. In: Fikes R., and Sandewall E. (Eds). Proceedings of Knowledge Representation and Reasoning (KR&R-91) (1991), Morgan Kaufmann, San Mateo, CA 473-484
5. In: Rash J.L., Rouff C.A., Truszkowski W., Gordon D., and Hinchey M.G. (Eds). Lecture Notes in Computer Science vol. 1871 (2001), Springer-Verlag, Berlin
6. In: Rash J.L., Rouff C.A., Truszkowski W., Gordon D., and Hinchey M.G. (Eds). Lecture Notes in Computer Science vol. 2699 (2003), Springer-Verlag, Berlin
7. In: Rash J.L., Rouff C.A., Truszkowski W., and Hinchey M.G. (Eds). Lecture Notes in Computer Science vol. 3228 (2004), Springer-Verlag, Berlin
8. Singh M. A social semantics for agent communication languages. Proc. of the IJCAI Workshop on Agent Communication Languages (2000), Springer-Verlag, Berlin