{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:05:28Z","timestamp":1743066328124,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030674373"},{"type":"electronic","value":"9783030674380"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","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":[[2021]]},"DOI":"10.1007\/978-3-030-67438-0_6","type":"book-chapter","created":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T11:04:40Z","timestamp":1610708680000},"page":"90-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Data Validation Meets Answer Set Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2052-2063","authenticated-orcid":false,"given":"Mario","family":"Alviano","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5617-5286","authenticated-orcid":false,"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6822-0574","authenticated-orcid":false,"given":"Arnel","family":"Zamayla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,13]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Adrian, W.T., et al.: The ASP system DLV: advancements and applications. KI 32(2\u20133), 177\u2013179 (2018). https:\/\/doi.org\/10.1007\/s13218-018-0533-0","DOI":"10.1007\/s13218-018-0533-0"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Alviano, M., Dodaro, C.: Data validation for answer set programming (extended abstract). In: Ricca, F., et al. (eds.) Proceedings 36th International Conference on Logic Programming (Technical Communications), Rende (CS), Italy, 18\u201324th September 2020. Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 325, pp. 93\u201395. Open Publishing Association (2020)","DOI":"10.4204\/EPTCS.325.16"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Alviano, M., Faber, W., Leone, N.: Disjunctive ASP with functions: decidable queries and effective computation. Theory Pract. Log. Program. 10(4\u20136), 497\u2013512 (2010). https:\/\/doi.org\/10.1017\/S1471068410000244","DOI":"10.1017\/S1471068410000244"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Balduccini, M.: ASP with non-Herbrand partial functions: a language and system for practical use. Theory Pract. Log. Program. 13(4\u20135), 547\u2013561 (2013). https:\/\/doi.org\/10.1017\/S1471068413000343","DOI":"10.1017\/S1471068413000343"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Baselice, S., Bonatti, P.A.: A decidable subclass of finitary programs. Theory Pract. Log. Program. 10(4\u20136), 481\u2013496 (2010). https:\/\/doi.org\/10.1017\/S1471068410000232","DOI":"10.1017\/S1471068410000232"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Finitely recursive programs: decidability and bottom-up computation. AI Commun. 24(4), 311\u2013334 (2011). https:\/\/doi.org\/10.3233\/AIC-2011-0509","DOI":"10.3233\/AIC-2011-0509"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Calimeri, F., et al.: ASP-Core-2 input language format. Theory Pract. Log. Program. 20(2), 294\u2013309 (2020). https:\/\/doi.org\/10.1017\/S1471068419000450","DOI":"10.1017\/S1471068419000450"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Cat, B.D., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system. In: Kifer, M., Liu, Y.A. (eds.) Declarative Logic Programming: Theory, Systems, and Applications, pp. 279\u2013323. ACM\/Morgan & Claypool (2018). https:\/\/doi.org\/10.1145\/3191315.3191321","DOI":"10.1145\/3191315.3191321"},{"key":"6_CR9","unstructured":"Dodaro, C., Alviano, M., Faber, W., Leone, N., Ricca, F., Sirianni, M.: The birth of a WASP: preliminary report on a new ASP solver. In: Fioravanti, F. (ed.) Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, 31 August\u20132 September 2011. CEUR Workshop Proceedings, vol. 810, pp. 99\u2013113. CEUR-WS.org (2011). http:\/\/ceur-ws.org\/Vol-810\/paper-l06.pdf"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Dodaro, C., Gasteiger, P., Reale, K., Ricca, F., Schekotihin, K.: Debugging non-ground ASP programs: technique and graphical tools. Theory Pract. Log. Program. 19(2), 290\u2013316 (2019). https:\/\/doi.org\/10.1017\/S1471068418000492","DOI":"10.1017\/S1471068418000492"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Eiter, T., et al.: The DLVHEX system. KI 32(2\u20133), 187\u2013189 (2018). https:\/\/doi.org\/10.1007\/s13218-018-0535-y","DOI":"10.1007\/s13218-018-0535-y"},{"key":"6_CR12","unstructured":"Eiter, T., Simkus, M.: Bidirectional answer set programs with function symbols. In: Boutilier, C. (ed.) Proceedings of IJCAI, pp. 765\u2013771 (2009). http:\/\/ijcai.org\/Proceedings\/09\/Papers\/132.pdf"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Fandinno, J., Schulz, C.: Answering the \u201cwhy\u201d in answer set programming - a survey of explanation approaches. Theory Pract. Log. Program. 19(2), 114\u2013203 (2019). https:\/\/doi.org\/10.1017\/S1471068418000534","DOI":"10.1017\/S1471068418000534"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Gebser, M., et al.: The Potsdam answer set solving collection 5.0. KI 32(2\u20133), 181\u2013182 (2018). https:\/\/doi.org\/10.1007\/s13218-018-0528-x","DOI":"10.1007\/s13218-018-0528-x"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1017\/S1471068419000061","volume":"20","author":"M Gebser","year":"2020","unstructured":"Gebser, M., Maratea, M., Ricca, F.: The seventh answer set programming competition: design and results. Theory Pract. Log. Program. 20(2), 176\u2013204 (2020)","journal-title":"Theory Pract. Log. Program."},{"key":"6_CR16","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Fox, D., Gomes, C.P. (eds.) Proceedings of AAAI, pp. 448\u2013453. AAAI Press (2008). http:\/\/www.aaai.org\/Library\/AAAI\/2008\/aaai08-071.php"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991). https:\/\/doi.org\/10.1007\/BF03037169","DOI":"10.1007\/BF03037169"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45465-9_7","volume-title":"Automata, Languages and Programming","author":"M Hermenegildo","year":"2002","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program debugging and validation using semantic approximations and partial specifications. In: Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R., Hennessy, M. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 69\u201372. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45465-9_7"},{"key":"6_CR19","volume-title":"Secure by Design","author":"DB Johnsson","year":"2019","unstructured":"Johnsson, D.B., Deogun, D., Sawano, D.: Secure by Design. Manning Publications, Shelter Island (2019)"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Kaneiwa, K.: Order-sorted logic programming with predicate hierarchy. Artif. Intell. 158(2), 155\u2013188 (2004). https:\/\/doi.org\/10.1016\/j.artint.2004.05.001","DOI":"10.1016\/j.artint.2004.05.001"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Kiel, R., Schader, M.: A tool for validating PROLOG programs. In: Bock, H.H., Ihm, P. (eds) Classification, Data Analysis, and Knowledge Organization. STUDIES CLASS. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/978-3-642-76307-6_24","DOI":"10.1007\/978-3-642-76307-6_24"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Ko, A.J., Myers, B.A.: Development and evaluation of a model of programming errors. In: Proceedings of HCC, pp. 7\u201314. IEEE Computer Society (2003). https:\/\/doi.org\/10.1109\/HCC.2003.1260196","DOI":"10.1109\/HCC.2003.1260196"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Ko, A.J., Myers, B.A.: A framework and methodology for studying the causes of software errors in programming systems. J. Vis. Lang. Comput. 16(1\u20132), 41\u201384 (2005). https:\/\/doi.org\/10.1016\/j.jvlc.2004.08.003","DOI":"10.1016\/j.jvlc.2004.08.003"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Leone, N., et al.: Enhancing DLV for large-scale reasoning. In: Balduccini, M., Lierler, Y., Woltran, S. (eds.) LPNMR 2019. LNCS, vol. 11481, pp. 312\u2013325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20528-7_23","DOI":"10.1007\/978-3-030-20528-7_23"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-02846-5_40","volume-title":"Logic Programming","author":"Y Lierler","year":"2009","unstructured":"Lierler, Y., Lifschitz, V.: One more decidable class of finitely ground programs. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 489\u2013493. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02846-5_40"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Marcopoulos, E., Zhang, Y.: OnlineSPARC: a programming environment for answer set programming. Theory Pract. Log. Program. 19(2), 262\u2013289 (2019). https:\/\/doi.org\/10.1017\/S1471068418000509","DOI":"10.1017\/S1471068418000509"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm. AI, pp. 375\u2013398. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-642-60085-2_17","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Natella, R., Winter, S., Cotroneo, D., Suri, N.: Analyzing the effects of bugs on software interfaces. IEEE Trans. Softw. Eng. 46(3), 280\u2013301 (2020). https:\/\/doi.org\/10.1109\/TSE.2018.2850755","DOI":"10.1109\/TSE.2018.2850755"},{"issue":"3\u20134","key":"6_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programming with stable model semantics as constraint programming paradigm. Ann. Math. Artif. Intell. 25(3\u20134), 241\u2013273 (1999). https:\/\/doi.org\/10.1023\/A:1018930122475","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4\u20136","key":"6_CR30","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1017\/S1471068410000256","volume":"10","author":"J Oetsch","year":"2010","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the ouroboros: on debugging non-ground answer-set programs. Theory Pract. Log. Program. 10(4\u20136), 513\u2013529 (2010). https:\/\/doi.org\/10.1017\/S1471068410000256","journal-title":"Theory Pract. Log. Program."},{"key":"6_CR31","doi-asserted-by":"publisher","unstructured":"Padhye, R., Sen, K.: Efficient fail-fast dynamic subtype checking. In: Bonetta, D., Liu, Y.D. (eds.) Proceedings of VMIL@SPLASH, pp. 32\u201337. ACM (2019). https:\/\/doi.org\/10.1145\/3358504.3361229","DOI":"10.1145\/3358504.3361229"},{"key":"6_CR32","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"6_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/10722311_3","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: A generic preprocessor for program validation and debugging. In: Deransart, P., Hermenegildo, M.V., Ma\u0142uszynski, J. (eds.) Analysis and Visualization Tools for Constraint Programming. LNCS, vol. 1870, pp. 63\u2013107. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722311_3"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-319-51676-9_5","volume-title":"Practical Aspects of Declarative Languages","author":"C Redl","year":"2017","unstructured":"Redl, C.: Extending answer set programs with interpreted functions as first-class citizens. In: Lierler, Y., Taha, W. (eds.) PADL 2017. LNCS, vol. 10137, pp. 68\u201385. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51676-9_5"},{"key":"6_CR35","volume-title":"Domain-Driven Design Distilled","author":"V Vernon","year":"2016","unstructured":"Vernon, V.: Domain-Driven Design Distilled. Addison-Wesley, Boston (2016)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67438-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,15]],"date-time":"2021-01-15T11:06:01Z","timestamp":1610708761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-67438-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030674373","9783030674380"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67438-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"13 January 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 January 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 January 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl21.sigplan.org\/home\/PADL-2021","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"48% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}