Typing Multi-agent Programs in simpAL

   page       BibTeX_logo.png       attach   
Mehdi Dastani, Jomi F. Hübner, Brian Logan (a cura di)
Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 2012, Revised Selected Papers, pp. 138–157
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 7837
Springer Berlin Heidelberg, Berlin, Heidelberg
2013

Typing is a fundamental mechanism adopted in mainstream programming languages, important in particular when developing programs of a certain complexity to catch errors at compile time, before executing a program, and to improve the overall design of a system. In this paper we introduce typing also in agent-oriented programming, by using a novel agent programming language called simpAL, which has been conceived from scratch to have this feature.

parole chiavesimpAL, agent-oriented programming, typing, agent programming languages
presentazione di riferimento
page_white_powerpointTyping Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi (Andrea Santi)
evento origine
worldPROMAS 2012 @ AAMAS 2012
rivista o collana
book Lecture Notes in Computer Science (LNCS)
pubblicazione contenitore
page_white_acrobatProgramming Multi-Agent Systems (curatela, 2013) — Mehdi Dastani, Jomi F. Hübner, Brian Logan
funge da
pubblicazione di riferimento per presentazione
page_white_powerpointTyping Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi (Andrea Santi)
pubblicazione sostitutiva per
page_white_acrobatTyping Multi-Agent Programs in simpAL (articolo in atti, 2012) — Alessandro Ricci, Andrea Santi