{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:37:05Z","timestamp":1766086625142},"publisher-location":"Berlin, Heidelberg","reference-count":136,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143083"},{"type":"electronic","value":"9783642143090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_14","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T09:09:58Z","timestamp":1277284198000},"page":"300-328","source":"Crossref","is-referenced-by-count":5,"title":["25 Years of Applications of Logic Programming in Italy"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Dal Pal\u00f9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach to the specification and verification of agent societies. In: Global Computing, pp. 314\u2013339 (2004)","DOI":"10.1007\/978-3-540-31794-4_17"},{"key":"14_CR2","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 Trans. Comput. Log.\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380578"},{"issue":"2-4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Ambriola, V., Ciancarini, P., Montangero, C.: Enacting software processes in Oikos. In: Software Development Environments. SIGSOFT, vol.\u00a015(6), pp. 12\u201323 (1990)","DOI":"10.1145\/99278.99294"},{"key":"14_CR5","unstructured":"Ambriola, V., Ciancarini, P., Montangero, C.: The logic language ESP and its programming environment. In: Workshop on Logic Programming Environments, Technical Report IR-LP-31-25 of ECRC (June 1990)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Ambriola, V., Ciancarini, P., Montangero, C.: Software processes as a hierarchy of services in the Oikos meta environment. In: Soft. Proc. Workshop, pp. 57\u201360 (1990)","DOI":"10.1109\/ISPW.1990.659573"},{"key":"14_CR7","unstructured":"Arf\u00e9, B., Gennari, R., Mich, O.: Before, while and after with LODE and hearing novice readers. Tech. Rep. KRDB09-1, University of Bolzano (2009)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Attardi, G., Simi, M.: A description-oriented logic for building knowledge bases. IEEE\u00a074(10) (1986)","DOI":"10.1109\/PROC.1986.13635"},{"issue":"9","key":"14_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MC.2004.129","volume":"37","author":"F. Avanzini","year":"2004","unstructured":"Avanzini, F., Rocchesso, D., Belussi, A., Dal Pal\u00f9, A., Dovier, A.: Designing an urban-scale auditory alert system. Computer\u00a037(9), 55\u201361 (2004)","journal-title":"Computer"},{"issue":"4","key":"14_CR10","first-page":"183","volume":"17","author":"S. Badaloni","year":"2004","unstructured":"Badaloni, S., Falda, M., Giacomin, M.: Integrating quantitative and qualitative constraints in fuzzy temporal networks. AI Communications\u00a017(4), 183\u2013272 (2004)","journal-title":"AI Communications"},{"issue":"10","key":"14_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1016\/j.artint.2006.04.001","volume":"170","author":"S. Badaloni","year":"2006","unstructured":"Badaloni, S., Giacomin, M.: The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. Artificial Intelligence\u00a0170(10), 872\u2013908 (2006)","journal-title":"Artificial Intelligence"},{"key":"14_CR12","unstructured":"Bagnara, R., Hill, P.M., Pescetti, A., Zaffanella, E.: On the design of generic static analyzers for imperative languages. Quaderno 485, Dipartimento di Matematica, Universit\u00e0 di Parma, Italy (2008)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/978-3-642-14309-0_10","volume-title":"25 Years of Logic Programming in Italy, ch. 10","author":"M. Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 10. LNCS, vol.\u00a06125, pp. 204\u2013230. Springer, Heidelberg (2010)"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1093\/logcom\/10.6.743","volume":"10","author":"J. Barklund","year":"2000","unstructured":"Barklund, J., Costantini, S., Dell\u2019Acqua, P., Lanzarone, G.: Reflection principles in computational logic. Journal of Logic and Computation\u00a010, 6 (December 2000)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","year":"2005","unstructured":"Bart\u00e1k, R., Milano, M. (eds.): CPAIOR 2005. LNCS, vol.\u00a03524. Springer, Heidelberg (2005)"},{"key":"14_CR16","unstructured":"Bazzocchi, L.: Lo SMAU scopre l\u2019intelligenza artificiale. Office Automation, 86\u201390 (November 1988)"},{"key":"14_CR17","unstructured":"Bisiani, R., Merico, D., Mileo, A., Pinardi, S.: A logical approach to home healthcare with intelligent sensor-network support. The Comp. J. Adv. Access (2009)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-642-14309-0_8","volume-title":"25 Years of Logic Programming in Italy","author":"P. Bonatti","year":"2010","unstructured":"Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer Set Programming. In: 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125, pp. 159\u2013182. Springer, Heidelberg (2010)"},{"key":"14_CR19","unstructured":"Bos, J.: Towards wide-coverage semantic interpretation. In: IWCS-6, pp. 42\u201353 (2005)"},{"issue":"2-4","key":"14_CR20","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1080\/08839510500479496","volume":"20","author":"A. Bracciali","year":"2006","unstructured":"Bracciali, A., Endriss, U., Demetriou, N., Kakas, A.C., Lu, W., Stathis, K.: Crafting the mind of PROSOCS agents. Appl. Artif. Intelligence\u00a020(2-4), 105\u2013131 (2006)","journal-title":"Appl. Artif. Intelligence"},{"key":"14_CR21","unstructured":"Briola, D., Mascardi, V., Martelli, M., Arecco, G., Caccia, R., Milani, C.: A Prolog-based MAS for railway signalling monitoring: Implementation and experiments. In: WOA 2008 (2008)"},{"key":"14_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-85029-8_9","volume-title":"Engineering Environment-Mediated Multi-Agent Systems","author":"S. Bromuri","year":"2008","unstructured":"Bromuri, S., Stathis, K.: Situating Cognitive Agents in GOLEM. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS (LNAI), vol.\u00a05049, pp. 115\u2013134. Springer, Heidelberg (2008)"},{"key":"14_CR23","volume-title":"DEBS","author":"S. Bromuri","year":"2009","unstructured":"Bromuri, S., Stathis, K.: Distributed agent environments in the ambient event calculus. In: Gokhale, A.S., Schmidt, D.C. (eds.) DEBS. ACM, New York (2009)"},{"key":"14_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-88833-8_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"V. Bryl","year":"2008","unstructured":"Bryl, V., Mello, P., Montali, M., Torroni, P., Zannone, N.: B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modelling and verification. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 157\u2013176. Springer, Heidelberg (2008)"},{"issue":"11","key":"14_CR25","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1016\/j.robot.2008.08.008","volume":"56","author":"D. Calisi","year":"2008","unstructured":"Calisi, D., Iocchi, L., Nardi, D., Scalzo, C.M., Ziparo, V.A.: Context-based design of robotic systems. Robotics and Autonomous Systems\u00a056(11), 992\u20131003 (2008)","journal-title":"Robotics and Autonomous Systems"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"F. Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol.\u00a05460, pp. 278\u2013295. Springer, Heidelberg (2009)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Business Process Management Workshops, pp. 134\u2013145 (2008)","DOI":"10.1007\/978-3-642-00328-8_13"},{"key":"14_CR28","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-73599-1_64","volume-title":"Artificial Intelligence in Medicine","author":"F. Chesani","year":"2007","unstructured":"Chesani, F., Mello, P., Montali, M., Storari, S.: Testing careflow process execution conformance by translating a graphical language to computational logic. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol.\u00a04594, pp. 479\u2013488. Springer, Heidelberg (2007)"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Chesani, F., Mello, P., Montali, M., Storari, S., Torroni, P.: On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems\u00a02 (2010)","DOI":"10.3233\/MGS-2010-0147"},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-01364-5_4","volume-title":"Web Services and Formal Methods","author":"F. Chesani","year":"2009","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Verification of choreographies during execution using the Reactive Event Calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2009. LNCS, vol.\u00a05387, pp. 55\u201372. Springer, Heidelberg (2009)"},{"key":"14_CR31","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Boutilier, C. (ed.) IJCAI, pp. 91\u201396 (2009)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-55930-2_8","volume-title":"Logic Programming in Action","author":"C. Chiopris","year":"1992","unstructured":"Chiopris, C.: The SECReTS banking expert system from phase 1 to phase 2. In: Comyn, G., Ratcliffe, M.J., Fuchs, N.E. (eds.) LPSS 1992. LNCS, vol.\u00a0636, pp. 91\u201399. Springer, Heidelberg (1992)"},{"issue":"1-2","key":"14_CR33","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence\u00a037(1-2), 65\u201391 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"14_CR34","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0096-0551(01)00020-0","volume":"27","author":"A. Ciampolini","year":"2001","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: a language for coordinating abductive reasoning among logic agents. Comp. Lang.\u00a027(4), 137\u2013161 (2001)","journal-title":"Comp. Lang."},{"issue":"3-4","key":"14_CR35","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1080\/08839510490279870","volume":"18","author":"A. Ciampolini","year":"2004","unstructured":"Ciampolini, A., Torroni, P.: Using abductive logic agents for modeling the judicial evaluation of criminal evidence. Appl. Artif. Intelligence\u00a018(3-4), 251\u2013275 (2004)","journal-title":"Appl. Artif. Intelligence"},{"issue":"3","key":"14_CR36","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/152388.152393","volume":"2","author":"P. Ciancarini","year":"1993","unstructured":"Ciancarini, P.: Coordinating rule-based software processes with ESP. ACM Trans on Sw Engineering and Methodolgy\u00a02(3), 203\u2013227 (1993)","journal-title":"ACM Trans on Sw Engineering and Methodolgy"},{"key":"14_CR37","unstructured":"Concheri, G., Milanese, V.: Interaction as an issue in the development of effective tools for the management of the engineering knowledge base. In: XI ADM Conference, vol.\u00a0B, pp. 101\u2013108 (1999)"},{"issue":"7","key":"14_CR38","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1016\/S0965-9978(00)00104-6","volume":"32","author":"G. Concheri","year":"2001","unstructured":"Concheri, G., Milanese, V.: MIRAGGIO: a system for the dynamic management of product data and design models. Advances in Engineering Software\u00a032(7), 527\u2013543 (2001)","journal-title":"Advances in Engineering Software"},{"issue":"1","key":"14_CR39","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jalgor.2009.02.002","volume":"64","author":"S. Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Algorithms\u00a064(1), 3\u201315 (2009)","journal-title":"Algorithms"},{"key":"14_CR40","unstructured":"Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: User profile agents applied to a cultural heritage scenario. In: SEKE (2007)"},{"issue":"2","key":"14_CR41","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIS.2008.24","volume":"23","author":"S. Costantini","year":"2008","unstructured":"Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: DALICA: Agent-based ambient intelligence for cultural-heritage scenarios. IEEE Intelligent Systems\u00a023(2), 34\u201341 (2008)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR42","unstructured":"Costantini, S., Paolucci, A.: Semantically augmented DCG analysis for next-generation search engine. In: CILC (July 2008)"},{"key":"14_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"14_CR44","unstructured":"Cucchiara, R., Gavanelli, M., Lamma, E., Mello, P., Milano, M., Piccardi, M.: Constraint propagation and value acquisition: Why we should do it interactively. In: IJCAI, pp. 468\u2013477 (1999)"},{"issue":"4","key":"14_CR45","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF03037573","volume":"19","author":"R. Cucchiara","year":"2001","unstructured":"Cucchiara, R., Gavanelli, M., Lamma, E., Mello, P., Milano, M., Piccardi, M.: From eager to lazy constrained data acquisition: A general framework. New Generation Comput.\u00a019(4), 339\u2013368 (2001)","journal-title":"New Generation Comput."},{"key":"14_CR46","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1007\/978-3-540-30227-8_66","volume-title":"Logics in Artificial Intelligence","author":"C. Cumbo","year":"2004","unstructured":"Cumbo, C., Iiritano, S., Rullo, P.: OLEX \u2013 A reasoning-based text classifier. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 722\u2013725. Springer, Heidelberg (2004)"},{"key":"14_CR47","doi-asserted-by":"crossref","unstructured":"Curran, J.R., Clark, S., Bos, J.: Linguistically motivated large-scale NLP with C&C and Boxer. In: ACL, pp. 29\u201332 (2007)","DOI":"10.3115\/1557769.1557781"},{"key":"14_CR48","unstructured":"Dal Pal\u00f9, A.: Constraint Programming approaches to the Protein Structure Prediction Problem. PhD thesis, University of Udine (2006)"},{"issue":"1","key":"14_CR49","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1186\/1471-2105-5-186","volume":"5","author":"A. Pal\u00f9 Dal","year":"2004","unstructured":"Dal Pal\u00f9, A., Dovier, A., Fogolari, F.: Constraint logic programming approach to protein structure prediction. BMC Bioinformatics\u00a05(1), 186 (2004)","journal-title":"BMC Bioinformatics"},{"key":"14_CR50","doi-asserted-by":"crossref","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). In: PPDP, pp. 230\u2013241 (2005)","DOI":"10.1145\/1069774.1069796"},{"issue":"13","key":"14_CR51","doi-asserted-by":"publisher","first-page":"1405","DOI":"10.1002\/spe.810","volume":"37","author":"A. Pal\u00f9 Dal","year":"2007","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exper.\u00a037(13), 1405\u20131449 (2007)","journal-title":"Softw. Pract. Exper."},{"key":"14_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1007\/978-3-642-04238-6_58","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A. Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Logic programming techniques in protein structure determination: Methodologies and results. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 560\u2013566. Springer, Heidelberg (2009)"},{"key":"14_CR53","unstructured":"Demetriou, N., Kakas, A.C.: Argumentation with abduction. In: Panhellenic Symposium on Logic (2003)"},{"key":"14_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","volume-title":"Practical Aspects of Declarative Languages","author":"E. Denti","year":"2001","unstructured":"Denti, E., Omicini, A., Ricci, A.: tuProlog: A light-weight Prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 184\u2013198. Springer, Heidelberg (2001)"},{"key":"14_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/BFb0013090","volume-title":"Logic Programming and Automated Reasoning","author":"M. Dorochevsky","year":"1992","unstructured":"Dorochevsky, M., Li, L.-L., Reeve, M., Schuerman, K., V\u00e9ron, A.: ElipSys - a parallel programming system based on logic. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 469\u2013471. Springer, Heidelberg (1992)"},{"key":"14_CR56","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1017\/S1471068410000013","volume":"10","author":"A. Dovier","year":"2010","unstructured":"Dovier, A., Formisano, A., Pontelli, E.: Multi-valued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming\u00a010, 167\u2013235 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"key":"14_CR57","series-title":"Lecture Notes in Computer Science","volume-title":"25 Years of Logic Programming in Italy","year":"2010","unstructured":"Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125. Springer, Heidelberg (2010)"},{"issue":"1\/2","key":"14_CR58","first-page":"37","volume":"31","author":"S. Dulli","year":"1990","unstructured":"Dulli, S., Galbiati, G., Milanese, V.: Hierarchical data structures and geometric modeling: a unified approach. YUGRAPH\u00a031(1\/2), 37\u201342 (1990)","journal-title":"YUGRAPH"},{"issue":"1","key":"14_CR59","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1111\/1467-8659.1110003","volume":"11","author":"S. Dulli","year":"1992","unstructured":"Dulli, S., Milanese, V.: A graphic programming environment based on KADMOS. Comput. Graph. Forum\u00a011(1), 3\u201316 (1992)","journal-title":"Comput. Graph. Forum"},{"key":"14_CR60","unstructured":"Dulli, S., Milanese, V., Visentin, A.: A multiple windows user interface. In: CAD\/Graphics New Advances in Computer Aided Design, pp. 186\u2013188 (1993)"},{"key":"14_CR61","doi-asserted-by":"crossref","unstructured":"Dung, P.M., Thang, P.M.: Modular argumentation for modelling legal doctrines in common law of contract. Artificial Intelligence and Law\u00a017(3) (June 2009)","DOI":"10.1007\/s10506-009-9076-x"},{"key":"14_CR62","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234\u2013254 (1989)"},{"issue":"8\/9","key":"14_CR63","first-page":"859","volume":"17","author":"F. Esposito","year":"2003","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Incremental multistrategy learning for document processing. Applied AI\u00a017(8\/9), 859\u2013883 (2003)","journal-title":"Applied AI"},{"issue":"3","key":"14_CR64","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/IDA-2004-8302","volume":"8","author":"F. Esposito","year":"2004","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Incremental learning and concept drift in INTHELEX. Intelligent Data Analysis J.\u00a08(3), 213\u2013237 (2004)","journal-title":"Intelligent Data Analysis J."},{"issue":"4","key":"14_CR65","first-page":"389","volume":"69","author":"F. Esposito","year":"2006","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Multistrategy operators for relational learning and their cooperation. Fund. Inf.\u00a069(4), 389\u2013409 (2006)","journal-title":"Fund. Inf."},{"issue":"1\/2","key":"14_CR66","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F. Esposito","year":"2000","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Mauro, N.D.: Multistrategy theory revision: Induction and abduction in INTHELEX. Machine Learning Journal\u00a038(1\/2), 133\u2013156 (2000)","journal-title":"Machine Learning Journal"},{"key":"14_CR67","unstructured":"Falda, M.: Translating fuzzy temporal constraints in more natural expressions. In: ECAI 2008 workshop on Spatial and Temporal Reasoning, pp. 11\u201315 (2008)"},{"key":"14_CR68","doi-asserted-by":"crossref","unstructured":"Farenzena, M., Fusiello, A., Dovier, A.: Reconstruction with interval constraints propagation. In: CVPR, pp. 1185\u20131190 (2006)","DOI":"10.1109\/CVPR.2006.246"},{"key":"14_CR69","unstructured":"Gaertner, D., Toni, F.: Hybrid argumentation and its properties. In: COMMA, pp. 183\u2013195 (2008)"},{"key":"14_CR70","unstructured":"Galizia, S.: Generazione automatica di manovre per lo space shuttle mediante la programmazione logica disgiuntiva. In: APPIA-GULP-PRODE, pp. 97\u2013109 (2003)"},{"issue":"2","key":"14_CR71","first-page":"137","volume":"19","author":"A. Garro","year":"2006","unstructured":"Garro, A., Palopoli, L., Ricca, F.: Exploiting agents in e-learning and skills management context. AI Commun.\u00a019(2), 137\u2013154 (2006)","journal-title":"AI Commun."},{"key":"14_CR72","unstructured":"Gavanelli, M.: University timetabling in ECLiPSe. ALP Newsletter\u00a019(3) (August 2006)"},{"key":"14_CR73","unstructured":"Gennari, R., Mich, O.: LODE: A logic-based e-learning tool for deaf children. Tech Rep. KRDB07-3, University of Bolzano (2007)"},{"key":"14_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-642-14309-0_5","volume-title":"25 Years of Logic Programming in Italy","author":"L. Giordano","year":"2010","unstructured":"Giordano, L., Toni, F.: Knowledge representation and non-monotonic reasoning. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125, pp. 87\u2013111. Springer, Heidelberg (2010)"},{"key":"14_CR75","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-642-04238-6_63","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G. Grasso","year":"2009","unstructured":"Grasso, G., Iiritano, S., Leone, N., Ricca, F.: Some DLV applications for knowledge management. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 591\u2013597. Springer, Heidelberg (2009)"},{"key":"14_CR76","doi-asserted-by":"crossref","unstructured":"Greco, G., Guzzo, A., Sacc\u00e0, D.: A logic framework for reasoning on workflow executions. In: AGP 2004 (2004)","DOI":"10.1007\/978-3-540-39403-7_17"},{"key":"14_CR77","unstructured":"Ianni, G., Panetta, C., Ricca, F.: Specification of assessment-test criteria through ASP specifications. In: Answer Set Programming, CEUR Workshop 142 (2005)"},{"key":"14_CR78","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: ECAI, pp. 385\u2013391 (1990)"},{"key":"14_CR79","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1613\/jair.2596","volume":"33","author":"A.C. Kakas","year":"2008","unstructured":"Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. (JAIR)\u00a033, 285\u2013348 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"14_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/978-3-642-04238-6_72","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"N. Leone","year":"2009","unstructured":"Leone, N.: Exploiting ASP in real-world applications: Main strengths and challenges. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 628\u2013630. Springer, Heidelberg (2009)"},{"key":"14_CR81","doi-asserted-by":"crossref","unstructured":"Leone, N., Greco, G., Ianni, G., Lio, V., Terracina, G., Eiter, T., Faber, W., Fink, M., Gottlob, G., Rosati, R., Lembo, D., Lenzerini, M., Ruzzi, M., Kalka, E., Nowicki, B., Staniszkis, W.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: ACM SIGMOD, pp. 915\u2013917 (2005)","DOI":"10.1145\/1066157.1066286"},{"issue":"3","key":"14_CR82","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 Trans. Comput. Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"14_CR83","doi-asserted-by":"crossref","unstructured":"Luccarini, L., Bragadin, G.L., Mancini, M., Mello, P., Montali, M., Sottara, D.: Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Environmental Modelling and Software (2009) (in press)","DOI":"10.1016\/j.envsoft.2009.05.013"},{"issue":"3","key":"14_CR84","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10458-008-9028-y","volume":"16","author":"J. Ma","year":"2008","unstructured":"Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems\u00a016(3), 271\u2013297 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR85","doi-asserted-by":"crossref","unstructured":"Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. CoRR, abs\/0906.1182 (2009)","DOI":"10.1017\/S1471068409990093"},{"key":"14_CR86","unstructured":"Mantegari, G., Mosca, A., Cattani, M.: Formal knowledge representation and automated reasoning for the study of archaeological stratigraphy. In: 12th International Congress Cultural Heritage and New Technologies (2007)"},{"key":"14_CR87","unstructured":"Mantegari, G., Mosca, A., Rondelli, B., Vizzari, G.: A semantic based approach to GIS: the PO-BASyN project. In: Computer Applications and Quantitative Methods in Archaeology (2008)"},{"key":"14_CR88","unstructured":"Martelli, M.: Constraint logic programming: Theory and applications. In: Sessa [130], pp. 137\u2013166"},{"key":"14_CR89","series-title":"Lecture Notes in Computer Science","first-page":"108","volume-title":"CISIS 2008","author":"V. Mascardi","year":"2009","unstructured":"Mascardi, V., Briola, D., Martelli, M., Caccia, R., Milani, C.: Monitoring and diagnosing railway signalling with logic-based distributed agents. In: MFCS 1977. LNCS, vol.\u00a053, pp. 108\u2013115. Springer, Heidelberg (2009)"},{"key":"14_CR90","unstructured":"Matt, P.-A., Toni, F., Stournaras, T., Dimitrelos, D.: Argumentation-based agents for eprocurement. In: AAMAS (Industry Track), pp. 71\u201374 (2008)"},{"key":"14_CR91","doi-asserted-by":"crossref","unstructured":"Matt, P.-A., Toni, F., Vaccari, J.: Dominant Decisions by Argumentation Agents. In: Workshop ArgMAS (2009)","DOI":"10.1007\/978-3-642-12805-9_3"},{"key":"14_CR92","first-page":"467","volume-title":"ISDA","author":"A. Meneghetti","year":"2009","unstructured":"Meneghetti, A.: Optimizing allocation in floor storage systems for the shoe industry by Constraint Logic Programming. In: ISDA, pp. 467\u2013472. IEEE, Los Alamitos (2009)"},{"key":"14_CR93","unstructured":"Mich, O.: Constraint-based temporal reasoning and e-learning tools for deaf users. Tech Rep KRDB08-1, University of Bolzano (2008)"},{"issue":"1","key":"14_CR94","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1111\/j.1467-8659.1988.tb00580.x","volume":"7","author":"V. Milanese","year":"1988","unstructured":"Milanese, V.: A Prolog environment for GKS-based graphics. Comput. Graph. Forum\u00a07(1), 9\u201320 (1988)","journal-title":"Comput. Graph. Forum"},{"issue":"1","key":"14_CR95","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1111\/j.1467-8659.1990.tb00373.x","volume":"9","author":"V. Milanese","year":"1990","unstructured":"Milanese, V.: KADMOS: A clausal language for CAD modeling systems with morphological constraints. Comput. Graph. Forum\u00a09(1), 39\u201351 (1990)","journal-title":"Comput. Graph. Forum"},{"key":"14_CR96","unstructured":"Milanese, V.: Using semantics in engineering design. In: CIM, pp. 369\u2013378 (2003)"},{"key":"14_CR97","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-89982-2_20","volume-title":"Logic Programming","author":"A. Mileo","year":"2008","unstructured":"Mileo, A., Merico, D., Bisiani, R.: A logic programming approach to home monitoring for risk prevention in assisted living. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 145\u2013159. Springer, Heidelberg (2008)"},{"key":"14_CR98","doi-asserted-by":"crossref","unstructured":"Mileo, A., Merico, D., Bisiani, R.: Wireless sensor networks supporting context-aware reasoning in assisted living. In: PETRA, p. 54 (2008)","DOI":"10.1145\/1389586.1389651"},{"key":"14_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/978-3-642-14309-0_12","volume-title":"25 Years of Logic Programming in Italy, ch. 12","author":"A. Momigliano","year":"2010","unstructured":"Momigliano, A., Ornaghi, M.: Proof-theoretic and Higher-order Extensions of Logic Programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 12. LNCS, vol.\u00a06125, pp. 254\u2013270. Springer, Heidelberg (2010)"},{"issue":"1","key":"14_CR100","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0169-023X(88)90002-X","volume":"3","author":"A. Monfroglio","year":"1988","unstructured":"Monfroglio, A.: Timetabling through a deductive database: a case study. Data and Knowledge Engineering\u00a03(1), 1\u201327 (1988)","journal-title":"Data and Knowledge Engineering"},{"issue":"2","key":"14_CR101","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1504\/IJAOSE.2008.017316","volume":"2","author":"S. Montagna","year":"2008","unstructured":"Montagna, S., Ricci, A., Omicini, A.: A&A for modelling and engineering simulations in systems biology. Int. J. Agent-Oriented Softw. Eng.\u00a02(2), 222\u2013245 (2008)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"14_CR102","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Open Declarative Interaction Models: a Logic-Based Framework. PhD thesis, University of Bologna (2009)","DOI":"10.1007\/978-3-642-14538-4"},{"key":"14_CR103","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Transactions on the Web (2009)","DOI":"10.1145\/1658373.1658376"},{"key":"14_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-89982-2_39","volume-title":"Logic Programming","author":"M. Montali","year":"2008","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from declarative specifications using logic programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 440\u2013454. Springer, Heidelberg (2008)"},{"key":"14_CR105","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-78915-4_8","volume-title":"Argumentation in Multi-Agent Systems","author":"M. Morge","year":"2008","unstructured":"Morge, M.: The hedgehog and the fox. In: Rahwan, I., Parsons, S., Reed, C. (eds.) Argumentation in Multi-Agent Systems. LNCS (LNAI), vol.\u00a04946, pp. 114\u2013131. Springer, Heidelberg (2008)"},{"key":"14_CR106","unstructured":"Morge, M., Mancarella, P., Stournaras, T.: Argumentation pour la s\u00e9lection et la n\u00e9gociation de services. cas d\u2019\u00e9tude de t\u00e9l\u00e9-proc\u00e9dure. In: JFSMA, pp. 149\u2013158 (2008)"},{"key":"14_CR107","unstructured":"Mosca, A., Bernini, D.: Ontology-driven geographic information system and dlvhex reasoning for material culture analysis. In: RCRA (2008)"},{"key":"14_CR108","unstructured":"Mosca, A., Rondelli, Mantegari, G.: Integrating a knowledge-based system and a geographical information system for the study of the archaeological material culture. In: Cultural Heritage Workshop, AIxIA, pp. 84\u201391 (2008)"},{"key":"14_CR109","unstructured":"Natali, A., Omicini, A., Zanichelli, F.: Exploiting logic programming in robot applications. In: GULP, pp. 535\u2013548 (1993)"},{"key":"14_CR110","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical Aspects of Declarative Languages","author":"M. Nogueira","year":"2001","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog decision support system for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"14_CR111","unstructured":"Oliva, E., Viroli, M., Omicini, A.: Simulation of minority game in TuCSoN. In: WOA, pp. 6\u20139 (2006)"},{"issue":"3","key":"14_CR112","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","volume":"41","author":"A. Omicini","year":"2001","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program.\u00a041(3), 277\u2013294 (2001)","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"14_CR113","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1108\/10662249810241266","volume":"8","author":"A. Omicini","year":"1998","unstructured":"Omicini, A., Zambonelli, F.: Coordination of mobile information agents in TuCSoN. Internet Research: El. Networking Appl. and Policy\u00a08(5), 400\u2013413 (1998)","journal-title":"Internet Research: El. Networking Appl. and Policy"},{"issue":"3","key":"14_CR114","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":"14_CR115","doi-asserted-by":"crossref","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Business Process Management Workshops, pp. 169\u2013180 (2006)","DOI":"10.1007\/11837862_18"},{"key":"14_CR116","doi-asserted-by":"crossref","unstructured":"Piancastelli, G., Benini, A., Omicini, A., Ricci, A.: The architecture and design of a malleable object-oriented Prolog engine. In: SAC, pp. 191\u2013197 (2008)","DOI":"10.1145\/1363686.1363739"},{"issue":"4","key":"14_CR117","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F. Ricca","year":"2009","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. J. Log. and Comput.\u00a019(4), 643\u2013670 (2009)","journal-title":"J. Log. and Comput."},{"issue":"3","key":"14_CR118","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/j.jal.2006.02.002","volume":"5","author":"F. Ricca","year":"2007","unstructured":"Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: The DLV+ system. Journal of Applied Logics\u00a05(3), 545\u2013573 (2007)","journal-title":"Journal of Applied Logics"},{"key":"14_CR119","unstructured":"Ricci, A., Omicini, A.: Agent coordination contexts: Experiments in TuCSoN. In: WOA, pp. 14\u201321 (2002)"},{"key":"14_CR120","doi-asserted-by":"crossref","unstructured":"Ricci, A., Omicini, A., Denti, E.: The TuCSoN coordination infrastructure for virtual enterprises. In: WETICE, pp. 348\u2013353 (2001)","DOI":"10.1109\/ENABL.2001.953442"},{"key":"14_CR121","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"25 Years of Logic Programming in Italy, ch. 1","author":"G. Rossi","year":"2010","unstructured":"Rossi, G.: Logic Programming in Italy: A Historical Perspective. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 1. LNCS, vol.\u00a06125, pp. 1\u201314. Springer, Heidelberg (2010)"},{"key":"14_CR122","unstructured":"Ruffolo, M., Leone, N., Manna, M., Sacc\u00e0, D., Zavatto, A.: Exploiting ASP for semantic information extraction. In: Answer Set Programming, pp. 248\u2013262 (2005)"},{"issue":"3","key":"14_CR123","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-77581-2_13","volume":"3","author":"M. Ruffolo","year":"2008","unstructured":"Ruffolo, M., Manna, M.: HiLeX: A system for semantic information extraction from Web documents. Enterprise Information Systems\u00a03(3), 194\u2013209 (2008)","journal-title":"Enterprise Information Systems"},{"issue":"2","key":"14_CR124","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/0743-1066(95)00098-4","volume":"26","author":"C. Ruggieri","year":"1996","unstructured":"Ruggieri, C., Sancassani, M., Dore, N., Russo, F., Manfredi, U.: Intelligent data retrieval in Prolog: An illuminating idea. J. Log. Program.\u00a026(2), 169\u2013198 (1996)","journal-title":"J. Log. Program."},{"key":"14_CR125","doi-asserted-by":"publisher","first-page":"1118","DOI":"10.1109\/TKDE.2008.206","volume":"21","author":"P. Rullo","year":"2008","unstructured":"Rullo, P., Policicchio, V.L., Cumbo, C., Iiritano, S.: OLEX: Effective rule learning for text categorization. Knowledge and Data Engineering\u00a021, 1118\u20131132 (2008)","journal-title":"Knowledge and Data Engineering"},{"issue":"2-3","key":"14_CR126","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10588-006-9539-5","volume":"12","author":"F. Sadri","year":"2006","unstructured":"Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Comput. Math. Organ. Theory\u00a012(2-3), 101\u2013126 (2006)","journal-title":"Comput. Math. Organ. Theory"},{"key":"14_CR127","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)"},{"key":"14_CR128","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Logics in Artificial Intelligence","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 419\u2013431. Springer, Heidelberg (2002)"},{"key":"14_CR129","unstructured":"Sardu, G., Serrecchia, G., Omodeo, E., Li, L., Schuerman, K., V\u00e9ron, A.: Safeguarding the Venice lagoon: Ann aplication of a knowledge-based DSS. In: GULP, pp. 519\u2013534 (1993)"},{"key":"14_CR130","unstructured":"Sessa, M. (ed.): 1985 \u2013 1995: Ten years of Logic Programming in Italy. Palladio, Salerno (1995)"},{"key":"14_CR131","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/978-3-540-30473-9_33","volume-title":"Ambient Intelligence","author":"K. Stathis","year":"2004","unstructured":"Stathis, K., Toni, F.: Ambient intelligence using KGP agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol.\u00a03295, pp. 351\u2013362. Springer, Heidelberg (2004)"},{"key":"14_CR132","volume-title":"Rassegna di strumenti informatici","author":"P. Terna","year":"1988","unstructured":"Terna, P.: Rassegna di strumenti informatici. Giappichelli, Torino (1988)"},{"key":"14_CR133","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Computational Logic in Multi-Agent Systems","year":"2006","unstructured":"Toni, F., Torroni, P. (eds.): CLIMA 2005. LNCS (LNAI), vol.\u00a03900. Springer, Heidelberg (2006)"},{"key":"14_CR134","doi-asserted-by":"crossref","unstructured":"Torquati, F., Paltrinieri, M., Momigliano, A.: A constraint satisfaction approach to operative management of aircraft routing. In: IEA\/AIE, vol.\u00a02, pp. 1140\u20131146 (1990)","DOI":"10.1145\/98894.99140"},{"issue":"6","key":"14_CR135","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIS.2007.100","volume":"22","author":"P. Torroni","year":"2007","unstructured":"Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the Semantic Web. IEEE Intelligent Systems\u00a022(6), 66\u201374 (2007)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR136","volume-title":"Prolog++ 2.0\u2013Programmer Reference","author":"P. Vasey","year":"1995","unstructured":"Vasey, P.: Prolog++ 2.0\u2013Programmer Reference. Logic Programming Associates, London (1995)"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T06:27:46Z","timestamp":1559197666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":136,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}