{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T15:55:50Z","timestamp":1762444550564,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319217673"},{"type":"electronic","value":"9783319217680"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21768-0_10","type":"book-chapter","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T12:35:20Z","timestamp":1436531720000},"page":"308-326","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Leone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,11]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-40564-8_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T Ambroz","year":"2013","unstructured":"Ambroz, T., Charwat, G., Jusits, A., Wallner, J.P., Woltran, S.: ARVis: visualizing relations between answer sets. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 73\u201378. Springer, Heidelberg (2013)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"439","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Balduccini","year":"2001","unstructured":"Balduccini, M., Gelfond, M., Watson, R., Nogueira, M.: The USA-Advisor: a case study in answer set planning. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 439\u2013442. Springer, Heidelberg (2001)"},{"key":"10_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation Reasoning and Declarative Problem Solving. CUP, New York (2003)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-1-4615-1567-8_12","volume-title":"Logic-Based Artificial Intelligence","author":"C Baral","year":"2000","unstructured":"Baral, C., Gelfond, M.: Reasoning agents in dynamic domains. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 257\u2013279. Kluwer, USA (2000)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","first-page":"186","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Baral","year":"2001","unstructured":"Baral, C., Uyan, C.: Declarative specification and solution of combinatorial auctions using logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 186\u2013199. Springer, Heidelberg (2001)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-61794-9_50","volume-title":"Practice and Theory of Automated Timetabling","author":"VA Bardadym","year":"1996","unstructured":"Bardadym, V.A.: Computer-aided school and university timetabling: the new wave. In: Burke, E.K., Ross, P. (eds.) PATAT 1995. LNCS, vol. 1153, pp. 22\u201345. Springer, Heidelberg (1996)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Inconsistency Tolerance","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T. (eds.): Inconsistency Tolerance. LNCS, vol. 3300. Springer, Heidelberg (2005)"},{"key":"10_CR8","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: That is illogical captain. the debugging support tool spock for answer-set programs: system description. In: Vos, M.D., Schaub, T., (eds.) SEA 2007 (2007)"},{"key":"10_CR9","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: IJCAI-2003, pp. 10\u201315 (2003)"},{"key":"10_CR10","unstructured":"Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.): ECAI 2006, 29 - September 1, 2006, Riva del Garda, Italy, Including PAIS 2006, FAIS, vol. 141. IOS Press (2006)"},{"issue":"12","key":"10_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"5","key":"10_CR12","first-page":"845","volume":"12","author":"F Buccafurri","year":"2000","unstructured":"Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE TKDE 12(5), 845\u2013860 (2000)","journal-title":"IEEE TKDE"},{"issue":"1","key":"10_CR13","first-page":"117","volume":"14","author":"F Calimeri","year":"2014","unstructured":"Calimeri, F., Ianni, G., Ricca, F.: The third open answer set programming competition. TPLP 14(1), 117\u2013135 (2014)","journal-title":"TPLP"},{"key":"10_CR14","unstructured":"Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of SEA 2009, Potsdam, Germany, September 2009"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-7908-1718-8_4","volume-title":"Advances in Modern Tourism Research","author":"M Castellani","year":"2007","unstructured":"Castellani, M., Mussoni, M.: An economic analysis of tourism contracts: allotment and free sale*. In: Matia, \u00c1., Nijkamp, P., Neto, P. (eds.) Advances in Modern Tourism Research, pp. 51\u201385. Physica-Verlag, Heidelberg (2007)"},{"key":"10_CR16","unstructured":"Dell\u2019Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV. In: IJCAI 2003, Acapulco, Mexico, pp. 847\u2013852, August 2003"},{"key":"10_CR17","unstructured":"Eclipse: Eclipse (2001). http:\/\/www.eclipse.org\/"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic-Based Artificial Intelligence","author":"T Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 79\u2013103. Kluwer, USA (2000)"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","volume":"22","author":"T Eiter","year":"1997","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM TODS 22(3), 364\u2013418 (1997)","journal-title":"ACM TODS"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"issue":"1","key":"10_CR21","first-page":"278","volume":"175","author":"W Faber","year":"2011","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Semantics and complexity of recursive aggregates in answer set programming. AI 175(1), 278\u2013298 (2011). Special Issue: John McCarthy\u2019s Legacy","journal-title":"AI"},{"key":"10_CR22","unstructured":"Febbraro, O., Grasso, G., Leone, N., Ricca, F.: JASP: a framework for integrating answer set programming with Java. In: Proceedings of KR2012. AAAI Press (2012)"},{"key":"10_CR23","unstructured":"Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit testing in aspide. CoRR abs\/1108.5434"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-20895-9_37","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O Febbraro","year":"2011","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 317\u2013330. Springer, Heidelberg (2011)"},{"key":"10_CR25","unstructured":"Friedrich, G., Ivanchenko, V.: Diagnosis from first principles for workflow executions. Technical report, Alpen Adria University, Applied Informatics, Klagenfurt, Austria (2008). http:\/\/proserver3-iwas.uni-klu.ac.at\/download_area\/Technical-Reports\/technical_report_2008_02.pdf"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Furche, T., Gottlob, G., Grasso, G., Guo, X., Orsi, G., Schallhart, C.: Opal: automated form understanding for the deep web. In: WWW (2012)","DOI":"10.1145\/2187836.2187948"},{"issue":"2","key":"10_CR27","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. 19(2), 137\u2013154 (2006)","journal-title":"AI Commun."},{"issue":"1\u20132","key":"10_CR28","first-page":"3","volume":"138","author":"M Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation - the A-Prolog perspective. AI 138(1\u20132), 3\u201338 (2002)","journal-title":"AI"},{"key":"10_CR29","first-page":"1070","volume-title":"ICLP\/SLP 1988","author":"M Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) ICLP\/SLP 1988, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"10_CR30","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. NGC 9, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"10_CR31","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of M. Gelfond","author":"G Grasso","year":"2011","unstructured":"Grasso, G., Leone, N., Manna, M., Ricca, F.: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of M. Gelfond. LNAI, vol. 6565. Springer, Heidelberg (2011)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber, W., Fink, M., Greco, G., Ianni, G., Ka\u0142ka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX system for advanced integration of incomplete and inconsistent data. In: SIGMOD 2005, pp. 915\u2013917. ACM Press, June 2005","DOI":"10.1145\/1066157.1066286"},{"issue":"3","key":"10_CR33","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 TOCL 7(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"key":"10_CR34","first-page":"23","volume-title":"ICLP 1999","author":"V Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Answer set planning. In: Schreye, D.D. (ed.) ICLP 1999, pp. 23\u201337. The MIT Press, Las Cruces (1999)"},{"issue":"2","key":"10_CR35","first-page":"227","volume":"13","author":"M Manna","year":"2013","unstructured":"Manna, M., Ricca, F., Terracina, G.: Consistent query answering via ASP from different perspectives: theory and practice. TPLP 13(2), 227\u2013252 (2013)","journal-title":"TPLP"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. CoRR cs.LO\/9809032 (1998)","DOI":"10.1007\/978-3-642-60085-2_17"},{"issue":"3.4","key":"10_CR37","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1147\/rd.513.0263","volume":"51","author":"Y Naveh","year":"2007","unstructured":"Naveh, Y., Richter, Y., Altshuler, Y., Gresh, D.L., Connors, D.P.: Workforce optimization: identification and assignment of professional workers using constraint programming. IBM J. Res. Dev. 51(3.4), 263\u2013279 (2007)","journal-title":"IBM J. Res. Dev."},{"key":"10_CR38","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. In: Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning, Trento, Italy, pp. 72\u201379 (1998)"},{"key":"10_CR39","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. 1990, pp. 169\u2013183. Springer, Heidelberg (2001)"},{"key":"10_CR40","unstructured":"Oracle: JSR 317: JavaTM Persistence 2.0 (2009). http:\/\/jcp.org\/en\/jsr\/detail?id=317"},{"issue":"1\u20132","key":"10_CR41","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","volume":"105","author":"F Ricca","year":"2010","unstructured":"Ricca, F., Dimasi, A., Grasso, G., Ielpa, S.M., Iiritano, S., Manna, M., Leone, N.: A logic-based system for e-Tourism. FI 105(1\u20132), 35\u201355 (2010)","journal-title":"FI"},{"issue":"3","key":"10_CR42","first-page":"361","volume":"12","author":"F Ricca","year":"2012","unstructured":"Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S., Leone, N.: Team-building with answer set programming in the gioia-tauro seaport. TPLP. CUP 12(3), 361\u2013381 (2012). CUP","journal-title":"TPLP. CUP"},{"key":"10_CR43","first-page":"129","volume":"8","author":"G Terracina","year":"2008","unstructured":"Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8, 129\u2013165 (2008)","journal-title":"TPLP"},{"key":"10_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-642-40564-8_52","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"G Terracina","year":"2013","unstructured":"Terracina, G., Martello, A., Leone, N.: Logic-based techniques for data cleaning: an application to the italian national healthcare system. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol. 8148, pp. 524\u2013529. Springer, Heidelberg (2013)"},{"key":"10_CR45","unstructured":"Wittocx, J.: IDPDraw, a tool used for visualizing answer sets (since 2009). http:\/\/dtai.cs.kuleuven.be\/krr\/software\/visualisation"}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Web Logic Rules"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21768-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,12]],"date-time":"2023-08-12T04:40:50Z","timestamp":1691815250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21768-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319217673","9783319217680"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21768-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"11 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}