{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:05Z","timestamp":1725748505373},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_43","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"433-438","source":"Crossref","is-referenced-by-count":0,"title":["Implementing Informal Semantics of ASP"],"prefix":"10.1007","author":[{"given":"Artur","family":"Mikitiuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslaw","family":"Truszczynski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-02846-5_2","volume-title":"Logic Programming","author":"M. Denecker","year":"2009","unstructured":"Denecker, M.: A knowledge base system project for FO(.). In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, p. 22. Springer, Heidelberg (2009)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Denecker, M., Ternovska, E.: A logic for non-monotone inductive definitions. ACM Transactions on Computational Logic 9(2) (2008)","DOI":"10.1145\/1342991.1342998"},{"issue":"4","key":"43_CR3","first-page":"301","volume":"19","author":"D. East","year":"2006","unstructured":"East, D., Iakhiaev, M., Mikitiuk, A., Truszczy\u0144ski, M.: Tools for modeling and solving search problems. AI Communications\u00a019(4), 301\u2013312 (2006)","journal-title":"AI Communications"},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/1119439.1119441","volume":"7","author":"D. East","year":"2006","unstructured":"East, D., Truszczy\u0144ski, M.: Predicate-calculus based logics for modeling and solving search problems. ACM Transactions on Computational Logic\u00a07, 38\u201383 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"43_CR5","series-title":"Lecture Notes in Computer Science","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, vol.\u00a06645, pp. 317\u2013330. Springer, Heidelberg (2011)"},{"key":"43_CR6","unstructured":"Mikitiuk, A., Moseley, E., Truszczynski, M.: Towards debugging of answer-set programs in the language pspb. In: Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007, pp. 635\u2013640 (2007)"},{"key":"43_CR7","unstructured":"Oetsch, J., Prischink, M., P\u00fchrer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012. AAAI Press (2012)"},{"key":"43_CR8","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The sealion has landed: An ide for answer-set programming\u2014preliminary report. CoRR abs\/1109.3989 (2011)"},{"issue":"4-5","key":"43_CR9","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1017\/S147106841200021X","volume":"12","author":"M.D. Vos","year":"2012","unstructured":"Vos, M.D., Kisa, D.G., Oetsch, J., P\u00fchrer, J., Tompits, H.: Annotating answer-set programs in lana. Theory and Practice of Logic Programming\u00a012(4-5), 619\u2013637 (2012)","journal-title":"Theory and Practice of Logic Programming"}],"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-40564-8_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:08:40Z","timestamp":1558073320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}