Per Year

17 publications / 2000–2002 / Mirko Viroli

2002 • 2001 • 2000

On the Grey-Box Modelling Approach for Autonomous Agents (AI*IA 2002) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (COORDINATION 2002) — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL (AT2AI-3 @ EMCSR 2002) — Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (PDPTA'02) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (IC-AI'02) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (Journal of Universal Computer Science) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media (PDPTA'02) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini

11 publications / 2002 • top • index • bottom

4 publications / 2001 • top • index • bottom

2 publications / 2000 • top • index • bottom