17
publications
/
2000–2002
/
Mirko Viroli
- 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