{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:44Z","timestamp":1725490244736},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_44","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T22:33:31Z","timestamp":1187908411000},"page":"458-459","source":"Crossref","is-referenced-by-count":0,"title":["Advanced Techniques for Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","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":"3","key":"44_CR2","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\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"},{"issue":"1-2","key":"44_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence\u00a0138(1-2), 181\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"key":"44_CR4","first-page":"112","volume":"85","author":"D. Mitchell","year":"2005","unstructured":"Mitchell, D.: A SAT solver primer. Bulletin of the EATCS\u00a085, 112\u2013133 (2005)","journal-title":"Bulletin of the EATCS"},{"key":"44_CR5","unstructured":"Gebser, M.: Backjumping and learning in answer set programming. Diploma thesis (2005)"},{"key":"44_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/11591191_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C. Anger","year":"2005","unstructured":"Anger, C., Gebser, M., Linke, T., Neumann, A., Schaub, T.: The nomore++ approach to answer set solving. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol.\u00a03835, pp. 95\u2013109. Springer, Heidelberg (2005)"},{"key":"44_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11546207_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2005","unstructured":"Gebser, M., Schaub, T.: Loops: Relevant or redundant? In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol.\u00a03662, pp. 53\u201365. Springer, Heidelberg (2005)"},{"key":"44_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/11799573_4","volume-title":"Logic Programming","author":"M. Gebser","year":"2006","unstructured":"Gebser, M., Schaub, T.: Tableau calculi for answer set programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 11\u201325. Springer, Heidelberg (2006)"},{"key":"44_CR9","first-page":"769","volume-title":"Proceedings of ECAI 2006","author":"C. Anger","year":"2006","unstructured":"Anger, C., Gebser, M., Janhunen, T., Schaub, T.: What\u2019s a head without a body? In: Proceedings of ECAI 2006, pp. 769\u2013770. IOS Press, Amsterdam (2006)"},{"key":"44_CR10","volume-title":"Proceedings of AAAI 2006","author":"M. Gebser","year":"2006","unstructured":"Gebser, M., Lee, J., Lierler, Y.: Elementary sets for logic programs. In: Proceedings of AAAI 2006, AAAI Press, Stanford (2006)"},{"key":"44_CR11","unstructured":"Anger, C., Gebser, M., Schaub, T.: Approaching the core of unfounded sets. In: Proceedings of NMR 2006, pp. 58\u201366 (2006)"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Gebser, M., Lee, J., Lierler, Y.: Head-elementary-set-free logic programs. [18], pp. 149\u2013161","DOI":"10.1007\/978-3-540-72200-7_14"},{"key":"44_CR13","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proceedings of IJCAI 2007. AAAI Press\/MIT Press, pp. 386\u2013392 (2007)"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. [18], pp. 260\u2013265","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set enumeration. [18], pp. 136\u2013148","DOI":"10.1007\/978-3-540-72200-7_13"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. [18], pp. 266\u2013271","DOI":"10.1007\/978-3-540-72200-7_24"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. [18], pp. 31\u201343","DOI":"10.1007\/978-3-540-72200-7_5"},{"key":"44_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-72200-7","volume-title":"LPNMR 2007","author":"C. Baral","year":"2007","unstructured":"Baral, C., Brewka, G., Schlipf, J.: LPNMR 2007. LNCS, vol.\u00a04483. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:30:21Z","timestamp":1619505021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_44","relation":{},"subject":[]}}