 | 2008 |
|---|
| 9 |       | Nicoletta Fornara,
Francesco Viganò,
Mario Verdicchio,
Marco Colombetti:
Artificial institutions: a model of institutional reality for open multiagent systems.
Artif. Intell. Law 16(1): 89-105 (2008) |
| 2007 |
|---|
| 8 | | Francesco Viganò,
Marco Colombetti:
Model Checking Norms and Sanctions in Institutions.
COIN 2007: 316-329 |
| 7 | | Francesco Viganò,
Marco Colombetti:
Symbolic model checking of institutions.
ICEC 2007: 35-44 |
| 6 | | Nicoletta Fornara,
Francesco Viganò,
Marco Colombetti:
Agent communication and artificial institutions.
Autonomous Agents and Multi-Agent Systems 14(2): 121-142 (2007) |
| 2006 |
|---|
| 5 | | Francesco Viganò:
A Metamodel for Verifying Institutions.
EUMAS 2006 |
| 4 | | Francesco Viganò:
A Framework for Model Checking Institutions.
MoChArt 2006: 129-145 |
| 2005 |
|---|
| 3 | | Francesco Viganò,
Nicoletta Fornara,
Marco Colombetti:
An operational approach to norms in artificial institutions.
AAMAS 2005: 1289-1290 |
| 2 | | Francesco Viganò,
Nicoletta Fornara,
Marco Colombetti:
An Event Driven Approach to Norms in Artificial Institutions.
AAMAS Workshops 2005: 142-154 |
| 2004 |
|---|
| 1 | | Nicoletta Fornara,
Francesco Viganò,
Marco Colombetti:
Agent Communication and Institutional Reality.
AC 2004: 1-17 |
