{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:17:21Z","timestamp":1742912241549,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":184,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032257"},{"type":"electronic","value":"9783642032264"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03226-4_10","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T10:43:15Z","timestamp":1252924995000},"page":"174-192","source":"Crossref","is-referenced-by-count":0,"title":["An Overview of AI Research in Italy"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Roli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michela","family":"Milano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"http:\/\/www.lintar.disco.unimib.it\/ABModSim\/ (Viewed October 2007)"},{"key":"10_CR2","unstructured":"http:\/\/acri2006.univ-perp.fr\/ (Viewed October 2007)"},{"volume-title":"Handbook of Spatial Logics","year":"2007","key":"10_CR3","unstructured":"Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.): Handbook of Spatial Logics. Kluwer Academic Publishers, Dordrecht (2007)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Ajani, G., Lesmo, L., Boella, G., Mazzei, A., Rossi, P.: Terminological and ontological analysis of european directives: multilinguism in law. In: ICAIL, pp. 43\u201348 (2007)","DOI":"10.1145\/1276318.1276327"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-72667-8_7","volume-title":"The Semantic Web: Research and Applications","author":"M. Alberti","year":"2007","unstructured":"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.\u00a04519, pp. 68\u201383. Springer, Heidelberg (2007)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1380572.1380578"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-54317-1_88","volume-title":"Conditional and Typed Rewriting Systems","author":"S. Anantharaman","year":"1991","unstructured":"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.\u00a0516, pp. 156\u2013161. Springer, Heidelberg (1991)"},{"key":"10_CR8","unstructured":"http:\/\/www.applied-ontology.org\/ (Viewed October 2007)"},{"key":"10_CR9","unstructured":"Ardissono, L., Lesmo, L., Pogliano, P., Terenziani, P.: Interpretation of definite noun phrases. In: IJCAI, pp. 997\u20131002 (1991)"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2005.11.007","volume":"146","author":"L. Ardissono","year":"2006","unstructured":"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.\u00a0146(1), 59\u201368 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"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\u201358 (2005)","DOI":"10.1007\/978-3-540-32254-2_4"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Armano, G., Mancosu, G., Orro, A.: Using multiple experts for predicting protein secondary structure. In: Artificial Intelligence and Applications, pp. 451\u2013456 (2005)","DOI":"10.1186\/1471-2105-6-S4-S3"},{"key":"10_CR13","unstructured":"Bagnara, R., Giacobazzi, R., Levi, G.: Static analysis of CLP programs over numeric domains. In: Billaud, M., Cast\u00e9ran, P., Corsini, M., Musumbu, K., Rauzy, A. (eds.) Actes \u201cWorkshop on Static Analysis \u201992\u201d, Bigre, Bordeaux, pp. 43\u201350, Extended abstract (1992)"},{"key":"10_CR14","unstructured":"Baioletti, M., Marcugini, S., Milani, A.: Dpplan: An algorithm for fast solutions extraction from a planning graph. In: AIPS, pp. 13\u201321 (2000)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11948148_28","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Baldoni","year":"2006","unstructured":"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.\u00a04294, pp. 339\u2013351. Springer, Heidelberg (2006)"},{"issue":"2-4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/B:AMAI.0000031196.24935.b5","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming rational agents in a modal action logic. Ann. Math. Artif. Intell.\u00a041(2-4), 207\u2013257 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR17","unstructured":"Bandini, S., Federici, M.L., Vizzari, G.: A methodology for crowd modelling with situated cellular agents. In: WOA, pp. 91\u201398 (2005)"},{"issue":"5","key":"10_CR18","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/S0167-8191(00)00082-X","volume":"27","author":"S. Bandini","year":"2001","unstructured":"Bandini, S., Magagnini, M.: Parallel processing simulation of dynamic properties of filled rubber compounds based on cellular automata. Parallel Computing\u00a027(5), 643\u2013661 (2001)","journal-title":"Parallel Computing"},{"issue":"3","key":"10_CR19","first-page":"669","volume":"E87-D","author":"S. Bandini","year":"2004","unstructured":"Bandini, S., Manzoni, S., Vizzari, G.: Situated cellular agents: A model to simulate crowding dynamics. IEICE Transactions on Information and Systems\u00a0E87-D(3), 669\u2013676 (2004)","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"5","key":"10_CR20","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1016\/S0167-8191(00)00076-4","volume":"27","author":"S. Bandini","year":"2001","unstructured":"Bandini, S., Mauri, G., Serra, R.: Cellular automata: From a theoretical parallel computational model to its application to complex systems. Parallel Computing\u00a027(5), 539\u2013553 (2001)","journal-title":"Parallel Computing"},{"issue":"1-2","key":"10_CR21","first-page":"102","volume":"3","author":"S. Bandini","year":"2006","unstructured":"Bandini, S., Serra, R.: Complex systems. Intelligenza Artificiale\u00a03(1-2), 102\u2013108 (2006)","journal-title":"Intelligenza Artificiale"},{"key":"10_CR22","volume-title":"Linked: The New Science of Networks","author":"A.L. Barabasi","year":"2002","unstructured":"Barabasi, A.L.: Linked: The New Science of Networks. Perseus Books Group, New York (2002)"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1016\/S0378-4371(02)00736-7","volume":"311","author":"A.L. Barab\u00e1si","year":"2002","unstructured":"Barab\u00e1si, A.L., Jeong, H., Ravasz, R., N\u00e9da, Z., Vicsek, T., Schubert, A.: On the topology of the scientific collaboration network. Physica A\u00a0311, 590\u2013614 (2002)","journal-title":"Physica A"},{"issue":"6","key":"10_CR24","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1080\/08839510600753725","volume":"20","author":"R. Basili","year":"2006","unstructured":"Basili, R., Moschitti, A., Pazienza, M.T.: Extensive evaluation of efficient nlp-driven text classification. Applied Artificial Intelligence\u00a020(6), 457\u2013491 (2006)","journal-title":"Applied Artificial Intelligence"},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MIS.2003.1179195","volume":"18","author":"R. Basili","year":"2003","unstructured":"Basili, R., Moschitti, A., Pazienza, M.T., Zanzotto, F.M.: Personalizing web publishing via information extraction. IEEE Intelligent Systems\u00a018(1), 62\u201370 (2003)","journal-title":"IEEE Intelligent Systems"},{"issue":"2","key":"10_CR26","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1002\/1097-024X(200102)31:2<103::AID-SPE358>3.0.CO;2-O","volume":"31","author":"F. Bellifemine","year":"2001","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: Developing multi-agent systems with a fipa-compliant agent framework. Software Practice & Experience\u00a031(2), 103\u2013128 (2001)","journal-title":"Software Practice & Experience"},{"key":"10_CR27","unstructured":"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)"},{"key":"10_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-32254-2_28","volume-title":"Mechanizing Mathematical Reasoning","author":"M. Benedetti","year":"2005","unstructured":"Benedetti, M., Aiello, L.C.: Sat-based cooperative planning: A proposal. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 494\u2013513. Springer, Heidelberg (2005)"},{"issue":"3","key":"10_CR29","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation\u00a08(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Benini, L., Bertozzi, D., Guerri, A., Milano, M.: Allocation and scheduling for MPSoCs via decomposition and no-good generation. In: IJCAI, pp. 1517\u20131518 (2005)","DOI":"10.1007\/11564751_11"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1035167.1035183","volume-title":"ICSOC","author":"D. Berardi","year":"2004","unstructured":"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\u2013114. ACM Press, New York (2004)"},{"key":"10_CR32","volume-title":"Machine Learning: A General Framework and is Applications","author":"F. Bergadano","year":"1991","unstructured":"Bergadano, F., Giordana, A., Saitta, L.: Machine Learning: A General Framework and is Applications. Ellis Horwood, New York (1991)"},{"issue":"5","key":"10_CR33","doi-asserted-by":"publisher","first-page":"2030","DOI":"10.1021\/ci060104e","volume":"46","author":"L. Bernazzani","year":"2006","unstructured":"Bernazzani, L., Duce, C., Micheli, A., Mollica, V., Sperduti, A., Starita, A., Tin\u00e9, M.R.: Predicting physical-chemical properties of compounds from molecular structures by recursive neural networks. Journal of Chemical Information and Modeling\u00a046(5), 2030\u20132042 (2006)","journal-title":"Journal of Chemical Information and Modeling"},{"issue":"1","key":"10_CR34","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/TNN.2005.860873","volume":"17","author":"M. Bianchini","year":"2006","unstructured":"Bianchini, M., Gori, M., Sarti, L., Scarselli, F.: Recursive processing of cyclic graphs. IEEE Transactions on Neural Networks\u00a017(1), 10\u201318 (2006)","journal-title":"IEEE Transactions on Neural Networks"},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Foley, S.N., O\u2019Sullivan, B.: Detecting and eliminating the cascade vulnerability problem from multilevel security networks using soft constraints. In: AAAI, pp. 808\u2013813 (2004)","DOI":"10.1145\/967900.967984"},{"issue":"1","key":"10_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/383721.383725","volume":"23","author":"S. Bistarelli","year":"2001","unstructured":"Bistarelli, S., Rossi, F.: Semiring-based contstraint logic programming: syntax and semantics. ACM Transactions of Programming Languages and Systems\u00a023(1), 1\u201329 (2001)","journal-title":"ACM Transactions of Programming Languages and Systems"},{"key":"10_CR37","unstructured":"Bistarelli, S., Foley, S.N., O\u2019Sullivan, 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)"},{"issue":"3","key":"10_CR38","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/937503.937505","volume":"35","author":"C. Blum","year":"2003","unstructured":"Blum, C., Roli, A.: Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys\u00a035(3), 268\u2013308 (2003)","journal-title":"ACM Computing Surveys"},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"de Boer, F., Gabbrielli, M., Meo, M.: Proving correctness of timed concurrent constraint programs. ACM Transactions on Computational Logic\u00a05(4) (2004)","DOI":"10.1145\/1024922.1024926"},{"key":"10_CR40","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-48317-9_3","volume-title":"Artificial Intelligence Today","author":"M.P. Bonacina","year":"1999","unstructured":"Bonacina, M.P.: A taxonomy of theorem-proving strategies. In: Artificial Intelligence Today, pp. 43\u201384. Springer, Heidelberg (1999)"},{"issue":"2","key":"10_CR41","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1006\/inco.1998.2739","volume":"147","author":"M.P. Bonacina","year":"1998","unstructured":"Bonacina, M.P., Hsiang, J.: On the modelling of search in theorem proving - towards a theory of strategy analysis. Inf. Comput.\u00a0147(2), 171\u2013208 (1998)","journal-title":"Inf. Comput."},{"issue":"1-4","key":"10_CR42","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0020-0255(97)00055-8","volume":"103","author":"A. Bonarini","year":"1997","unstructured":"Bonarini, A., Sassaroli, P.: Opportunistic multimodel diagnosis with imperfect models. Inf. Sci.\u00a0103(1-4), 161\u2013185 (1997)","journal-title":"Inf. Sci."},{"key":"10_CR43","unstructured":"Botta, M., Galassi, U., Giordana, A.: Learning complex and sparse events in long sequences. In: ECAI, pp. 425\u2013429 (2004)"},{"key":"10_CR44","first-page":"431","volume":"4","author":"M. Botta","year":"2003","unstructured":"Botta, M., Giordana, A., Saitta, L., Sebag, M.: Relational learning as search in a critical region. Journal of Machine Learning Research\u00a04, 431\u2013463 (2003)","journal-title":"Journal of Machine Learning Research"},{"issue":"2","key":"10_CR45","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1142\/S0129065703001480","volume":"13","author":"E. Burattini","year":"2003","unstructured":"Burattini, E., de Francesco, A., Gregorio, M.D.: Nsl: A neuro-symbolic language for a neuro-symbolic processor (nsp). Int. J. Neural Syst.\u00a013(2), 93\u2013101 (2003)","journal-title":"Int. J. Neural Syst."},{"key":"10_CR46","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-662-04401-8_1","volume-title":"Coordination of Internet Agents: Models, Technologies, and Applications","author":"N. Busi","year":"2001","unstructured":"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\u201324. Springer, Heidelberg (2001)"},{"issue":"3","key":"10_CR47","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1142\/S0218843002000601","volume":"11","author":"G. Cabri","year":"2002","unstructured":"Cabri, G., Guerra, F., Vincini, M., Bergamaschi, S., Leonardi, L., Zambonelli, F.: MOMIS: Exploiting agents to support information integration. Int. J. Cooperative Inf. Syst.\u00a011(3), 293\u2013314 (2002)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"10_CR48","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-2653-9","volume-title":"Automate Model Building","author":"R. Caferra","year":"2004","unstructured":"Caferra, R., Leitsch, A., Peltier, N.: Automate Model Building. Kluwer Academic Publishers, Dordrecht (2004)"},{"issue":"3","key":"10_CR49","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1109\/TSMCB.2005.846671","volume":"35","author":"S. Cagnoni","year":"2005","unstructured":"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\u00a035(3), 548\u2013555 (2005)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B"},{"issue":"12","key":"10_CR50","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1016\/S0262-8856(98)00166-8","volume":"17","author":"S. Cagnoni","year":"1999","unstructured":"Cagnoni, S., Dobrzeniecki, A.B., Poli, R., Yanch, J.C.: Genetic algorithm-based interactive segmentation of 3D medical images. Image Vision Comput.\u00a017(12), 881\u2013895 (1999)","journal-title":"Image Vision Comput."},{"key":"10_CR51","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11546207_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2005","unstructured":"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.\u00a03662, pp. 105\u2013118. Springer, Heidelberg (2005)"},{"issue":"3","key":"10_CR52","first-page":"193","volume":"19","author":"F. Calimeri","year":"2006","unstructured":"Calimeri, F., Ianni, G.: Template programs for disjunctive logic programming: An operational semantics. AI Commun.\u00a019(3), 193\u2013206 (2006)","journal-title":"AI Commun."},{"issue":"3","key":"10_CR53","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"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\u00a039(3), 385\u2013429 (2007)","journal-title":"Journal of Automated Reasoning"},{"issue":"1-2","key":"10_CR54","first-page":"21","volume":"3","author":"D. Calvanese","year":"2006","unstructured":"Calvanese, D., Guarino, N.: Ontologies and description logics. Intelligenza Artificiale\u00a03(1-2), 21\u201327 (2006)","journal-title":"Intelligenza Artificiale"},{"issue":"1","key":"10_CR55","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s100510070172","volume":"17","author":"E. Campari","year":"2000","unstructured":"Campari, E., Levi, G.: A cellular automata model for highway traffic. European Physical Journal B\u00a017(1), 159\u2013166 (2000)","journal-title":"European Physical Journal B"},{"key":"10_CR56","doi-asserted-by":"crossref","unstructured":"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\u2013122 (2005)","DOI":"10.1007\/11599128_8"},{"key":"10_CR57","first-page":"243","volume-title":"Metalevel Architectures and Reflection","author":"L. Carlucci Aiello","year":"1988","unstructured":"Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In: Metalevel Architectures and Reflection, pp. 243\u2013254. North-Holland, Amsterdam (1988)"},{"issue":"4","key":"10_CR58","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1145\/383779.383785","volume":"2","author":"L. Carlucci Aiello","year":"2001","unstructured":"Carlucci Aiello, L., Massacci, F.: Verifying security protocols as planning in logic programming. ACM Transactions on Computational Logic\u00a02(4), 542\u2013580 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"2","key":"10_CR59","first-page":"95","volume":"24","author":"C. Carpineto","year":"1996","unstructured":"Carpineto, C., Romano, G.: A lattice conceptual clustering system and its application to browsing retrieval. Machine Learning\u00a024(2), 95\u2013122 (1996)","journal-title":"Machine Learning"},{"issue":"1-2","key":"10_CR60","first-page":"33","volume":"12","author":"F. Cascio","year":"1999","unstructured":"Cascio, F., Console, L., Osella, M.G.M., Panati, A., Sottano, S., Dupr\u00e9, D.T.: Generating on-board diagnostics of dynamic automotive systems based on qualitative models. AI Commuications\u00a012(1-2), 33\u201343 (1999)","journal-title":"AI Commuications"},{"issue":"1-2","key":"10_CR61","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(98)00056-3","volume":"103","author":"C. Castelfranchi","year":"1998","unstructured":"Castelfranchi, C.: Modelling social action for AI agents. Artificial Intelligence\u00a0103(1-2), 157\u2013182 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"10_CR62","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0004-3702(02)00375-2","volume":"147","author":"C. Castellini","year":"2003","unstructured":"Castellini, C., Giunchiglia, E., Tacchella, A.: SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence\u00a0147(1-2), 85\u2013117 (2003)","journal-title":"Artificial Intelligence"},{"key":"10_CR63","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/3-540-45603-1_36","volume-title":"RoboCup 2001: Robot Soccer World Cup V","author":"C. Castelpietra","year":"2002","unstructured":"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.\u00a02377, pp. 312\u2013318. Springer, Heidelberg (2002)"},{"issue":"1","key":"10_CR64","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10844-006-0003-2","volume":"28","author":"M. Ceci","year":"2007","unstructured":"Ceci, M., Malerba, D.: Classifying web documents in a hierarchy of categories: a comprehensive study. Journal of Intelligent Information Systems\u00a028(1), 37\u201378 (2007)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"3","key":"10_CR65","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1022901500417","volume":"51","author":"N. Cesa-Bianchi","year":"2003","unstructured":"Cesa-Bianchi, N., Lugosi, G.: Potential-based algorithms in on-line prediction and game theory. Machine Learning\u00a051(3), 239\u2013261 (2003)","journal-title":"Machine Learning"},{"issue":"1","key":"10_CR66","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/A:1013617802515","volume":"8","author":"A. Cesta","year":"2002","unstructured":"Cesta, A., Oddi, A., Smith, S.F.: A constraint-based method for project scheduling with time windows. Journal of Heuristics\u00a08(1), 109\u2013136 (2002)","journal-title":"Journal of Heuristics"},{"issue":"1-2","key":"10_CR67","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0004-3702(00)00048-5","volume":"123","author":"A. Chella","year":"2000","unstructured":"Chella, A., Frixione, M., Gaglio, S.: Understanding dynamic scenes. Artif. Intell.\u00a0123(1-2), 89\u2013132 (2000)","journal-title":"Artif. Intell."},{"issue":"4","key":"10_CR68","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0921-8890(00)00121-4","volume":"34","author":"A. Chella","year":"2001","unstructured":"Chella, A., Gaglio, S., Pirrone, R.: Conceptual representations of actions for autonomous robots. Robotics and Autonomous Systems\u00a034(4), 251\u2013263 (2001)","journal-title":"Robotics and Autonomous Systems"},{"issue":"8","key":"10_CR69","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1080\/088395101317018564","volume":"15","author":"A. Chella","year":"2001","unstructured":"Chella, A., Guarino, M.D., Infantino, I., Pirrone, R.: A vision system for symbolic interpretation of dynamic scenes using arsom. Applied Artificial Intelligence\u00a015(8), 723\u2013734 (2001)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR70","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L. Chittaro","year":"1996","unstructured":"Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence\u00a012, 359\u2013382 (1996)","journal-title":"Computational Intelligence"},{"issue":"1-2","key":"10_CR71","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.artint.2003.06.003","volume":"155","author":"L. Chittaro","year":"2004","unstructured":"Chittaro, L., Ranon, R.: Hierarchical model-based diagnosis based on structural abstraction. Artificial Intelligence\u00a0155(1-2), 147\u2013182 (2004)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10_CR72","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1080\/08839519408945441","volume":"8","author":"L. Chittaro","year":"1994","unstructured":"Chittaro, L., Tasso, C., Toppano, E.: Putting functional knowledge on firmer ground. Applied Artificial Intelligence\u00a08(2), 239\u2013258 (1994)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/10719619_19","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"P. Ciancarini","year":"2000","unstructured":"Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: The coordination viewpoint. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757, pp. 250\u2013259. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"10_CR74","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence\u00a0147(1-2), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"10_CR75","unstructured":"Console, L., Dupr\u00e9, D.T., Torasso, P.: A theory of diagnosis for incomplete causal models. In: IJCAI, pp. 1311\u20131317 (1989)"},{"key":"10_CR76","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1613\/jair.1194","volume":"19","author":"L. Console","year":"2003","unstructured":"Console, L., Picardi, C., Dupr\u00e9, D.T.: Temporal decision trees: Model-based diagnosis of dynamic systems on-board. Journal of Artificial Intelligence Research\u00a019, 469\u2013512 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"10_CR77","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(02)00292-8","volume":"142","author":"L. Console","year":"2002","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Process algebras for systems diagnosis. Artificial Intelligence\u00a0142(1), 19\u201351 (2002)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"10_CR78","first-page":"42","volume":"3","author":"L. Console","year":"2006","unstructured":"Console, L., Torasso, P.: Automated diagnosis. Intelligenza Artificiale\u00a03(1-2), 42\u201348 (2006)","journal-title":"Intelligenza Artificiale"},{"issue":"6","key":"10_CR79","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1109\/TEVC.2005.856207","volume":"9","author":"F. Corno","year":"2005","unstructured":"Corno, F., S\u00e1nchez, E., Squillero, G.: Evolving assembly programs: how games help microprocessor validation. IEEE Transactions on Evolutionary Computation\u00a09(6), 695\u2013706 (2005)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"volume-title":"WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA\/TABOO Joint Workshop \u201dFrom Objects to Agents\u201d: Evolutive Trends of Software Systems","year":"2000","key":"10_CR80","unstructured":"Corradi, A., Omicini, A., Poggi, A. (eds.): WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA\/TABOO Joint Workshop \u201dFrom Objects to Agents\u201d: Evolutive Trends of Software Systems, Parma, Italy, 29-30 May 2000. Pitagora Editrice, Bologna (2000)"},{"key":"10_CR81","doi-asserted-by":"crossref","unstructured":"Costantini, S.: Meta-reasoning: A survey. In: Computational Logic: Logic Programming and Beyond, pp. 253\u2013288 (2002)","DOI":"10.1007\/3-540-45632-5_11"},{"key":"10_CR82","unstructured":"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.\u00a092, CEUR-WS.org (2004)"},{"key":"10_CR83","unstructured":"Costantini, S., Dell\u2019Acqua, 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.\u00a0204, CEUR-WS.org (2006)"},{"key":"10_CR84","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-74782-6_12","volume-title":"AI*IA 2007: Artificial Intelligence and Human-Oriented Computing","author":"S. Costantini","year":"2007","unstructured":"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.\u00a04733, pp. 121\u2013132. Springer, Heidelberg (2007)"},{"key":"10_CR85","first-page":"291","volume-title":"ICIAP","author":"R. Cucchiara","year":"2007","unstructured":"Cucchiara, R., Perini, E., Pistoni, G.: Efficient stereo vision for obstacle detection and agv navigation. In: Cucchiara, R. (ed.) ICIAP, pp. 291\u2013296. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"10_CR86","unstructured":"http:\/\/www.informatik.uni-trier.de\/~ley\/db\/ (Viewed October 2007)"},{"key":"10_CR87","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1007\/11523468_100","volume-title":"Automata, Languages and Programming","author":"G. Delzanno","year":"2005","unstructured":"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.\u00a03580, pp. 1239\u20131250. Springer, Heidelberg (2005)"},{"key":"10_CR88","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1290.001.0001","volume-title":"Ant Colony Optimization","author":"M. Dorigo","year":"2004","unstructured":"Dorigo, M., St\u00fctzle, T.: Ant Colony Optimization. MIT Press, Cambridge (2004)"},{"key":"10_CR89","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: AAAI, pp. 1622\u20131625 (2007)"},{"issue":"1\u20132","key":"10_CR90","first-page":"59","volume":"4","author":"A. Dovier","year":"2001","unstructured":"Dovier, A., Piazza, C., Rossi, G.: Multiset rewriting by multiset constraint solving. Romanian Journal of Information Science and Technology\u00a04(1\u20132), 59\u201376 (2001)","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"10_CR91","doi-asserted-by":"crossref","unstructured":"Ernandes, M., Angelini, G., Gori, M.: Webcrow: A web-based system for crossword solving. In: AAAI, pp. 1412\u20131417 (2005)","DOI":"10.1007\/11590323_37"},{"issue":"1-2","key":"10_CR92","first-page":"63","volume":"3","author":"F. Esposito","year":"2006","unstructured":"Esposito, F., Giordana, A., Saitta, L.: Machine learning and data mining. Intelligenza Artificiale\u00a03(1-2), 63\u201371 (2006)","journal-title":"Intelligenza Artificiale"},{"issue":"2-3","key":"10_CR93","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1023\/A:1008735902918","volume":"14","author":"F. Esposito","year":"2000","unstructured":"Esposito, F., Malerba, D., Lisi, F.A.: Machine learning for intelligent processing of printed documents. Journal of Intelligent Information Systems\u00a014(2-3), 175\u2013198 (2000)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"5","key":"10_CR94","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/34.589207","volume":"19","author":"F. Esposito","year":"1997","unstructured":"Esposito, F., Malerba, D., Semeraro, G.: A comparative analysis of methods for pruning decision trees. IEEE Transactions on Pattern Analysis and Machine Intelligence\u00a019(5), 476\u2013491 (1997)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"issue":"1-2","key":"10_CR95","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F. Esposito","year":"2000","unstructured":"Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and abduction in INTHELEX. Machine Learning\u00a038(1-2), 133\u2013156 (2000)","journal-title":"Machine Learning"},{"issue":"5","key":"10_CR96","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/3468.952715","volume":"31","author":"R. Falcone","year":"2001","unstructured":"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\u00a031(5), 406\u2013418 (2001)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A"},{"issue":"4","key":"10_CR97","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/990010.990013","volume":"12","author":"G.L. Ferrari","year":"2003","unstructured":"Ferrari, G.L., Gnesi, S., Montanari, U., Pistore, M.: A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol.\u00a012(4), 440\u2013473 (2003)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10_CR98","unstructured":"Finzi, A., Pirri, F.: Combining probabilities, failures and safety in robot control. In: IJCAI, pp. 1331\u20131336 (2001)"},{"key":"10_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-25951-0_10","volume-title":"Program Development in Computational Logic","author":"F. Fioravanti","year":"2004","unstructured":"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.\u00a03049, pp. 291\u2013339. Springer, Heidelberg (2004)"},{"issue":"2","key":"10_CR100","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10458-006-0017-8","volume":"14","author":"N. Fornara","year":"2007","unstructured":"Fornara, N., Vigan\u00f2, F., Colombetti, M.: Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems\u00a014(2), 121\u2013142 (2007)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR101","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web: Research and Applications","year":"2007","unstructured":"Franconi, E., Kifer, M., May, W. (eds.): ESWC 2007. LNCS, vol.\u00a04519. Springer, Heidelberg (2007)"},{"issue":"5","key":"10_CR102","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1109\/72.712151","volume":"9","author":"P. Frasconi","year":"1998","unstructured":"Frasconi, P., Gori, M., Sperduti, A.: A general framework for adaptive processing of data structures. IEEE Transactions on Neural Networks\u00a09(5), 768\u2013786 (1998)","journal-title":"IEEE Transactions on Neural Networks"},{"issue":"6","key":"10_CR103","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1109\/TPAMI.2005.109","volume":"27","author":"G. Fumera","year":"2005","unstructured":"Fumera, G., Roli, F.: A theoretical and experimental analysis of linear combiners for multiple classifier systems. IEEE Trans. Pattern Anal. Mach. Intell.\u00a027(6), 942\u2013956 (2005)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"10_CR104","unstructured":"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\u2013803 (2007)"},{"issue":"9-10","key":"10_CR105","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1080\/08839510290030453","volume":"16","author":"F. Gandon","year":"2002","unstructured":"Gandon, F., Poggi, A., Rimassa, G., Turci, P.: Multi-agent corporate memory management system. Applied Artificial Intelligence\u00a016(9-10), 699\u2013720 (2002)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR106","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45810-7_18","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"A. Gangemi","year":"2002","unstructured":"Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE. In: G\u00f3mez-P\u00e9rez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol.\u00a02473, pp. 166\u2013181. Springer, Heidelberg (2002)"},{"issue":"2","key":"10_CR107","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10732-006-9007-x","volume":"13","author":"L.D. Gaspero","year":"2007","unstructured":"Gaspero, L.D., Schaerf, A.: A composite-neighborhood tabu search approach to the traveling tournament problem. Journal of Heuristics\u00a013(2), 189\u2013207 (2007)","journal-title":"Journal of Heuristics"},{"key":"10_CR108","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-72397-4_4","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"L. Gaspero Di","year":"2007","unstructured":"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.\u00a04510, pp. 44\u201358. Springer, Heidelberg (2007)"},{"key":"10_CR109","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1613\/jair.1183","volume":"20","author":"A. Gerevini","year":"2003","unstructured":"Gerevini, A., Saetti, A., Serina, I.: Planning through stochastic local search and temporal action graphs in LPG. Journal of Artificial Intelligence Research\u00a020, 239\u2013290 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10_CR110","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11559306_1","volume-title":"Frontiers of Combining Systems","author":"S. Ghilardi","year":"2005","unstructured":"Ghilardi, S., Nicolini, E., Zucchelli, D.: A comprehensive framework for combined decision procedures. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 1\u201330. Springer, Heidelberg (2005)"},{"issue":"5","key":"10_CR111","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1109\/TEVC.2005.850298","volume":"9","author":"M. Giacobini","year":"2005","unstructured":"Giacobini, M., Tomassini, M., Tettamanzi, A., Alba, E.: Selection intensity in cellular evolutionary algorithms for regular lattices. IEEE Transactions on Evolutionary Computation\u00a09(5), 489\u2013505 (2005)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"issue":"5","key":"10_CR112","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1093\/logcom\/9.5.759","volume":"9","author":"G.D. Giacomo","year":"1999","unstructured":"Giacomo, G.D., Iocchi, L., Nardi, D., Rosati, R.: A theory and implementation of cognitive mobile robots. J. Log. Comput.\u00a09(5), 759\u2013785 (1999)","journal-title":"J. Log. Comput."},{"key":"10_CR113","unstructured":"Giacomo, G.D., Lenzerini, M.: A uniform framework for concept definitions in description logics. CoRR cs.AI\/9703101 (1997)"},{"issue":"2","key":"10_CR114","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1007620705405","volume":"41","author":"A. Giordana","year":"2000","unstructured":"Giordana, A., Saitta, L.: Phase transitions in relational learning. Machine Learning\u00a041(2), 217\u2013251 (2000)","journal-title":"Machine Learning"},{"issue":"2","key":"10_CR115","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"J. Applied Logic"},{"key":"10_CR116","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1613\/jair.1959","volume":"26","author":"E. Giunchiglia","year":"2006","unstructured":"Giunchiglia, E., Narizzano, M., Tacchella, A.: Clause\/term resolution and learning in the evaluation of quantified boolean formulas. Journal of Artificial Intelligence Research\u00a026, 371\u2013416 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"10_CR117","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0004-3702(94)90037-X","volume":"65","author":"F. Giunchiglia","year":"1994","unstructured":"Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics or: How we can do without modal logics. Artificial Intelligence\u00a065(1), 29\u201370 (1994)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10_CR118","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/TPAMI.2005.4","volume":"27","author":"M. Gori","year":"2005","unstructured":"Gori, M., Marinai, S., Soda, G.: Artificial neural networks for document analysis and recognition. IEEE Transactions on Pattern Analysis and Machine Intelligence\u00a027(1), 23\u201335 (2005)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"issue":"8","key":"10_CR119","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1016\/j.neunet.2005.07.006","volume":"18","author":"M. Gori","year":"2005","unstructured":"Gori, M., Sperduti, A.: The loading problem for recursive neural networks. Neural Networks\u00a018(8), 1064\u20131079 (2005)","journal-title":"Neural Networks"},{"issue":"1","key":"10_CR120","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0304-3975(98)00154-6","volume":"217","author":"S.D. Gregorio","year":"1999","unstructured":"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\u00a0217(1), 131\u2013156 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR121","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/503124.503150","volume":"45","author":"N. Guarino","year":"2002","unstructured":"Guarino, N., Welty, C.A.: Evaluating ontological decisions with ontoclean. Communications of ACM\u00a045(2), 61\u201365 (2002)","journal-title":"Communications of ACM"},{"key":"10_CR122","first-page":"1013","volume-title":"Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence","author":"J. Hoffmann","year":"2007","unstructured":"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\u20131018. AAAI Press, Menlo Park (2007)"},{"key":"10_CR123","unstructured":"Intelligenza artificiale 3(1-2) (in English) (2006)"},{"issue":"2","key":"10_CR124","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1025589008533","volume":"15","author":"L. Iocchi","year":"2003","unstructured":"Iocchi, L., Nardi, D., Piaggio, M., Sgorbissa, A.: Distributed coordination in heterogeneous multi-robot systems. Auton. Robots\u00a015(2), 155\u2013168 (2003)","journal-title":"Auton. Robots"},{"key":"10_CR125","unstructured":"http:\/\/www.isaacrobot.it\/ (Viewed October 2007)"},{"key":"10_CR126","unstructured":"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\u2013176 (1990)"},{"issue":"15","key":"10_CR127","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.jvlc.2003.06.005","volume":"1","author":"S. Kimani","year":"2004","unstructured":"Kimani, S., Lodi, S., Catarci, T., Santucci, G., Sartori, C.: VidaMine: a visual data mining environment. J. Vis. Lang. Comput.\u00a01(15), 37\u201367 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"10_CR128","unstructured":"Landwehr, N., Passerini, A., Raedt, L.D., Frasconi, P.: kFOIL: Learning simple relational kernels. In: AAAI (2006)"},{"issue":"3-4","key":"10_CR129","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1159\/000093689","volume":"2","author":"D. Lane","year":"2006","unstructured":"Lane, D., Serra, R., Villani, M., Ansaloni, L.: A theory-based dynamical model of innovation processes. ComPlexUs\u00a02(3-4), 177\u2013194 (2006)","journal-title":"ComPlexUs"},{"key":"10_CR130","volume-title":"Foundations of Genetic Programming","author":"W.B. Langdon","year":"2005","unstructured":"Langdon, W.B., Poli, R.: Foundations of Genetic Programming, 2nd edn. Springer, Heidelberg (2005)","edition":"2"},{"issue":"3","key":"10_CR131","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"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\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"10_CR132","unstructured":"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\u201355 (2003)"},{"key":"10_CR133","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11875604_35","volume-title":"Foundations of Intelligent Systems","author":"F.A. Lisi","year":"2006","unstructured":"Lisi, F.A.: A methodology for building semantic web mining systems. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 306\u2013311. Springer, Heidelberg (2006)"},{"issue":"2","key":"10_CR134","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1023\/B:MACH.0000023151.65011.a3","volume":"55","author":"F.A. Lisi","year":"2004","unstructured":"Lisi, F.A., Malerba, D.: Inducing multi-level association rules from multiple relations. Machine Learning\u00a055(2), 175\u2013210 (2004)","journal-title":"Machine Learning"},{"key":"10_CR135","doi-asserted-by":"crossref","unstructured":"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\u2013116 (2004)","DOI":"10.1007\/978-3-540-44497-8_5"},{"issue":"5","key":"10_CR136","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1109\/TPAMI.2004.1273937","volume":"26","author":"D. Malerba","year":"2004","unstructured":"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\u00a026(5), 612\u2013625 (2004)","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"10_CR137","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-39173-8_6","volume-title":"Engineering Societies in the Agents World III","author":"M. Mamei","year":"2003","unstructured":"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.\u00a02577, pp. 68\u201381. Springer, Heidelberg (2003)"},{"key":"10_CR138","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/SEFM.2006.34","volume-title":"Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)","author":"A. Marconi","year":"2006","unstructured":"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\u2013156. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"10_CR139","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with constraints: an introduction","author":"K. Marriott","year":"1998","unstructured":"Marriott, K., Stuckey, P.: Programming with constraints: an introduction. MIT Press, Cambridge (1998)"},{"issue":"8","key":"10_CR140","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1016\/j.patrec.2005.10.014","volume":"27","author":"C. Marrocco","year":"2006","unstructured":"Marrocco, C., Molinara, M., Tortorella, F.: Exploiting auc for optimal linear combinations of dichotomizers. Pattern Recognition Letters\u00a027(8), 900\u2013907 (2006)","journal-title":"Pattern Recognition Letters"},{"key":"10_CR141","unstructured":"Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.: Comparing space efficiency of propositional knowledge representation formalisms. In: KR, pp. 364\u2013373 (1996)"},{"issue":"1-2","key":"10_CR142","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1023\/A:1024460714760","volume":"39","author":"A. Meisels","year":"2003","unstructured":"Meisels, A., Schaerf, A.: Modelling and solving employee timetabling problems. Annals of Mathematics and Artificial Intelligence\u00a039(1-2), 41\u201359 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"6","key":"10_CR143","doi-asserted-by":"publisher","first-page":"1396","DOI":"10.1109\/TNN.2004.837783","volume":"15","author":"A. Micheli","year":"2004","unstructured":"Micheli, A., Sona, D., Sperduti, A.: Contextual processing of structured data by recursive cascade correlation. IEEE Transactions on Neural Networks\u00a015(6), 1396\u20131410 (2004)","journal-title":"IEEE Transactions on Neural Networks"},{"volume-title":"Constraint and Integer Programming: Toward a Unified Methodology","year":"2004","key":"10_CR144","unstructured":"Milano, M. (ed.): Constraint and Integer Programming: Toward a Unified Methodology. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"10_CR145","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci.\u00a07, 95\u2013132 (1974)","journal-title":"Inf. Sci."},{"key":"10_CR146","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/3-540-45327-X_84","volume-title":"RoboCup-99: Robot Soccer World Cup III","author":"D. Nardi","year":"2000","unstructured":"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.\u00a01856, pp. 695\u2013698. Springer, Heidelberg (2000)"},{"issue":"5","key":"10_CR147","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R.D. Nicola","year":"1998","unstructured":"Nicola, R.D., Ferrari, G.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR148","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2889.001.0001","volume-title":"Evolutionary Robotics","author":"S. Nolfi","year":"2000","unstructured":"Nolfi, S., Floreano, D.: Evolutionary Robotics. MIT Press, Cambridge (2000)"},{"issue":"11","key":"10_CR149","doi-asserted-by":"publisher","first-page":"1161","DOI":"10.1016\/j.patrec.2005.07.013","volume":"27","author":"G. Olague","year":"2006","unstructured":"Olague, G., Cagnoni, S., Lutton, E.: Introduction to the special issue on evolutionary computer vision and image understanding. Pattern Recognition Letters\u00a027(11), 1161\u20131163 (2006)","journal-title":"Pattern Recognition Letters"},{"key":"10_CR150","volume-title":"Hanbook of Tableaux Methods","author":"N. Olivetti","year":"1999","unstructured":"Olivetti, N.: Tableaux for nonmonotonic logics. In: D\u2019Agostino, M., Gabbay, D., Haehnle, R., Posegga, J. (eds.) Hanbook of Tableaux Methods, Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"3","key":"10_CR151","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1023\/A:1010060322135","volume":"2","author":"A. Omicini","year":"1999","unstructured":"Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-Agent Systems\u00a02(3), 251\u2013269 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR152","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A.D. Pal\u00f9","year":"2004","unstructured":"Pal\u00f9, A.D., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics\u00a05, 186 (2004)","journal-title":"BMC Bioinformatics"},{"issue":"13","key":"10_CR153","doi-asserted-by":"publisher","first-page":"1405","DOI":"10.1002\/spe.810","volume":"37","author":"A.D. Pal\u00fa","year":"2007","unstructured":"Pal\u00fa, A.D., Dovier, A., Pontelli, E.: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Software Practice & Experience\u00a037(13), 1405\u20131449 (2007)","journal-title":"Software Practice & Experience"},{"key":"10_CR154","first-page":"307","volume":"7","author":"A. Passerini","year":"2006","unstructured":"Passerini, A., Frasconi, P., Raedt, L.D.: Kernels on prolog proof trees: Statistical learning in the ILP setting. Journal of Machine Learning Research\u00a07, 307\u2013342 (2006)","journal-title":"Journal of Machine Learning Research"},{"issue":"9","key":"10_CR155","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/j.envsoft.2003.03.001","volume":"19","author":"A. Perini","year":"2004","unstructured":"Perini, A., Susi, A.: Developing a decision support system for integrated production in agriculture. Environmental Modelling and Software\u00a019(9), 821\u2013829 (2004)","journal-title":"Environmental Modelling and Software"},{"key":"10_CR156","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/11829263_8","volume-title":"Reasoning, Action and Interaction in AI Theories and Systems","author":"F. Pirri","year":"2006","unstructured":"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.\u00a04155, pp. 141\u2013158. Springer, Heidelberg (2006)"},{"key":"10_CR157","unstructured":"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\u2013512 (2007)"},{"key":"10_CR158","unstructured":"Policella, N., Wang, X., Smith, S., Oddi, A.: Exploiting temporal flexibility to obtain high quality schedules. In: Proc. AAAI-05 (2005)"},{"issue":"3","key":"10_CR159","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1089\/cmb.2006.13.631","volume":"13","author":"G. Pollastri","year":"2006","unstructured":"Pollastri, G., Vullo, A., Frasconi, P., Baldi, P.: Modular DAG-RNN architectures for assembling coarse protein structures. Journal of Computational Biology\u00a013(3), 631\u2013650 (2006)","journal-title":"Journal of Computational Biology"},{"issue":"2","key":"10_CR160","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.artint.2004.05.005","volume":"158","author":"L. Portinale","year":"2004","unstructured":"Portinale, L., Magro, D., Torasso, P.: Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis. Artificial Intelligence\u00a0158(2), 109\u2013153 (2004)","journal-title":"Artificial Intelligence"},{"key":"10_CR161","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/s10994-007-5032-8"},{"key":"10_CR162","unstructured":"http:\/\/robocare.istc.cnr.it\/ (Viewed October 2007)"},{"key":"10_CR163","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-45193-8_123"},{"key":"10_CR164","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-45448-9_30","volume-title":"Intelligent Agents VIII","author":"F. Sadri","year":"2002","unstructured":"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.\u00a02333, pp. 405\u2013421. Springer, Heidelberg (2002)"},{"issue":"8","key":"10_CR165","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1080\/088395101317018591","volume":"15","author":"L. Saitta","year":"2001","unstructured":"Saitta, L., Zucker, J.D.: A model of abstraction in visual perception. Applied Artificial Intelligence\u00a015(8), 761\u2013776 (2001)","journal-title":"Applied Artificial Intelligence"},{"issue":"4","key":"10_CR166","first-page":"347","volume":"13","author":"R. Serra","year":"2001","unstructured":"Serra, R., Villani, M., Colacci, A.: Differential equations and cellular automata models of the growth of cell cultures and transformation foci. Complex Systems\u00a013(4), 347\u2013380 (2001)","journal-title":"Complex Systems"},{"issue":"1","key":"10_CR167","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.jtbi.2003.10.018","volume":"227","author":"R. Serra","year":"2004","unstructured":"Serra, R., Villani, M., Semeria, A.: Genetic network models and statistical properties of gene expression data in knock-out experiments. Journal of Theoretical Biology\u00a0227(1), 149\u2013157 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"10_CR168","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-46678-6","volume-title":"Complex Systems and Cognitive Processes","author":"R. Serra","year":"1990","unstructured":"Serra, R., Zanarini, G.: Complex Systems and Cognitive Processes. Springer, Berlin (1990)"},{"key":"10_CR169","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809682","volume-title":"Kernel Methods for Pattern Analysis","author":"J. Shawe-Taylor","year":"2004","unstructured":"Shawe-Taylor, J., Cristianini, N.: Kernel Methods for Pattern Analysis. Cambridge University Press, Cambridge (2004)"},{"issue":"3","key":"10_CR170","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/72.572108","volume":"8","author":"A. Sperduti","year":"1997","unstructured":"Sperduti, A., Starita, A.: Supervised neural networks for the classification of structures. IEEE Transactions on Neural Networks\u00a08(3), 714\u2013735 (1997)","journal-title":"IEEE Transactions on Neural Networks"},{"key":"10_CR171","unstructured":"Stock, O., Strapparava, C.: Getting serious about the development of computational humor. In: IJCAI, pp. 59\u201364 (2003)"},{"issue":"3","key":"10_CR172","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s11257-007-9029-6","volume":"17","author":"O. Stock","year":"2007","unstructured":"Stock, O., Zancanaro, M., Busetta, P., Callaway, C.B., Kr\u00fcger, 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.\u00a017(3), 257\u2013304 (2007)","journal-title":"User Model. User-Adapt. Interact."},{"issue":"4","key":"10_CR173","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MIS.2004.37","volume":"19","author":"Y. Sure","year":"2004","unstructured":"Sure, Y., G\u00f3mez-P\u00e9rez, A., Daelemans, W., Reinberger, M.L., Guarino, N., Noy, N.F.: Why evaluate ontology technologies? because it works? IEEE Intelligent Systems\u00a019(4), 74\u201381 (2004)","journal-title":"IEEE Intelligent Systems"},{"key":"10_CR174","unstructured":"http:\/\/www.swarm-bots.org\/ (Viewed October 2007)"},{"key":"10_CR175","unstructured":"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.\u00a0147, CEUR-WS.org (2005)"},{"key":"10_CR176","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04335-6","volume-title":"Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems","author":"A. Tettamanzi","year":"2001","unstructured":"Tettamanzi, A., Tomassini, M.: Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems. Springer, Berlin (2001)"},{"issue":"2","key":"10_CR177","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1162\/1063656054088549","volume":"13","author":"M. Tomassini","year":"2005","unstructured":"Tomassini, M., Vanneschi, L., Collard, P., Clergue, M.: A study of fitness distance correlation as a difficulty measure in genetic programming. Evolutionary Computation\u00a013(2), 213\u2013239 (2005)","journal-title":"Evolutionary Computation"},{"issue":"1","key":"10_CR178","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0933-3657(01)00075-6","volume":"23","author":"P. Torasso","year":"2001","unstructured":"Torasso, P.: Multiple representations and multi-modal reasoning in medical diagnostic systems. Artificial Intelligence in Medicine\u00a023(1), 49\u201369 (2001)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"8","key":"10_CR179","doi-asserted-by":"publisher","first-page":"2364","DOI":"10.1109\/TIP.2006.875174","volume":"15","author":"G. Toulminet","year":"2006","unstructured":"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\u00a015(8), 2364\u20132375 (2006)","journal-title":"IEEE Transactions on Image Processing"},{"issue":"2","key":"10_CR180","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.robot.2005.09.018","volume":"54","author":"V. Trianni","year":"2006","unstructured":"Trianni, V., Nolfi, S., Dorigo, M.: Cooperative hole avoidance in a swarm-bot. Robotics and Autonomous Systems\u00a054(2), 97\u2013103 (2006)","journal-title":"Robotics and Autonomous Systems"},{"key":"10_CR181","unstructured":"Veloso, M.M. (ed.): IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12 (2007)"},{"issue":"1","key":"10_CR182","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.tcs.2007.01.001","volume":"378","author":"S. V\u00e9rel","year":"2007","unstructured":"V\u00e9rel, S., Collard, P., Tomassini, M., Vanneschi, L.: Fitness landscape of the cellular automata majority problem: View from the \u2018Olympus\u2019. Theoretical Computer Science\u00a0378(1), 54\u201377 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10_CR183","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1142\/S0219720003000149","volume":"1","author":"A. Vullo","year":"2003","unstructured":"Vullo, A., Frasconi, P.: Prediction of protein coarse contact maps. J. Bioinformatics and Computational Biology\u00a01(2), 411\u2013431 (2003)","journal-title":"J. Bioinformatics and Computational Biology"},{"issue":"5","key":"10_CR184","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1093\/bioinformatics\/btg463","volume":"20","author":"A. Vullo","year":"2004","unstructured":"Vullo, A., Frasconi, P.: Disulfide connectivity prediction using recursive neural networks and evolutionary information. Bioinformatics\u00a020(5), 653\u2013659 (2004)","journal-title":"Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence An International Perspective"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03226-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T03:55:44Z","timestamp":1739332544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03226-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032257","9783642032264"],"references-count":184,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03226-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}