C5 – Programming Languages for Multiagent Systems

Andrea Omicini

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

course of the deck

Multi-Agent Systems LS (2nd cycle, 2007/2008) — Andrea Omicini

used in the lectures

Fri 19 Oct 2007, 11:00

Fri 26 Oct 2007, 10:00

same deck in other editions

C5 – Programming Languages for Multiagent Systems — Multi-Agent Systems LS

reference publication

BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings, 2006) — Rafael H. Bordini, Jomi F. Hübner

A Programming Language for Cognitive Agents: Goal Directed 3APL (paper in proceedings, 2004) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer

Programming Multi-Agent Systems in 3APL (book chapter, 2005) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer

Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci

Agent Communication Language Specifications (manual, 2002) —

Semantics and Conversations for an Agent Communication Language (book chapter, 1997) — Yannis Labrou, Tim Finin

Formal ReSpecT in the A&A Perspective (paper in proceedings, 2006) — Andrea Omicini

From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti

Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings, 2003) — Andrea Omicini, Sascha Ossowski

An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli

AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (paper in proceedings, 1996) — Anand S. Rao

Modeling Rational Agents within a BDI Architecture (paper in proceedings, 1991) — Anand S. Rao, Michael P. Georgeff

Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (paper in proceedings, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini

Objective Coordination in Multi-Agent System Engineering (book, 2001) — Michael Ignaz Schumacher