{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:11Z","timestamp":1725582671460},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_45","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T00:40:34Z","timestamp":1303692034000},"page":"382-387","source":"Crossref","is-referenced-by-count":7,"title":["VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Oetsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"P\u00fchrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martina","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Zwickl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Brain, M., De Vos, M.: Debugging logic programs under the answer-set semantics. In: Proc.\u00a0ASP 2005. CEUR Workshop Proc., pp. 141\u2013152 (2005), \n                      \n                        CEUR-WS.org"},{"key":"45_CR2","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77\u201383 (2006)"},{"key":"45_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-72200-7_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Brain","year":"2007","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 31\u201343. Springer, Heidelberg (2007)"},{"key":"45_CR4","unstructured":"Mikitiuk, A., Moseley, E., Truszczynski, M.: Towards debugging of answer-set programs in the language PSpb. In: Proc.\u00a0ICAI 2007, pp. 635\u2013640. CSREA Press (2007)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-88594-8_8","volume-title":"Semantics in Data and Knowledge Bases","author":"R. Caballero","year":"2008","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: A theoretical framework for the declarative debugging of datalog programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 143\u2013159. Springer, Heidelberg (2008)"},{"key":"45_CR6","first-page":"448","volume-title":"Proc.\u00a0AAAI 2008","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc.\u00a0AAAI 2008, pp. 448\u2013453. AAAI Press, Menlo Park (2008)"},{"issue":"1","key":"45_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E. Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming\u00a09(1), 1\u201356 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-642-02846-5_26","volume-title":"Logic Programming","author":"J. Wittocx","year":"2009","unstructured":"Wittocx, J., Vlaeminck, H., Denecker, M.: Debugging for model expansion. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 296\u2013311. Springer, Heidelberg (2009)"},{"issue":"4-6","key":"45_CR9","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 and Practice of Logic Programming\u00a010(4-6), 513\u2013529 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"45_CR10","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\u2009+\u2009 system. Journal of Applied Logic\u00a05(3), 545\u2013573 (2007)","journal-title":"Journal of Applied Logic"},{"issue":"1","key":"45_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. Chen","year":"1976","unstructured":"Chen, P.: The entity-relationship model\u2014Toward a unified view of data. ACM Transactions on Database Systems\u00a01(1), 9\u201336 (1976)","journal-title":"ACM Transactions on Database Systems"},{"key":"45_CR12","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. Cambridge University Press, Cambridge (2003)"},{"issue":"2","key":"45_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Computer\u00a039(2), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"45_CR14","unstructured":"Febbraro, O., Reale, K., Ricca, F.: A Visual Interface for Drawing ASP Programs. In: Proc. CILC 2010 (2010)"},{"issue":"2","key":"45_CR15","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1006\/jvlc.1997.0037","volume":"8","author":"T. Catarci","year":"1997","unstructured":"Catarci, T., Costabile, M.F., Levialdi, S., Batini, C.: Visual query systems for databases: A survey. J. Visual Languages and Computing\u00a08(2), 215\u2013260 (1997)","journal-title":"J. Visual Languages and Computing"},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-56023-8_16","volume-title":"Entity-Relationship Approach - ER \u201992","author":"N. Kehrer","year":"1992","unstructured":"Kehrer, N., Neumann, G.: An EER Prototyping Environment and its Implementation in a Datalog Language. In: Pernul, G., Tjoa, A.M. (eds.) ER 1992. LNCS, vol.\u00a0645, pp. 243\u2013261. Springer, Heidelberg (1992)"},{"key":"45_CR17","unstructured":"Amalfi, M., Provetti, A.: From extended entity-relationship schemata to illustrative instances. In: Proc. LID 2008 (2008)"},{"key":"45_CR18","unstructured":"Sureshkumar, A., de Vos, M., Brain, M., Fitch, J.: APE: An AnsProlog Environment. In: Proc.\u00a0SEA 2007, pp. 101\u2013115 (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:16:16Z","timestamp":1558574176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}