Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2002)

Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002

Mirko Viroli, Alessandro Ricci
Tuple-based Coordination Models in Event-based Scenarios
22nd International Conference on Distributed Computing Systems, 2002

Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL
Cybernetics and Systems 2002, 2-5 April 2002

Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 2002

Alessandro Ricci, Andrea Omicini, Mirko Viroli
Extending ReSpecT for Multiple Coordination Flows
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002

Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents
8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", 11 September 2002

Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages
Applied Artificial Intelligence: An International Journal 16(9-10), October-December 2002

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources
Journal of Universal Computer Science 8(4), April 2002

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Have ReSpecT for LogOp
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002

Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002

Mirko Viroli, Andrea Omicini
A Specification Language for Agents Observable Behaviour
International Conference on Artificial Intelligence (IC-AI'02), 24-27 July 2002

[top]