A logic of agent programs

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 795-800

  Alechina, N ^a   Dastani, M ^b   Logan, B S ^a   Meyer, J J Ch ^b  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; SEMANTICS;

AGENT PROGRAMS; COGNITIVE AGENTS; PROGRAM EXECUTION;

LOGIC PROGRAMMING;

EID: 36348961281     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Abrahamson, K. R. 1980. Decidability and expressiveness of logics of processes. Ph.D. Dissertation, Department of Computer Science, University of Washington.
2. Benerecetti, M.; Giunchiglia, F.; and Serafini, L. 1998. Model checking multiagent systems. J. Log. Comput. 8(3):401-423.
3. Bordini, R. H.; Dastani, M.; Dix, J.; and El Fallah Seghrouchni, A. 2005. Multi-Agent Programming: Languages, Platforms and Applications. Berlin: Springer.
4. Bordini, R. H.; Fisher, M.; Visser, W.; and Wooldridge, M. 2006. Verifying multi-agent programs by model checking. Autonomous Agents and Multi-Agent Systems 12(2):239-256.
5. Dastani, M.; van Riemsdijk, M. B.; Dignum, F.; and Meyer, J.-J. C. 2004. A programming language for cognitive agents: Goal directed 3APL. In Proc. ProMAS 2003, volume 3067 of LNCS, 111-130. Springer.
6. Fischer, M. J., and Ladner, R. E. 1979. Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18(2):194-211.
7. Fisher, M. 2006. MetateM: The story so far. In Proc. ProMAS 2005, volume 3862 of LNCS, 3-22. Springer.
8. Harel, D.; Kozen, D.; and Tiuryn, J. 2000. Dynamic Logic. MIT Press.
9. Hindriks, K., and Meyer, J.-J. C. 2007. Agent logics as program logics: Grounding KARO. In Proc. 29th German Conference on AI (KI 2006), volume 4314 of LNAI. Springer.
10. Hustadt, U., and Schmidt, R. A. 2000. MSPASS: Modal reasoning by translation and first-order resolution. In Proc. TABLEAUX 2000, volume 1847 of LNCS, 67-71. Springer.
11. Lomuscio, A., and Raimondi, F. 2006. Mcmas: A model checker for multi-agent systems. In Proc. TACAS 2006, 450-454.
12. Schmidt, R. A. 2003. PDL-TABLEAU. http://www.cs.man.ac.uk/~schmidt/pdl- tableau.
13. Shapiro, S.; Lespérance, Y.; and Levesque, H. J. 2002. The cognitive agents specification language and verification environment for multiagent systems. In Proc. AAMAS 2002, 19-26. ACM Press.
14. van der Hoek, W., and Wooldridge, M. 2003. Towards a logic of rational agency. Logic Journal of the IGPL 11(2):133-157.