Skip to main content
SpringerLink
Log in
Book cover

Artificial Intelligence An International Perspective pp 174–192Cite as

An Overview of AI Research in Italy

  • Chapter

  • 2278 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5640))

Abstract

This chapter aims to provide an overview of the main Italian research areas and activities. We first analyze the collaboration structure of Italian research, which involves more than eight hundred scholars and researchers from both universities and industry. From a network perspective it appears to be scale-free. Next, we briefly illustrate the main subjects of investigation and applications. AI research in Italy goes back to the 1970s with an increase in the last twenty years and spans the main research AI areas, from automated reasoning and ontologies to machine learning, robotics and evolutionary computation.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://www.lintar.disco.unimib.it/ABModSim/ (Viewed October 2007)

  2. http://acri2006.univ-perp.fr/ (Viewed October 2007)

  3. Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.): Handbook of Spatial Logics. Kluwer Academic Publishers, Dordrecht (2007)

    MATH  Google Scholar 

  4. Ajani, G., Lesmo, L., Boella, G., Mazzei, A., Rossi, P.: Terminological and ontological analysis of european directives: multilinguism in law. In: ICAIL, pp. 43–48 (2007)

    Google Scholar 

  5. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Web service contracting: Specification and reasoning with SCIFF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 68–83. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics (To appear)

    Google Scholar 

  7. Anantharaman, S., Bonacina, M.P.: An application of automated equational reasoning to many-valued logic. In: Okada, M., Kaplan, S. (eds.) CTRS 1990. LNCS, vol. 516, pp. 156–161. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  8. http://www.applied-ontology.org/ (Viewed October 2007)

  9. Ardissono, L., Lesmo, L., Pogliano, P., Terenziani, P.: Interpretation of definite noun phrases. In: IJCAI, pp. 997–1002 (1991)

    Google Scholar 

  10. Ardissono, L., Leva, A.D., Petrone, G., Segnan, M., Sonnessa, M.: Adaptive medical workflow management for a context-dependent home healthcare assistance service. Electr. Notes Theor. Comput. Sci. 146(1), 59–68 (2006)

    Article  Google Scholar 

  11. Armando, A., Castellini, C., Giunchiglia, E., Giunchiglia, F., Tacchella, A.: SAT-based decision procedures for automated reasoning: A unifying perspective. In: Mechanizing Mathematical Reasoning, pp. 46–58 (2005)

    Google Scholar 

  12. Armano, G., Mancosu, G., Orro, A.: Using multiple experts for predicting protein secondary structure. In: Artificial Intelligence and Applications, pp. 451–456 (2005)

    Google Scholar 

  13. Bagnara, R., Giacobazzi, R., Levi, G.: Static analysis of CLP programs over numeric domains. In: Billaud, M., Castéran, P., Corsini, M., Musumbu, K., Rauzy, A. (eds.) Actes “Workshop on Static Analysis ’92”, Bigre, Bordeaux, pp. 43–50, Extended abstract (1992)

    Google Scholar 

  14. Baioletti, M., Marcugini, S., Milani, A.: Dpplan: An algorithm for fast solutions extraction from a planning graph. In: AIPS, pp. 13–21 (2000)

    Google Scholar 

  15. Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 339–351. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming rational agents in a modal action logic. Ann. Math. Artif. Intell. 41(2-4), 207–257 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  17. Bandini, S., Federici, M.L., Vizzari, G.: A methodology for crowd modelling with situated cellular agents. In: WOA, pp. 91–98 (2005)

    Google Scholar 

  18. Bandini, S., Magagnini, M.: Parallel processing simulation of dynamic properties of filled rubber compounds based on cellular automata. Parallel Computing 27(5), 643–661 (2001)

    Article  MATH  Google Scholar 

  19. Bandini, S., Manzoni, S., Vizzari, G.: Situated cellular agents: A model to simulate crowding dynamics. IEICE Transactions on Information and Systems E87-D(3), 669–676 (2004)

    Google Scholar 

  20. Bandini, S., Mauri, G., Serra, R.: Cellular automata: From a theoretical parallel computational model to its application to complex systems. Parallel Computing 27(5), 539–553 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  21. Bandini, S., Serra, R.: Complex systems. Intelligenza Artificiale 3(1-2), 102–108 (2006)

    Google Scholar 

  22. Barabasi, A.L.: Linked: The New Science of Networks. Perseus Books Group, New York (2002)

    Google Scholar 

  23. Barabási, A.L., Jeong, H., Ravasz, R., Néda, Z., Vicsek, T., Schubert, A.: On the topology of the scientific collaboration network. Physica A 311, 590–614 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  24. Basili, R., Moschitti, A., Pazienza, M.T.: Extensive evaluation of efficient nlp-driven text classification. Applied Artificial Intelligence 20(6), 457–491 (2006)

    Article  Google Scholar 

  25. Basili, R., Moschitti, A., Pazienza, M.T., Zanzotto, F.M.: Personalizing web publishing via information extraction. IEEE Intelligent Systems 18(1), 62–70 (2003)

    Article  Google Scholar 

  26. Bellifemine, F., Poggi, A., Rimassa, G.: Developing multi-agent systems with a fipa-compliant agent framework. Software Practice & Experience 31(2), 103–128 (2001)

    Article  MATH  Google Scholar 

  27. Benedetti, M.: Abstract branching for quantified formulas. In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, AAAI 2006, July 16-20 (2006)

    Google Scholar 

  28. Benedetti, M., Aiello, L.C.: Sat-based cooperative planning: A proposal. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 494–513. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  29. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation 8(3), 401–423 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  30. Benini, L., Bertozzi, D., Guerri, A., Milano, M.: Allocation and scheduling for MPSoCs via decomposition and no-good generation. In: IJCAI, pp. 1517–1518 (2005)

    Google Scholar 

  31. Berardi, D., Giacomo, G.D., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of underspecified composite e-services based on automated reasoning. In: Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (eds.) ICSOC, pp. 105–114. ACM Press, New York (2004)

    Chapter  Google Scholar 

  32. Bergadano, F., Giordana, A., Saitta, L.: Machine Learning: A General Framework and is Applications. Ellis Horwood, New York (1991)

    MATH  Google Scholar 

  33. Bernazzani, L., Duce, C., Micheli, A., Mollica, V., Sperduti, A., Starita, A., Tiné, M.R.: Predicting physical-chemical properties of compounds from molecular structures by recursive neural networks. Journal of Chemical Information and Modeling 46(5), 2030–2042 (2006)

    Article  Google Scholar 

  34. Bianchini, M., Gori, M., Sarti, L., Scarselli, F.: Recursive processing of cyclic graphs. IEEE Transactions on Neural Networks 17(1), 10–18 (2006)

    Article  Google Scholar 

  35. Bistarelli, S., Foley, S.N., O’Sullivan, B.: Detecting and eliminating the cascade vulnerability problem from multilevel security networks using soft constraints. In: AAAI, pp. 808–813 (2004)

    Google Scholar 

  36. Bistarelli, S., Rossi, F.: Semiring-based contstraint logic programming: syntax and semantics. ACM Transactions of Programming Languages and Systems 23(1), 1–29 (2001)

    Article  Google Scholar 

  37. Bistarelli, S., Foley, S.N., O’Sullivan, B.: Detecting and eliminating the cascade vulnerability problem from multi-level security networks using soft constraints. In: Proc. Innovative Applications of Artificial Intelligence Conference, IAAI-04 (2004)

    Google Scholar 

  38. Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys 35(3), 268–308 (2003)

    Article  Google Scholar 

  39. de Boer, F., Gabbrielli, M., Meo, M.: Proving correctness of timed concurrent constraint programs. ACM Transactions on Computational Logic 5(4) (2004)

    Google Scholar 

  40. Bonacina, M.P.: A taxonomy of theorem-proving strategies. In: Artificial Intelligence Today, pp. 43–84. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  41. Bonacina, M.P., Hsiang, J.: On the modelling of search in theorem proving - towards a theory of strategy analysis. Inf. Comput. 147(2), 171–208 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  42. Bonarini, A., Sassaroli, P.: Opportunistic multimodel diagnosis with imperfect models. Inf. Sci. 103(1-4), 161–185 (1997)

    Article  Google Scholar 

  43. Botta, M., Galassi, U., Giordana, A.: Learning complex and sparse events in long sequences. In: ECAI, pp. 425–429 (2004)

    Google Scholar 

  44. Botta, M., Giordana, A., Saitta, L., Sebag, M.: Relational learning as search in a critical region. Journal of Machine Learning Research 4, 431–463 (2003)

    MathSciNet  MATH  Google Scholar 

  45. Burattini, E., de Francesco, A., Gregorio, M.D.: Nsl: A neuro-symbolic language for a neuro-symbolic processor (nsp). Int. J. Neural Syst. 13(2), 93–101 (2003)

    Article  Google Scholar 

  46. Busi, N., Ciancarini, P., Gorrieri, R., Zavattaro, G.: Coordination models: A guided tour. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents: Models, Technologies, and Applications, pp. 6–24. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  47. Cabri, G., Guerra, F., Vincini, M., Bergamaschi, S., Leonardi, L., Zambonelli, F.: MOMIS: Exploiting agents to support information integration. Int. J. Cooperative Inf. Syst. 11(3), 293–314 (2002)

    Article  MATH  Google Scholar 

  48. Caferra, R., Leitsch, A., Peltier, N.: Automate Model Building. Kluwer Academic Publishers, Dordrecht (2004)

    Book  MATH  Google Scholar 

  49. Cagnoni, S., Bergenti, F., Mordonini, M., Adorni, G.: Evolving binary classifiers through parallel computation of multiple fitness cases. IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(3), 548–555 (2005)

    Article  Google Scholar 

  50. Cagnoni, S., Dobrzeniecki, A.B., Poli, R., Yanch, J.C.: Genetic algorithm-based interactive segmentation of 3D medical images. Image Vision Comput. 17(12), 881–895 (1999)

    Article  Google Scholar 

  51. Calimeri, F., Ianni, G.: External sources of computation for answer set solvers. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 105–118. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  52. Calimeri, F., Ianni, G.: Template programs for disjunctive logic programming: An operational semantics. AI Commun. 19(3), 193–206 (2006)

    MathSciNet  MATH  Google Scholar 

  53. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The l-lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  54. Calvanese, D., Guarino, N.: Ontologies and description logics. Intelligenza Artificiale 3(1-2), 21–27 (2006)

    Google Scholar 

  55. Campari, E., Levi, G.: A cellular automata model for highway traffic. European Physical Journal B 17(1), 159–166 (2000)

    Article  Google Scholar 

  56. Cannata, N., Corradini, F., Merelli, E., Omicini, A., Ricci, A.: An agent-oriented conceptual framework for systems biology. In: T. Comp. Sys. Biology, pp. 105–122 (2005)

    Google Scholar 

  57. Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In: Metalevel Architectures and Reflection, pp. 243–254. North-Holland, Amsterdam (1988)

    Google Scholar 

  58. Carlucci Aiello, L., Massacci, F.: Verifying security protocols as planning in logic programming. ACM Transactions on Computational Logic 2(4), 542–580 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  59. Carpineto, C., Romano, G.: A lattice conceptual clustering system and its application to browsing retrieval. Machine Learning 24(2), 95–122 (1996)

    Google Scholar 

  60. Cascio, F., Console, L., Osella, M.G.M., Panati, A., Sottano, S., Dupré, D.T.: Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Commuications 12(1-2), 33–43 (1999)

    Google Scholar 

  61. Castelfranchi, C.: Modelling social action for AI agents. Artificial Intelligence 103(1-2), 157–182 (1998)

    Article  MATH  Google Scholar 

  62. Castellini, C., Giunchiglia, E., Tacchella, A.: SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence 147(1-2), 85–117 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  63. Castelpietra, C., Guidotti, A., Iocchi, L., Nardi, D., Rosati, R.: Design and implementation of cognitive soccer robots. In: Birk, A., Coradeschi, S., Tadokoro, S. (eds.) RoboCup 2001. LNCS (LNAI), vol. 2377, pp. 312–318. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  64. Ceci, M., Malerba, D.: Classifying web documents in a hierarchy of categories: a comprehensive study. Journal of Intelligent Information Systems 28(1), 37–78 (2007)

    Article  Google Scholar 

  65. Cesa-Bianchi, N., Lugosi, G.: Potential-based algorithms in on-line prediction and game theory. Machine Learning 51(3), 239–261 (2003)

    Article  MATH  Google Scholar 

  66. Cesta, A., Oddi, A., Smith, S.F.: A constraint-based method for project scheduling with time windows. Journal of Heuristics 8(1), 109–136 (2002)

    Article  MATH  Google Scholar 

  67. Chella, A., Frixione, M., Gaglio, S.: Understanding dynamic scenes. Artif. Intell. 123(1-2), 89–132 (2000)

    Article  MATH  Google Scholar 

  68. Chella, A., Gaglio, S., Pirrone, R.: Conceptual representations of actions for autonomous robots. Robotics and Autonomous Systems 34(4), 251–263 (2001)

    Article  MATH  Google Scholar 

  69. Chella, A., Guarino, M.D., Infantino, I., Pirrone, R.: A vision system for symbolic interpretation of dynamic scenes using arsom. Applied Artificial Intelligence 15(8), 723–734 (2001)

    Article  Google Scholar 

  70. Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12, 359–382 (1996)

    Article  MathSciNet  Google Scholar 

  71. Chittaro, L., Ranon, R.: Hierarchical model-based diagnosis based on structural abstraction. Artificial Intelligence 155(1-2), 147–182 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  72. Chittaro, L., Tasso, C., Toppano, E.: Putting functional knowledge on firmer ground. Applied Artificial Intelligence 8(2), 239–258 (1994)

    Article  Google Scholar 

  73. Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: The coordination viewpoint. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757, pp. 250–259. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  74. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2), 35–84 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  75. Console, L., Dupré, D.T., Torasso, P.: A theory of diagnosis for incomplete causal models. In: IJCAI, pp. 1311–1317 (1989)

    Google Scholar 

  76. Console, L., Picardi, C., Dupré, D.T.: Temporal decision trees: Model-based diagnosis of dynamic systems on-board. Journal of Artificial Intelligence Research 19, 469–512 (2003)

    MATH  Google Scholar 

  77. Console, L., Picardi, C., Ribaudo, M.: Process algebras for systems diagnosis. Artificial Intelligence 142(1), 19–51 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  78. Console, L., Torasso, P.: Automated diagnosis. Intelligenza Artificiale 3(1-2), 42–48 (2006)

    Google Scholar 

  79. Corno, F., Sánchez, E., Squillero, G.: Evolving assembly programs: how games help microprocessor validation. IEEE Transactions on Evolutionary Computation 9(6), 695–706 (2005)

    Article  Google Scholar 

  80. Corradi, A., Omicini, A., Poggi, A. (eds.): WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop ”From Objects to Agents”: Evolutive Trends of Software Systems, Parma, Italy, 29-30 May 2000. Pitagora Editrice, Bologna (2000)

    Google Scholar 

  81. Costantini, S.: Meta-reasoning: A survey. In: Computational Logic: Logic Programming and Beyond, pp. 253–288 (2002)

    Google Scholar 

  82. Costantini, S.: Component-based answer set programming. In: Osorio, M., Provetti, A. (eds.) Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F, Mexico, April 26, 2004. CEUR Workshop Proceedings, vol. 92, CEUR-WS.org (2004)

    Google Scholar 

  83. Costantini, S., Dell’Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: Proceedings of the 7th WOA 2006 Workshop, From Objects to Agents (Dagli Oggetti Agli Agenti), Catania, Italy, September 26-27, 2006. CEUR Workshop Proceedings, vol. 204, CEUR-WS.org (2006)

    Google Scholar 

  84. Costantini, S., Tocchio, A., Toni, F., Tsintza, P.: A multi-layered general agent model. In: Basili, R., Pazienza, M.T. (eds.) AI*IA 2007. LNCS (LNAI), vol. 4733, pp. 121–132. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  85. Cucchiara, R., Perini, E., Pistoni, G.: Efficient stereo vision for obstacle detection and agv navigation. In: Cucchiara, R. (ed.) ICIAP, pp. 291–296. IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  86. http://www.informatik.uni-trier.de/~ley/db/ (Viewed October 2007)

  87. Delzanno, G., Gabbrielli, M.: Compositional verification of asynchronous processes via constraint solving. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1239–1250. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  88. Dorigo, M., Stützle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)

    MATH  Google Scholar 

  89. Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: AAAI, pp. 1622–1625 (2007)

    Google Scholar 

  90. Dovier, A., Piazza, C., Rossi, G.: Multiset rewriting by multiset constraint solving. Romanian Journal of Information Science and Technology 4(1–2), 59–76 (2001)

    Google Scholar 

  91. Ernandes, M., Angelini, G., Gori, M.: Webcrow: A web-based system for crossword solving. In: AAAI, pp. 1412–1417 (2005)

    Google Scholar 

  92. Esposito, F., Giordana, A., Saitta, L.: Machine learning and data mining. Intelligenza Artificiale 3(1-2), 63–71 (2006)

    Google Scholar 

  93. Esposito, F., Malerba, D., Lisi, F.A.: Machine learning for intelligent processing of printed documents. Journal of Intelligent Information Systems 14(2-3), 175–198 (2000)

    Article  Google Scholar 

  94. Esposito, F., Malerba, D., Semeraro, G.: A comparative analysis of methods for pruning decision trees. IEEE Transactions on Pattern Analysis and Machine Intelligence 19(5), 476–491 (1997)

    Article  Google Scholar 

  95. Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and abduction in INTHELEX. Machine Learning 38(1-2), 133–156 (2000)

    Article  MATH  Google Scholar 

  96. Falcone, R., Castelfranchi, C.: The human in the loop of a delegated agent: the theory of adjustable social autonomy. IEEE Transactions on Systems, Man, and Cybernetics, Part A 31(5), 406–418 (2001)

    Article  Google Scholar 

  97. Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. 12(4), 440–473 (2003)

    Article  Google Scholar 

  98. Finzi, A., Pirri, F.: Combining probabilities, failures and safety in robot control. In: IJCAI, pp. 1331–1336 (2001)

    Google Scholar 

  99. Fioravanti, F., Pettorossi, A., Proietti, M.: Transformation Rules for Locally Stratified Constraint Logic Programs. In: Bruynooghe, M., Lau, K.-K. (eds.) Program Development in Computational Logic. LNCS, vol. 3049, pp. 291–339. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  100. Fornara, N., Viganò, F., Colombetti, M.: Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems 14(2), 121–142 (2007)

    Article  Google Scholar 

  101. Franconi, E., Kifer, M., May, W. (eds.): ESWC 2007. LNCS, vol. 4519. Springer, Heidelberg (2007)

    Google Scholar 

  102. Frasconi, P., Gori, M., Sperduti, A.: A general framework for adaptive processing of data structures. IEEE Transactions on Neural Networks 9(5), 768–786 (1998)

    Article  Google Scholar 

  103. Fumera, G., Roli, F.: A theoretical and experimental analysis of linear combiners for multiple classifier systems. IEEE Trans. Pattern Anal. Mach. Intell. 27(6), 942–956 (2005)

    Article  Google Scholar 

  104. Galassi, U., Giordana, A., Saitta, L.: Incremental construction of structured hidden markov models. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 798–803 (2007)

    Google Scholar 

  105. Gandon, F., Poggi, A., Rimassa, G., Turci, P.: Multi-agent corporate memory management system. Applied Artificial Intelligence 16(9-10), 699–720 (2002)

    Article  Google Scholar 

  106. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, pp. 166–181. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  107. Gaspero, L.D., Schaerf, A.: A composite-neighborhood tabu search approach to the traveling tournament problem. Journal of Heuristics 13(2), 189–207 (2007)

    Article  Google Scholar 

  108. Di Gaspero, L., di Tollo, G., Roli, A., Schaerf, A.: Hybrid local search for constrained financial portfolio selection problems. In: Van Hentenryck, P., Wolsey, L.A. (eds.) CPAIOR 2007. LNCS, vol. 4510, pp. 44–58. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  109. Gerevini, A., Saetti, A., Serina, I.: Planning through stochastic local search and temporal action graphs in LPG. Journal of Artificial Intelligence Research 20, 239–290 (2003)

    MATH  Google Scholar 

  110. Ghilardi, S., Nicolini, E., Zucchelli, D.: A comprehensive framework for combined decision procedures. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 1–30. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  111. Giacobini, M., Tomassini, M., Tettamanzi, A., Alba, E.: Selection intensity in cellular evolutionary algorithms for regular lattices. IEEE Transactions on Evolutionary Computation 9(5), 489–505 (2005)

    Article  Google Scholar 

  112. Giacomo, G.D., Iocchi, L., Nardi, D., Rosati, R.: A theory and implementation of cognitive mobile robots. J. Log. Comput. 9(5), 759–785 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  113. Giacomo, G.D., Lenzerini, M.: A uniform framework for concept definitions in description logics. CoRR cs.AI/9703101 (1997)

    Google Scholar 

  114. Giordana, A., Saitta, L.: Phase transitions in relational learning. Machine Learning 41(2), 217–251 (2000)

    Article  MATH  Google Scholar 

  115. Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2), 214–234 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  116. Giunchiglia, E., Narizzano, M., Tacchella, A.: Clause/term resolution and learning in the evaluation of quantified boolean formulas. Journal of Artificial Intelligence Research 26, 371–416 (2006)

    MathSciNet  MATH  Google Scholar 

  117. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  118. Gori, M., Marinai, S., Soda, G.: Artificial neural networks for document analysis and recognition. IEEE Transactions on Pattern Analysis and Machine Intelligence 27(1), 23–35 (2005)

    Article  Google Scholar 

  119. Gori, M., Sperduti, A.: The loading problem for recursive neural networks. Neural Networks 18(8), 1064–1079 (2005)

    Article  Google Scholar 

  120. Gregorio, S.D., Serra, R., Villani, M.: Applying cellular automata to complex environmental problems: The simulation of the bioremediation of contaminated soils. Theoretical Computer Science 217(1), 131–156 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  121. Guarino, N., Welty, C.A.: Evaluating ontological decisions with ontoclean. Communications of ACM 45(2), 61–65 (2002)

    Article  Google Scholar 

  122. Hoffmann, J., Bertoli, P., Pistore, M.: Web service composition as planning, revisited: In between background theories and initial state uncertainty. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, July 22-26, 2007, pp. 1013–1018. AAAI Press, Menlo Park (2007)

    Google Scholar 

  123. Intelligenza artificiale 3(1-2) (in English) (2006)

    Google Scholar 

  124. Iocchi, L., Nardi, D., Piaggio, M., Sgorbissa, A.: Distributed coordination in heterogeneous multi-robot systems. Auton. Robots 15(2), 155–168 (2003)

    Article  Google Scholar 

  125. http://www.isaacrobot.it/ (Viewed October 2007)

  126. Kakas, A.C., Mancarella, P.: On the relation between truth maintenance and abduction. In: Proc. of the first Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, pp. 158–176 (1990)

    Google Scholar 

  127. Kimani, S., Lodi, S., Catarci, T., Santucci, G., Sartori, C.: VidaMine: a visual data mining environment. J. Vis. Lang. Comput. 1(15), 37–67 (2004)

    Article  Google Scholar 

  128. Landwehr, N., Passerini, A., Raedt, L.D., Frasconi, P.: kFOIL: Learning simple relational kernels. In: AAAI (2006)

    Google Scholar 

  129. Lane, D., Serra, R., Villani, M., Ansaloni, L.: A theory-based dynamical model of innovation processes. ComPlexUs 2(3-4), 177–194 (2006)

    Article  Google Scholar 

  130. Langdon, W.B., Poli, R.: Foundations of Genetic Programming, 2nd edn. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  131. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  132. Licchelli, O., Esposito, F., Semeraro, G., Bordoni, L.: Personalization to improve searching in a digital library. In: Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL, pp. 47–55 (2003)

    Google Scholar 

  133. Lisi, F.A.: A methodology for building semantic web mining systems. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 306–311. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  134. Lisi, F.A., Malerba, D.: Inducing multi-level association rules from multiple relations. Machine Learning 55(2), 175–210 (2004)

    Article  MATH  Google Scholar 

  135. Malerba, D., Appice, A., Ceci, M.: A data mining query language for knowledge discovery in a geographical information system. In: Database Support for Data Mining Applications, pp. 95–116 (2004)

    Google Scholar 

  136. Malerba, D., Esposito, F., Ceci, M., Appice, A.: Top-down induction of model trees with regression and splitting nodes. IEEE Transactions on Pattern Analysis and Machine Intelligence 26(5), 612–625 (2004)

    Article  Google Scholar 

  137. Mamei, M., Zambonelli, F., Leonardi, L.: Co-fields: Towards a unifying approach to the engineering of swarm intelligent systems. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 68–81. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  138. Marconi, A., Pistore, M., Traverso, P.: Specifying data-flow requirements for the automated composition of web services. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September 2006, pp. 147–156. IEEE Computer Society Press, Los Alamitos (2006)

    Chapter  Google Scholar 

  139. Marriott, K., Stuckey, P.: Programming with constraints: an introduction. MIT Press, Cambridge (1998)

    MATH  Google Scholar 

  140. Marrocco, C., Molinara, M., Tortorella, F.: Exploiting auc for optimal linear combinations of dichotomizers. Pattern Recognition Letters 27(8), 900–907 (2006)

    Article  Google Scholar 

  141. Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.: Comparing space efficiency of propositional knowledge representation formalisms. In: KR, pp. 364–373 (1996)

    Google Scholar 

  142. Meisels, A., Schaerf, A.: Modelling and solving employee timetabling problems. Annals of Mathematics and Artificial Intelligence 39(1-2), 41–59 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  143. Micheli, A., Sona, D., Sperduti, A.: Contextual processing of structured data by recursive cascade correlation. IEEE Transactions on Neural Networks 15(6), 1396–1410 (2004)

    Article  Google Scholar 

  144. Milano, M. (ed.): Constraint and Integer Programming: Toward a Unified Methodology. Kluwer Academic Publishers, Dordrecht (2004)

    MATH  Google Scholar 

  145. Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci. 7, 95–132 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  146. Nardi, D., Adorni, G., Bonarini, A., Chella, A., Clemente, G., Pagello, E., Piaggio, M.: ART99 - azzurra robot team. In: Veloso, M.M., Pagello, E., Kitano, H. (eds.) RoboCup 1999. LNCS (LNAI), vol. 1856, pp. 695–698. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  147. Nicola, R.D., Ferrari, G.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)

    Article  Google Scholar 

  148. Nolfi, S., Floreano, D.: Evolutionary Robotics. MIT Press, Cambridge (2000)

    Google Scholar 

  149. Olague, G., Cagnoni, S., Lutton, E.: Introduction to the special issue on evolutionary computer vision and image understanding. Pattern Recognition Letters 27(11), 1161–1163 (2006)

    Article  Google Scholar 

  150. Olivetti, N.: Tableaux for nonmonotonic logics. In: D’Agostino, M., Gabbay, D., Haehnle, R., Posegga, J. (eds.) Hanbook of Tableaux Methods, Kluwer Academic Publishers, Dordrecht (1999)

    Google Scholar 

  151. Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-Agent Systems 2(3), 251–269 (1999)

    Article  Google Scholar 

  152. Palù, A.D., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics 5, 186 (2004)

    Article  MATH  Google Scholar 

  153. Palú, A.D., Dovier, A., Pontelli, E.: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Software Practice & Experience 37(13), 1405–1449 (2007)

    Article  Google Scholar 

  154. Passerini, A., Frasconi, P., Raedt, L.D.: Kernels on prolog proof trees: Statistical learning in the ILP setting. Journal of Machine Learning Research 7, 307–342 (2006)

    MathSciNet  MATH  Google Scholar 

  155. Perini, A., Susi, A.: Developing a decision support system for integrated production in agriculture. Environmental Modelling and Software 19(9), 821–829 (2004)

    Article  Google Scholar 

  156. Pirri, F.: About implicit and explicit shape representation. In: Stock, O., Schaerf, M. (eds.) Reasoning, Action and Interaction in AI Theories and Systems. LNCS (LNAI), vol. 4155, pp. 141–158. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  157. Piunti, M., Castelfranchi, C., Falcone, R.: Surprise as shortcut for anticipation: Clustering mental states in reasoning. In: Veloso, M.M. (ed.) IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 507–512 (2007)

    Google Scholar 

  158. Policella, N., Wang, X., Smith, S., Oddi, A.: Exploiting temporal flexibility to obtain high quality schedules. In: Proc. AAAI-05 (2005)

    Google Scholar 

  159. Pollastri, G., Vullo, A., Frasconi, P., Baldi, P.: Modular DAG-RNN architectures for assembling coarse protein structures. Journal of Computational Biology 13(3), 631–650 (2006)

    Article  MathSciNet  Google Scholar 

  160. Portinale, L., Magro, D., Torasso, P.: Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis. Artificial Intelligence 158(2), 109–153 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  161. Riguzzi, F.: ALLPAD: Approximate learning of logic programs with annotated disjunctions. Machine Learning (To appear 2008), http://dx.medra.org/10.1007/s10994-007-5032-8

  162. http://robocare.istc.cnr.it/ (Viewed October 2007)

  163. Rossi, F., Venable, B., Yorke-Smith, N.: Simple temporal problems with preferences and uncertainty. In: Proc. CP 2003 workshop on Online Constraint Solving: Handling Change and Uncertainty, Kinsale, Co. Cork, Ireland (2003)

    Google Scholar 

  164. Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 405–421. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  165. Saitta, L., Zucker, J.D.: A model of abstraction in visual perception. Applied Artificial Intelligence 15(8), 761–776 (2001)

    Article  Google Scholar 

  166. Serra, R., Villani, M., Colacci, A.: Differential equations and cellular automata models of the growth of cell cultures and transformation foci. Complex Systems 13(4), 347–380 (2001)

    MathSciNet  MATH  Google Scholar 

  167. Serra, R., Villani, M., Semeria, A.: Genetic network models and statistical properties of gene expression data in knock-out experiments. Journal of Theoretical Biology 227(1), 149–157 (2004)

    Article  MathSciNet  Google Scholar 

  168. Serra, R., Zanarini, G.: Complex Systems and Cognitive Processes. Springer, Berlin (1990)

    Book  Google Scholar 

  169. Shawe-Taylor, J., Cristianini, N.: Kernel Methods for Pattern Analysis. Cambridge University Press, Cambridge (2004)

    Book  MATH  Google Scholar 

  170. Sperduti, A., Starita, A.: Supervised neural networks for the classification of structures. IEEE Transactions on Neural Networks 8(3), 714–735 (1997)

    Article  Google Scholar 

  171. Stock, O., Strapparava, C.: Getting serious about the development of computational humor. In: IJCAI, pp. 59–64 (2003)

    Google Scholar 

  172. Stock, O., Zancanaro, M., Busetta, P., Callaway, C.B., Krüger, A., Kruppa, M., Kuflik, T., Not, E., Rocchi, C.: Adaptive, intelligent presentation of information for the museum visitor in peach. User Model. User-Adapt. Interact. 17(3), 257–304 (2007)

    Article  Google Scholar 

  173. Sure, Y., Gómez-Pérez, A., Daelemans, W., Reinberger, M.L., Guarino, N., Noy, N.F.: Why evaluate ontology technologies? because it works? IEEE Intelligent Systems 19(4), 74–81 (2004)

    Article  Google Scholar 

  174. http://www.swarm-bots.org/ (Viewed October 2007)

  175. Tessaris, S., Franconi, E.: Rules and queries with ontologies: a unifying logical framework. In: Proceedings of the 2005 International Workshop on Description Logics (DL2005), July 26-28, 2005. CEUR Workshop Proceedings, vol. 147, CEUR-WS.org (2005)

    Google Scholar 

  176. Tettamanzi, A., Tomassini, M.: Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems. Springer, Berlin (2001)

    Book  MATH  Google Scholar 

  177. Tomassini, M., Vanneschi, L., Collard, P., Clergue, M.: A study of fitness distance correlation as a difficulty measure in genetic programming. Evolutionary Computation 13(2), 213–239 (2005)

    Article  MATH  Google Scholar 

  178. Torasso, P.: Multiple representations and multi-modal reasoning in medical diagnostic systems. Artificial Intelligence in Medicine 23(1), 49–69 (2001)

    Article  Google Scholar 

  179. Toulminet, G., Bertozzi, M., Mousset, S., Bensrhair, A., Broggi, A.: Vehicle detection by means of stereo vision-based obstacles features extraction and monocular pattern analysis. IEEE Transactions on Image Processing 15(8), 2364–2375 (2006)

    Article  Google Scholar 

  180. Trianni, V., Nolfi, S., Dorigo, M.: Cooperative hole avoidance in a swarm-bot. Robotics and Autonomous Systems 54(2), 97–103 (2006)

    Article  Google Scholar 

  181. Veloso, M.M. (ed.): IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12 (2007)

    Google Scholar 

  182. Vérel, S., Collard, P., Tomassini, M., Vanneschi, L.: Fitness landscape of the cellular automata majority problem: View from the ‘Olympus’. Theoretical Computer Science 378(1), 54–77 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  183. Vullo, A., Frasconi, P.: Prediction of protein coarse contact maps. J. Bioinformatics and Computational Biology 1(2), 411–431 (2003)

    Article  Google Scholar 

  184. Vullo, A., Frasconi, P.: Disulfide connectivity prediction using recursive neural networks and evolutionary information. Bioinformatics 20(5), 653–659 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Campus of Cesena, Alma Mater Studiorum Università di Bologna, via Venezia 52, I-47023, Cesena, Italy

    Andrea Roli

  2. DEIS, Alma Mater Studiorum Università di Bologna, viale Risorgimento 2, I-40136, Bologna, Italy

    Michela Milano

Authors
  1. Andrea Roli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michela Milano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Lion Terrace, University of Portsmouth, PO1 3HE, Portsmouth, Hants, UK

    Max Bramer

Rights and permissions

Reprints and permissions

Copyright information

© 2009 IFIP International Federation for Information Processing

About this chapter

Cite this chapter

Roli, A., Milano, M. (2009). An Overview of AI Research in Italy. In: Bramer, M. (eds) Artificial Intelligence An International Perspective. Lecture Notes in Computer Science(), vol 5640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03226-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03226-4_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03225-7

  • Online ISBN: 978-3-642-03226-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation