Skip to main content
SpringerLink
Log in

25 Years of Applications of Logic Programming in Italy

  • Chapter
A 25-Year Perspective on Logic Programming

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6125))

Abstract

We present a review of practical applications of Logic Programming appeared in Italy since 1985. We classify them according to their area of application and discuss some trends emerged in the latest developments. Notwithstanding this survey is far to be comprehensive, it shows that Logic Programming successfully evolved and quickly adapted to new challenges offered by a notable variety of application areas.

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

Access this chapter

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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–339 (2004)

    Google Scholar 

  2. 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. 9(4) (2008)

    Google Scholar 

  3. 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 20(2-4), 133–157 (2006)

    Article  Google Scholar 

  4. Ambriola, V., Ciancarini, P., Montangero, C.: Enacting software processes in Oikos. In: Software Development Environments. SIGSOFT, vol. 15(6), pp. 12–23 (1990)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. Ambriola, V., Ciancarini, P., Montangero, C.: Software processes as a hierarchy of services in the Oikos meta environment. In: Soft. Proc. Workshop, pp. 57–60 (1990)

    Google Scholar 

  7. Arfé, B., Gennari, R., Mich, O.: Before, while and after with LODE and hearing novice readers. Tech. Rep. KRDB09-1, University of Bolzano (2009)

    Google Scholar 

  8. Attardi, G., Simi, M.: A description-oriented logic for building knowledge bases. IEEE 74(10) (1986)

    Google Scholar 

  9. Avanzini, F., Rocchesso, D., Belussi, A., Dal Palù, A., Dovier, A.: Designing an urban-scale auditory alert system. Computer 37(9), 55–61 (2004)

    Article  Google Scholar 

  10. Badaloni, S., Falda, M., Giacomin, M.: Integrating quantitative and qualitative constraints in fuzzy temporal networks. AI Communications 17(4), 183–272 (2004)

    MathSciNet  Google Scholar 

  11. Badaloni, S., Giacomin, M.: The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. Artificial Intelligence 170(10), 872–908 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  12. 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à di Parma, Italy (2008)

    Google Scholar 

  13. 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. 6125, pp. 204–230. Springer, Heidelberg (2010)

    Google Scholar 

  14. Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.: Reflection principles in computational logic. Journal of Logic and Computation 10, 6 (December 2000)

    Google Scholar 

  15. Barták, R., Milano, M. (eds.): CPAIOR 2005. LNCS, vol. 3524. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  16. Bazzocchi, L.: Lo SMAU scopre l’intelligenza artificiale. Office Automation, 86–90 (November 1988)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. Bonatti, P., Calimeri, F., Leone, N., Ricca, F.: Answer Set Programming. In: 25 Years of Logic Programming in Italy. LNCS, vol. 6125, pp. 159–182. Springer, Heidelberg (2010)

    Google Scholar 

  19. Bos, J.: Towards wide-coverage semantic interpretation. In: IWCS-6, pp. 42–53 (2005)

    Google Scholar 

  20. Bracciali, A., Endriss, U., Demetriou, N., Kakas, A.C., Lu, W., Stathis, K.: Crafting the mind of PROSOCS agents. Appl. Artif. Intelligence 20(2-4), 105–131 (2006)

    Article  Google Scholar 

  21. 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)

    Google Scholar 

  22. Bromuri, S., Stathis, K.: Situating Cognitive Agents in GOLEM. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS (LNAI), vol. 5049, pp. 115–134. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  23. 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)

    Google Scholar 

  24. 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. 5056, pp. 157–176. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Calisi, D., Iocchi, L., Nardi, D., Scalzo, C.M., Ziparo, V.A.: Context-based design of robotic systems. Robotics and Autonomous Systems 56(11), 992–1003 (2008)

    Article  Google Scholar 

  26. 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. 5460, pp. 278–295. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  27. 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–145 (2008)

    Google Scholar 

  28. 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. 4594, pp. 479–488. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  29. 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 2 (2010)

    Google Scholar 

  30. 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. 5387, pp. 55–72. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  31. Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Boutilier, C. (ed.) IJCAI, pp. 91–96 (2009)

    Google Scholar 

  32. 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. 636, pp. 91–99. Springer, Heidelberg (1992)

    Google Scholar 

  33. 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 37(1-2), 65–91 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  34. Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: LAILA: a language for coordinating abductive reasoning among logic agents. Comp. Lang. 27(4), 137–161 (2001)

    Article  Google Scholar 

  35. Ciampolini, A., Torroni, P.: Using abductive logic agents for modeling the judicial evaluation of criminal evidence. Appl. Artif. Intelligence 18(3-4), 251–275 (2004)

    Article  Google Scholar 

  36. Ciancarini, P.: Coordinating rule-based software processes with ESP. ACM Trans on Sw Engineering and Methodolgy 2(3), 203–227 (1993)

    Article  MathSciNet  Google Scholar 

  37. 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. B, pp. 101–108 (1999)

    Google Scholar 

  38. Concheri, G., Milanese, V.: MIRAGGIO: a system for the dynamic management of product data and design models. Advances in Engineering Software 32(7), 527–543 (2001)

    Article  MATH  Google Scholar 

  39. Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Algorithms 64(1), 3–15 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  40. Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: User profile agents applied to a cultural heritage scenario. In: SEKE (2007)

    Google Scholar 

  41. Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: DALICA: Agent-based ambient intelligence for cultural-heritage scenarios. IEEE Intelligent Systems 23(2), 34–41 (2008)

    Article  Google Scholar 

  42. Costantini, S., Paolucci, A.: Semantically augmented DCG analysis for next-generation search engine. In: CILC (July 2008)

    Google Scholar 

  43. Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)

    Google Scholar 

  44. 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–477 (1999)

    Google Scholar 

  45. 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. 19(4), 339–368 (2001)

    Article  MATH  Google Scholar 

  46. Cumbo, C., Iiritano, S., Rullo, P.: OLEX – A reasoning-based text classifier. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 722–725. Springer, Heidelberg (2004)

    Google Scholar 

  47. Curran, J.R., Clark, S., Bos, J.: Linguistically motivated large-scale NLP with C&C and Boxer. In: ACL, pp. 29–32 (2007)

    Google Scholar 

  48. Dal Palù, A.: Constraint Programming approaches to the Protein Structure Prediction Problem. PhD thesis, University of Udine (2006)

    Google Scholar 

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

    Article  Google Scholar 

  50. Dal Palù, A., Dovier, A., Pontelli, E.: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). In: PPDP, pp. 230–241 (2005)

    Google Scholar 

  51. Dal Palù, A., Dovier, A., Pontelli, E.: A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exper. 37(13), 1405–1449 (2007)

    Article  Google Scholar 

  52. Dal Palù, 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. 5753, pp. 560–566. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  53. Demetriou, N., Kakas, A.C.: Argumentation with abduction. In: Panhellenic Symposium on Logic (2003)

    Google Scholar 

  54. 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. 1990, pp. 184–198. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  55. Dorochevsky, M., Li, L.-L., Reeve, M., Schuerman, K., Véron, A.: ElipSys - a parallel programming system based on logic. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 469–471. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  56. Dovier, A., Formisano, A., Pontelli, E.: Multi-valued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming 10, 167–235 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  57. Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming in Italy. LNCS, vol. 6125. Springer, Heidelberg (2010)

    Google Scholar 

  58. Dulli, S., Galbiati, G., Milanese, V.: Hierarchical data structures and geometric modeling: a unified approach. YUGRAPH 31(1/2), 37–42 (1990)

    Google Scholar 

  59. Dulli, S., Milanese, V.: A graphic programming environment based on KADMOS. Comput. Graph. Forum 11(1), 3–16 (1992)

    Article  Google Scholar 

  60. Dulli, S., Milanese, V., Visentin, A.: A multiple windows user interface. In: CAD/Graphics New Advances in Computer Aided Design, pp. 186–188 (1993)

    Google Scholar 

  61. Dung, P.M., Thang, P.M.: Modular argumentation for modelling legal doctrines in common law of contract. Artificial Intelligence and Law 17(3) (June 2009)

    Google Scholar 

  62. Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: ICLP, pp. 234–254 (1989)

    Google Scholar 

  63. Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Incremental multistrategy learning for document processing. Applied AI 17(8/9), 859–883 (2003)

    Google Scholar 

  64. Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Incremental learning and concept drift in INTHELEX. Intelligent Data Analysis J. 8(3), 213–237 (2004)

    Google Scholar 

  65. Esposito, F., Fanizzi, N., Ferilli, S., Basile, T., Mauro, N.D.: Multistrategy operators for relational learning and their cooperation. Fund. Inf. 69(4), 389–409 (2006)

    MATH  Google Scholar 

  66. Esposito, F., Fanizzi, N., Ferilli, S., Mauro, N.D.: Multistrategy theory revision: Induction and abduction in INTHELEX. Machine Learning Journal 38(1/2), 133–156 (2000)

    Article  MATH  Google Scholar 

  67. Falda, M.: Translating fuzzy temporal constraints in more natural expressions. In: ECAI 2008 workshop on Spatial and Temporal Reasoning, pp. 11–15 (2008)

    Google Scholar 

  68. Farenzena, M., Fusiello, A., Dovier, A.: Reconstruction with interval constraints propagation. In: CVPR, pp. 1185–1190 (2006)

    Google Scholar 

  69. Gaertner, D., Toni, F.: Hybrid argumentation and its properties. In: COMMA, pp. 183–195 (2008)

    Google Scholar 

  70. Galizia, S.: Generazione automatica di manovre per lo space shuttle mediante la programmazione logica disgiuntiva. In: APPIA-GULP-PRODE, pp. 97–109 (2003)

    Google Scholar 

  71. Garro, A., Palopoli, L., Ricca, F.: Exploiting agents in e-learning and skills management context. AI Commun. 19(2), 137–154 (2006)

    MathSciNet  Google Scholar 

  72. Gavanelli, M.: University timetabling in ECLiPSe. ALP Newsletter 19(3) (August 2006)

    Google Scholar 

  73. Gennari, R., Mich, O.: LODE: A logic-based e-learning tool for deaf children. Tech Rep. KRDB07-3, University of Bolzano (2007)

    Google Scholar 

  74. 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. 6125, pp. 87–111. Springer, Heidelberg (2010)

    Google Scholar 

  75. 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. 5753, pp. 591–597. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  76. Greco, G., Guzzo, A., Saccà, D.: A logic framework for reasoning on workflow executions. In: AGP 2004 (2004)

    Google Scholar 

  77. Ianni, G., Panetta, C., Ricca, F.: Specification of assessment-test criteria through ASP specifications. In: Answer Set Programming, CEUR Workshop 142 (2005)

    Google Scholar 

  78. Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: ECAI, pp. 385–391 (1990)

    Google Scholar 

  79. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. (JAIR) 33, 285–348 (2008)

    Google Scholar 

  80. Leone, N.: Exploiting ASP in real-world applications: Main strengths and challenges. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 628–630. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  81. 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–917 (2005)

    Google Scholar 

  82. 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 7(3), 499–562 (2006)

    Article  MathSciNet  Google Scholar 

  83. 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)

    Google Scholar 

  84. Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems 16(3), 271–297 (2008)

    Article  Google Scholar 

  85. 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)

    Google Scholar 

  86. 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)

    Google Scholar 

  87. 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)

    Google Scholar 

  88. Martelli, M.: Constraint logic programming: Theory and applications. In: Sessa [130], pp. 137–166

    Google Scholar 

  89. 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. 53, pp. 108–115. Springer, Heidelberg (2009)

    Google Scholar 

  90. Matt, P.-A., Toni, F., Stournaras, T., Dimitrelos, D.: Argumentation-based agents for eprocurement. In: AAMAS (Industry Track), pp. 71–74 (2008)

    Google Scholar 

  91. Matt, P.-A., Toni, F., Vaccari, J.: Dominant Decisions by Argumentation Agents. In: Workshop ArgMAS (2009)

    Google Scholar 

  92. Meneghetti, A.: Optimizing allocation in floor storage systems for the shoe industry by Constraint Logic Programming. In: ISDA, pp. 467–472. IEEE, Los Alamitos (2009)

    Google Scholar 

  93. Mich, O.: Constraint-based temporal reasoning and e-learning tools for deaf users. Tech Rep KRDB08-1, University of Bolzano (2008)

    Google Scholar 

  94. Milanese, V.: A Prolog environment for GKS-based graphics. Comput. Graph. Forum 7(1), 9–20 (1988)

    Article  MathSciNet  Google Scholar 

  95. Milanese, V.: KADMOS: A clausal language for CAD modeling systems with morphological constraints. Comput. Graph. Forum 9(1), 39–51 (1990)

    Article  MathSciNet  Google Scholar 

  96. Milanese, V.: Using semantics in engineering design. In: CIM, pp. 369–378 (2003)

    Google Scholar 

  97. 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. 5366, pp. 145–159. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  98. Mileo, A., Merico, D., Bisiani, R.: Wireless sensor networks supporting context-aware reasoning in assisted living. In: PETRA, p. 54 (2008)

    Google Scholar 

  99. 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. 6125, pp. 254–270. Springer, Heidelberg (2010)

    Google Scholar 

  100. Monfroglio, A.: Timetabling through a deductive database: a case study. Data and Knowledge Engineering 3(1), 1–27 (1988)

    Article  MathSciNet  Google Scholar 

  101. Montagna, S., Ricci, A., Omicini, A.: A&A for modelling and engineering simulations in systems biology. Int. J. Agent-Oriented Softw. Eng. 2(2), 222–245 (2008)

    Article  Google Scholar 

  102. Montali, M.: Specification and Verification of Open Declarative Interaction Models: a Logic-Based Framework. PhD thesis, University of Bologna (2009)

    Google Scholar 

  103. 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)

    Google Scholar 

  104. 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. 5366, pp. 440–454. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  105. Morge, M.: The hedgehog and the fox. In: Rahwan, I., Parsons, S., Reed, C. (eds.) Argumentation in Multi-Agent Systems. LNCS (LNAI), vol. 4946, pp. 114–131. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  106. Morge, M., Mancarella, P., Stournaras, T.: Argumentation pour la sélection et la négociation de services. cas d’étude de télé-procédure. In: JFSMA, pp. 149–158 (2008)

    Google Scholar 

  107. Mosca, A., Bernini, D.: Ontology-driven geographic information system and dlvhex reasoning for material culture analysis. In: RCRA (2008)

    Google Scholar 

  108. 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–91 (2008)

    Google Scholar 

  109. Natali, A., Omicini, A., Zanichelli, F.: Exploiting logic programming in robot applications. In: GULP, pp. 535–548 (1993)

    Google Scholar 

  110. 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. 1990, pp. 169–183. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  111. Oliva, E., Viroli, M., Omicini, A.: Simulation of minority game in TuCSoN. In: WOA, pp. 6–9 (2006)

    Google Scholar 

  112. Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277–294 (2001)

    Article  MATH  Google Scholar 

  113. Omicini, A., Zambonelli, F.: Coordination of mobile information agents in TuCSoN. Internet Research: El. Networking Appl. and Policy 8(5), 400–413 (1998)

    Article  Google Scholar 

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

    Article  Google Scholar 

  115. Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Business Process Management Workshops, pp. 169–180 (2006)

    Google Scholar 

  116. Piancastelli, G., Benini, A., Omicini, A., Ricci, A.: The architecture and design of a malleable object-oriented Prolog engine. In: SAC, pp. 191–197 (2008)

    Google Scholar 

  117. Ricca, F., Gallucci, L., Schindlauer, R., Dell’Armi, T., Grasso, G., Leone, N.: OntoDLV: an ASP-based system for enterprise ontologies. J. Log. and Comput. 19(4), 643–670 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  118. Ricca, F., Leone, N.: Disjunctive logic programming with types and objects: The DLV+ system. Journal of Applied Logics 5(3), 545–573 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  119. Ricci, A., Omicini, A.: Agent coordination contexts: Experiments in TuCSoN. In: WOA, pp. 14–21 (2002)

    Google Scholar 

  120. Ricci, A., Omicini, A., Denti, E.: The TuCSoN coordination infrastructure for virtual enterprises. In: WETICE, pp. 348–353 (2001)

    Google Scholar 

  121. 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. 6125, pp. 1–14. Springer, Heidelberg (2010)

    Google Scholar 

  122. Ruffolo, M., Leone, N., Manna, M., Saccà, D., Zavatto, A.: Exploiting ASP for semantic information extraction. In: Answer Set Programming, pp. 248–262 (2005)

    Google Scholar 

  123. Ruffolo, M., Manna, M.: HiLeX: A system for semantic information extraction from Web documents. Enterprise Information Systems 3(3), 194–209 (2008)

    Article  Google Scholar 

  124. Ruggieri, C., Sancassani, M., Dore, N., Russo, F., Manfredi, U.: Intelligent data retrieval in Prolog: An illuminating idea. J. Log. Program. 26(2), 169–198 (1996)

    Article  MATH  Google Scholar 

  125. Rullo, P., Policicchio, V.L., Cumbo, C., Iiritano, S.: OLEX: Effective rule learning for text categorization. Knowledge and Data Engineering 21, 1118–1132 (2008)

    Article  Google Scholar 

  126. Sadri, F., Stathis, K., Toni, F.: Normative KGP agents. Comput. Math. Organ. Theory 12(2-3), 101–126 (2006)

    Article  MATH  Google Scholar 

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

    Chapter  Google Scholar 

  128. 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. 2424, pp. 419–431. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  129. Sardu, G., Serrecchia, G., Omodeo, E., Li, L., Schuerman, K., Véron, A.: Safeguarding the Venice lagoon: Ann aplication of a knowledge-based DSS. In: GULP, pp. 519–534 (1993)

    Google Scholar 

  130. Sessa, M. (ed.): 1985 – 1995: Ten years of Logic Programming in Italy. Palladio, Salerno (1995)

    Google Scholar 

  131. Stathis, K., Toni, F.: Ambient intelligence using KGP agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)

    Google Scholar 

  132. Terna, P.: Rassegna di strumenti informatici. Giappichelli, Torino (1988)

    Google Scholar 

  133. Toni, F., Torroni, P. (eds.): CLIMA 2005. LNCS (LNAI), vol. 3900. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  134. Torquati, F., Paltrinieri, M., Momigliano, A.: A constraint satisfaction approach to operative management of aircraft routing. In: IEA/AIE, vol. 2, pp. 1140–1146 (1990)

    Google Scholar 

  135. Torroni, P., Gavanelli, M., Chesani, F.: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6), 66–74 (2007)

    Article  Google Scholar 

  136. Vasey, P.: Prolog++ 2.0–Programmer Reference. Logic Programming Associates, London (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Matematica, Università di Parma,  

    Alessandro Dal Palù

  2. DEIS, Università di Bologna,  

    Paolo Torroni

Authors
  1. Alessandro Dal Palù
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Torroni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dip. di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100, Udine, Italy

    Agostino Dovier

  2. Department of Computer Science, New Mexico State University, P.O. Box 30001, 88003, MSC CS, Las Cruces, NM, USA

    Enrico Pontelli

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dal Palù, A., Torroni, P. (2010). 25 Years of Applications of Logic Programming in Italy. In: Dovier, A., Pontelli, E. (eds) A 25-Year Perspective on Logic Programming. Lecture Notes in Computer Science, vol 6125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14309-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14309-0_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14308-3

  • Online ISBN: 978-3-642-14309-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation