Pubblicazioni
-
Zambonelli, Franco; Omicini, Andrea, Challenges and Research Directions in Agent-Oriented Software Engineering, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2004, 9, pp. 253 - 283 [Articolo in rivista]
-
MENEZES RONALDO; OMICINI ANDREA; VIROLI MIRKO, On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 97 - 124 [Articolo in rivista]
-
Andrea Omicini; Alessandro Ricci, MAS Organisation within a Coordination Infrastructure: Experiments in TuCSoN, in: Engineering Societies in the Agents World IV, Berlin, Heidelberg, Springer, 2004, pp. 200 - 217 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]
-
Omicini, Andrea; Ossowski, Sascha, Coordination and Collaboration Activities in Cooperative Information Systems, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 2004, 13, pp. 1 - 7 [Articolo in rivista]
-
Andrea Omicini; Franco Zambonelli, MAS as Complex Systems: A View on the Role of Declarative Approaches, in: Declarative Agent Languages and Technologies, Berlin Heidelberg, Springer, 2004, pp. 1 - 17 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]
-
E. LAMMA; MELLO P.; F. RIGUZZI, A System for Measuring Function Points from an ER-DFD Specification, «COMPUTER JOURNAL», 2004, 47, pp. 358 - 372 [Articolo in rivista]
-
MILANO M.; ROLI A., MAGMA: a Multiagent Architecture for Metaheuristics, «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS», 2004, 34, pp. 925 - 941 [Articolo in rivista]
-
BALDACCI R.; MANIEZZO V.; MINGOZZI A., An Exact Method for the Car Pooling Problem Based on Lagrangian Column Generation, «OPERATIONS RESEARCH», 2004, 52, pp. 422 - 439 [Articolo in rivista]
-
U. DAL LAGO; S. MARTINI; L. ROVERSI, Higher order linear ramified recurrence, in: Types for Proofs and Programs, BERLIN, HEIDELBERG, Spinger, 2004, 3085, pp. 178 - 193 (atti di: International Workshop, TYPES 2003. Revised Selected Papers, Torino, Italy, April 30 - May 4, 2003) [Contributo in Atti di convegno]
-
MARTINI S.; DAL LAGO U., Phase Semantics and Decidability of Elementary Affine Logic, «THEORETICAL COMPUTER SCIENCE», 2004, 318(3), pp. 409 - 433 [Articolo in rivista]
-
S. FERRETTI; ROCCETTI M.; S. CACCIAGUERRA, On Distributing Interactive Storytelling: Issues of Event Synchronization and a Solution, in: Technologies for Interactive Digital Storytelling and Entertainment, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3105, pp. 219 - 231 (atti di: Technologies for Interactive Digital Storytelling and Entertainment, Second International Conference, TIDSE 2004, Darmstadt, June 24-26, 2004) [Contributo in Atti di convegno]
-
Callegati, Franco; Cerroni, Walter; Raffaelli, Carla; Zaffoni, Paolo, Wavelength and time domain exploitation for QoS management in optical packet switches, «COMPUTER NETWORKS», 2004, 44, pp. 570 - 582 [Articolo in rivista]
-
Sangiorgi, Davide; Merro, M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [Articolo in rivista]
-
LODI S; CATARCI T; SANTUCCI G; SARTORI C., VidaMine: A Visual Data Mining Environment, «JOURNAL OF VISUAL LANGUAGES AND COMPUTING», 2004, 15, pp. 37 - 67 [Articolo in rivista]
-
TORRONI P., Computational Logic in Multi-Agent Systems: recent advances and future directions, «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», 2004, 42, pp. 293 - 305 [Articolo in rivista]
-
Ciampolini, Anna; Torroni, Paolo, Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 251 - 275 [Articolo in rivista]
-
GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., An Abductive Framework for Information Exchange in Multi-Agent systems, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3259, pp. 34 - 52 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contributo in Atti di convegno]
-
BRACCIALI A.; TORRONI P., A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction, in: Computational Logic in Multi-Agent Systems, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3259, pp. 159 - 177 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contributo in Atti di convegno]
-
ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., Modeling interactions using social integrity constraints: a resource sharing case study, in: Declarative Agent Languages and Technologies, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2990, pp. 243 - 262 (atti di: First International Workshop, DALT, Melbourne, July 15, 2003) [Contributo in Atti di convegno]
-
DI IORIO A.; VITALI F., Writing the web, «JODI. JOURNAL OF DIGITAL INFORMATION», 2004, 251, pp. 1 - 10 [Articolo in rivista]