Pubblicazioni

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]

F. CALLEGATI; W. CERRONI; RAFFAELLI C.; P. ZAFFONI, Wavelength and time domain exploitation for QoS management in optical packet switches, «COMPUTER NETWORKS», 2004, 44, pp. 570 - 582 [Articolo in rivista]

SANGIORGI D.; 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 A.; TORRONI P., 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]

LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [Curatela]

OMICINI ANDREA; PETTA PAOLO; PITT JEREMY, Engineering Societies in the Agents World IV, HEIDELBERG, Springer, 2004, pp. XIII-409 (Lecture Notes in Artificial Intelligence). [Monografia/Trattato scientifico in forma di libro]

MILANO M., Constraint and Integer Programming - Toward a Unified Methodology, DORDRECHT, Kluwer Academic Publisher, 2004, pp. 370 (OR/CS Series). [Curatela]

LEITE J.; TORRONI P. (a cura di): AA.VV., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings, LISBON, New University of Lisbon, 2004, pp. X,260 . [Curatela]