C5 – Programming Languages for Multiagent Systems

Programming languages for MAS: from programming agents to programming the interaction space (environment, coordination, organisation and security) in the A&A view.

corso dei lucidi
Course_icon.svg Sistemi multi-agente LS (laurea magistrale, 2006/2007) — Andrea Omicini
gli stessi lucidi in altre edizioni
pubblicazione di riferimento
Publication_icon.svg BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (articolo in atti, 2006) — Rafael H. Bordini, Jomi F. Hübner
Publication_icon.svg A Programming Language for Cognitive Agents: Goal Directed 3APL (articolo in atti, 2004) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
Publication_icon.svg Programming Multi-Agent Systems in 3APL (capitolo di libro, 2005) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
Publication_icon.svg Multi-paradigm Java-Prolog Integration in tuProlog (articolo in rivista, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Publication_icon.svg Semantics and Conversations for an Agent Communication Language (capitolo di libro, 1997) — Yannis Labrou, Tim Finin
Publication_icon.svg Formal ReSpecT in the A&A Perspective (articolo in atti, 2006) — Andrea Omicini
Publication_icon.svg From Tuple Spaces to Tuple Centres (articolo in rivista, 2001) — Andrea Omicini, Enrico Denti
Publication_icon.svg Objective versus Subjective Coordination in the Engineering of Agent Systems (articolo in atti, 2003) — Andrea Omicini, Sascha Ossowski
Publication_icon.svg An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (articolo in rivista, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Publication_icon.svg Time-Aware Coordination in ReSpecT (articolo in atti, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Publication_icon.svg Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (articolo in rivista, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Publication_icon.svg AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (articolo in atti, 1996) — Anand S. Rao
Publication_icon.svg Modeling Rational Agents within a BDI Architecture (articolo in atti, 1991) — Anand S. Rao, Michael P. Georgeff
Publication_icon.svg Agent Coordination Contexts in a MAS Coordination Infrastructure (articolo in rivista, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Publication_icon.svg CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (articolo in atti, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Publication_icon.svg Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (articolo in atti, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Publication_icon.svg Objective Coordination in Multi-Agent System Engineering (libro, 2001) — Michael Ignaz Schumacher