{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:32:25Z","timestamp":1725582745650},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"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"},{"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-20832-4_29","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"473-489","source":"Crossref","is-referenced-by-count":0,"title":["On the Practical Side of Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Tommi","family":"Syrj\u00e4nen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","first-page":"331","volume-title":"12th International Joint Conference on Artificial Intelligence","author":"P. Cheeseman","year":"1991","unstructured":"Cheeseman, P., Kanefsky, B., Taylor, W.M.: Where the Really Hard Problems Are. In: 12th International Joint Conference on Artificial Intelligence, pp. 331\u2013337. Morgan Kaufmann, San Francisco (1991)"},{"issue":"3","key":"29_CR2","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 Trans. Database Syst.\u00a022(3), 364\u2013418 (1997)","journal-title":"ACM Trans. Database Syst."},{"key":"29_CR3","first-page":"1070","volume-title":"5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th International Conference on Logic Programming, pp. 1070\u20131080. The MIT Press, Cambridge (1988)"},{"key":"29_CR4","first-page":"579","volume-title":"7th International Conference on Logic Programming","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: 7th International Conference on Logic Programming, pp. 579\u2013597. The MIT Press, Cambridge (1990)"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1023\/A:1006314320276","volume":"24","author":"C.P. Gomes","year":"2000","unstructured":"Gomes, C.P., Selman, B., Kautz, H.: Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. J. Autom. Reasoning\u00a024, 67\u2013100 (2000)","journal-title":"J. Autom. Reasoning"},{"key":"29_CR6","first-page":"375","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V.W. Marek","year":"1998","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: Apt, K., Marek, V., Truszczy\u0144ski, M., Warren, D. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 375\u2013398. Springer, Heidelberg (1998)"},{"key":"29_CR7","first-page":"459","volume-title":"10th National Conference on Artificial Intelligence","author":"D.G. Mitchell","year":"1992","unstructured":"Mitchell, D.G., Selman, B., Levesque, H.J.: Hard and easy distributions for SAT problems. In: Rosenbloom, P., Szolovits, P. (eds.) 10th National Conference on Artificial Intelligence, pp. 459\u2013465. AAAI Press, Menlo Park (1992)"},{"issue":"3","key":"29_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/360018.360022","volume":"19","author":"A. Newell","year":"1976","unstructured":"Newell, A., Simon, H.A.: Computer science as empirical inquiry: symbols and search. Commun. ACM\u00a019(3), 113\u2013126 (1976)","journal-title":"Commun. ACM"},{"key":"29_CR9","unstructured":"Niemel\u00e4, I., Simons, P., Syrj\u00e4nen, T.: Smodels: A system for answer set programming. In: 8th International Workshop on Non-Monotonic Reasoning (2000)"},{"issue":"1","key":"29_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1006\/jcss.1995.1053","volume":"51","author":"J.S. Schlipf","year":"1995","unstructured":"Schlipf, J.S.: The expressive powers of logic programming semantics. J. Comput. Syst. Sci.\u00a051(1), 64\u201386 (1995)","journal-title":"J. Comput. Syst. Sci."},{"key":"29_CR11","volume-title":"C++ Coding Standards","author":"H. Sutter","year":"2005","unstructured":"Sutter, H., Alexandrescu, A.: C++ Coding Standards. Addison-Wesley, Reading (2005)"},{"key":"29_CR12","unstructured":"Syrj\u00e4nen, T.: Logic Programs and Cardinality Constraints: Theory and Practice. Doctoral dissertation, TKK Dissertations in Information and Computer Science TKK-ICS-D12, Helsinki University of Technology, Faculty of Information and Natural Sciences, Department of Information and Computer Science, Espoo, Finland (2009)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:26:58Z","timestamp":1558574818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}